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

TAOS: Testing with Analysis and Oracle Support.. ISSTA, page 138-153. ACM, (1994)ASSURE: automated support for secure and usable requirements engineering., , and . ISSTA, page 279-282. ACM, (2010)Eliciting required characteristics for usable requirements engineering approaches., , and . SAC, page 360-364. ACM, (2009)Towards leveraging model transformation to support model-based testing., , and . ASE, page 509-512. ACM, (2007)Towards supporting the architecture design process through evaluation of design alternatives., , , , , and . ROSATEA, page 81-87. ACM, (2006)Towards traceability of model-based testing artifacts., , and . A-MOST, page 105-114. ACM, (2007)The Role of Event Description in Architecting Dependable Systems., and . WADS, volume 2677 of Lecture Notes in Computer Science, page 150-174. Springer, (2002)Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios., , , , and . WADS, volume 5135 of Lecture Notes in Computer Science, page 225-247. Springer, (2007)Adaptable Analysis of Dependable System Architectures Through Monitoring., and . WADS, volume 3549 of Lecture Notes in Computer Science, page 122-147. Springer, (2004)Applications of symbolic evaluation., and . J. Syst. Softw., 5 (1): 15-35 (1985)