Author of the publication

Domain-Specific Model Checking for Cyber-Physical Systems.

, , , and . MoDeVVa@MoDELS, volume 1514 of CEUR Workshop Proceedings, page 18-27. CEUR-WS.org, (2015)

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

Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design., , , , and . PVM, volume P-298 of LNI, page 247-252. Gesellschaft für Informatik e.V., (2019)Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus., , , and . PVM, volume P-298 of LNI, page 31-43. Gesellschaft für Informatik e.V., (2019)Integrating Security Protocols in Scenario-based Requirements Specifications., , , and . MODELSWARD, page 15-25. SCITEPRESS, (2022)Specification and verification for real-time coordination protocols of cyber-physical systems.. University of Paderborn, Germany, (2017)Coaching on the Job bei Unternehmen des Maschinenbaus., , , and . SE, volume P-300 of LNI, page 201-207. Gesellschaft für Informatik e.V., (2020)Automata-based refinement checking for real-time systems., , , and . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)Scenario-based specification of security protocols and transformation to security model checkers., , , and . MoDELS, page 343-353. ACM, (2020)Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report., , , , , and . AMCIS, Association for Information Systems, (2024)A KPI-based Condition Monitoring System for the Beer Brewing Process., , , , and . ETFA, page 1469-1472. IEEE, (2019)How far are German companies in improving security through static program analysis tools?, , , , and . SecDev, page 7-15. IEEE, (2022)