Author of the publication

Scenario-based specification of security protocols and transformation to security model checkers.

, , , and . MoDELS, page 343-353. ACM, (2020)

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

Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML., , and . Frontiers Comput. Sci., (2021)Industry Voices on Software Engineering Challenges in Cyber-Physical Production Systems Engineering., , , , , , , , , and 4 other author(s). ETFA, page 1-8. IEEE, (2022)Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract)., , and . Software Engineering, volume P-332 of LNI, page 69-70. Gesellschaft für Informatik e.V., (2023)A Seamless Model-Based Development Process for Automotive Systems., , and . Software Engineering (Workshops), volume P-184 of LNI, page 79-88. GI, (2011)Cutting through the Jungle: Disambiguating Model-based Traceability Terminology., , , and . RE, page 8-19. IEEE, (2020)Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation., , , , and . J. Syst. Softw., (2024)Eine durchgängige Entwicklungsmethode von der System-Architektur bis zur Softwarearchitektur mit AUTOSAR., and . MBEES, page 21-30. fortiss GmbH, München, (2011)Improvement of software requirements quality based on systems engineering.. University of Paderborn, Germany, (2019)D-REQs: Determination of security & safety requirements in workshops based on the use of model-based systems engineering., , , , , and . RE Workshops, page 412-414. IEEE, (2021)Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie., , , and . Software Engineering (Workshops), volume P-160 of LNI, page 149-158. GI, (2010)