Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems., , und . FMCO, Volume 6286 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2009)Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences., , und . SAFECOMP, Volume 6894 von Lecture Notes in Computer Science, Seite 270-283. Springer, (2011)A Process to Facilitate Automated Automotive Cybersecurity Testing., , , , , , , , und . VTC Spring, Seite 1-7. IEEE, (2021)Killing strategies for model-based mutation testing., , , , , und . Softw. Test. Verification Reliab., 25 (8): 716-748 (2015)MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen.. SE, Volume P-300 von LNI, Seite 195-200. Gesellschaft für Informatik e.V., (2020)Integration of Requirements Engineering and Test-Case Generation via OSLC., , , , , , und . QSIC, Seite 117-126. IEEE, (2014)Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems., , , , und . SAFECOMP Workshops, Volume 13415 von Lecture Notes in Computer Science, Seite 35-46. Springer, (2022)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , und 6 andere Autor(en). DSD, Seite 352-359. IEEE, (2020)A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems., , , , , , , , , und 5 andere Autor(en). QUATIC, Volume 1439 von Communications in Computer and Information Science, Seite 325-340. Springer, (2021)Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper., , , , , , , , , und 3 andere Autor(en). SAMOS, Volume 13227 von Lecture Notes in Computer Science, Seite 368-382. Springer, (2021)