Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...

Although many similarities exist between the Churg-Strauss syndrome and the hypereosinophilic syndrome, these two disorders have hitherto been characterized by different types of cardiac disease. Two cases of the Churg-Strauss syndrome are described where the typical endomyocardial lesion of the hypereosinophilic syndrome dominated the clinical picture.

First described in 1951 as an allergic and granulomatous angiitis, Churg-Strauss syndrome (CSS) is a small-vessel vasculitis. Mean age at the time of diagnosis is approximately 50 years, with a sex ratio around 1. Asthma is the central feature of CSS and precedes the systemic manifestations in almost all cases, whereas 70% of the patients have maxillary sinusitis, allergic rhinitis, and/or sinu...

Pulmonary: asthma, pneumonitis and haemoptysis. Upper respiratory tract: allergic rhinitis, paranasal sinusitis, nasal polyposis. Cardiac involvement is common. [6]This includes heart failure, myocarditis and myocardial infarction. [7] Skin: purpura, skin nodules, leukocytoclastic angiitis with palpable purpura, livedo reticularis, urticaria, necrotic bullae and digital ischaemia. Renal: glomer...

A 44 year old female nurse with a 20-year history of severe, steroid-dependent asthma, hypertension, hematuria, pleuritis, and sinusitis was referred from her ophthalmologist in January 2000, with the question of possible bilateral scleritis. The patient was treated with topical steroid (prednisolone acetate 6 times daily) for anterior uveitis, systemic prednisone (50mg per os) and steroid inha...

churg-strauss syndrome (css) is a granulomatous small vessel vasculitis . it is characterized by asthma, allergic granulomatosis and vasculitis . this syndrome is rare in children. a 5 years old boy was admitted with cough, fever and dyspnea for 2 weeks. on the basis of  laboratory data (peripheral eosinophilia), associated with skin biopsy, and history of css in his sister, this disease was ev...

Churg-Strauss syndrome (CSS) is a rare cause of vasculitic neuropathy. Although rare and potentially fatal, Churg-Strauss syndrome (CSS) is easily diagnosable and treatable. The presence of bronchial asthma with peripheral neuropathy in a patient alerts a physician to this diagnosis. This is vividly illustrated by the presented two cases who had neuropathy associated with bronchial asthma, eosi...

Churg-Strauss syndrome is a systemic vasculitis. Its most frequent complications are heart diseases and asthma. Usually, cardiological manifestations are pericarditis, cardiac failure and myocardial infarction. Endobronchial granulomas identified by bronchoscopy are unusual. We present the case of a man with congestive cardiomyopathy and endobronchial granulomas macroscopically visible at bronc...