Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Formal Specifications for Component Retrieval and Reuse., and . HICSS (3), page 356-. IEEE Computer Society, (1998)Introducing Continuous Systematic Testing of Evolving Software., , , , , , , and . Practical Software Testing: Tool Automation and Human Factors, volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Verifying Time Partitioning in the DEOS Scheduling Kernel., , , , , , and . Formal Methods in System Design, 26 (2): 103-135 (2005)The Second International Workshop on Automated Program Analysis, Testing and Verification., , and . ICSE, page 755. IEEE Computer Society, (2001)Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)., , and . Softw. Test., Verif. Reliab., 11 (2): 63-64 (2001)Big problems in industry (panel).. ASE, page 3. IEEE, (2013)Automated analysis, verification and testing., , and . Software Focus, 2 (2): 82 (2001)Guest Editors' Introduction., and . Autom. Softw. Eng., 13 (3): 343-344 (2006)Design for Verification with Dynamic Assertions., and . SEW, page 285-292. IEEE Computer Society, (2005)The First International Workshop on Automated Program Analysis, Testing and Verification., , and . ICSE, page 796. ACM, (2000)