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

A Step towards Generating Efficient Test Cases - the Project MOGENTES., , and . ERCIM News, (2008)R3-COP - Resilient Reasoning Robotic Co-operating Systems.. ERCIM News, 2011 (84): 17-18 (2011)CV-HAZOP: Introducing Test Data Validation for Computer Vision., , , and . ICCV, page 2066-2074. IEEE Computer Society, (2015)Encapsulating Application Subsystems Using the DECOS Core OS., , , , , and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 386-397. Springer, (2006)Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems., , , , and . Elektrotech. Informationstechnik, 127 (6): 181-186 (2010)Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper., , , , , , , , , and 3 other author(s). SAMOS, volume 13227 of Lecture Notes in Computer Science, page 368-382. Springer, (2021)Experience Report: Error Distribution in Safety-Critical Software and Software Risk Analysis Based on Unit Tests., , and . GI Jahrestagung (1), volume P-50 of LNI, page 72-76. GI, (2004)Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software., , , , , and . SAFECOMP, volume 3688 of Lecture Notes in Computer Science, page 81-93. Springer, (2005)TTIPP3 - A fault-tolerant time-triggered platooning demonstrator., , , and . WISES, page 1-11. IEEE, (2008)MMV - Synchronizing multimedia documents: An extension of CDA for synchronization and presentation of multimedia documents., and . Comput. Graph., 17 (3): 229-241 (1993)