Autor der Publikation

Counterexample Interpretation for Contract-Based Design.

, , , und . IMBSA, Volume 12297 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2020)

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

A Domain Specific Language to Support HAZOP Studies of SysML Models., , , , und . IMBSA, Volume 11842 von Lecture Notes in Computer Science, Seite 47-62. Springer, (2019)Towards Integrating Ontologies into Verification for Autonomous Driving., , und . ISWC (Satellites), Volume 2456 von CEUR Workshop Proceedings, Seite 319-320. CEUR-WS.org, (2019)Explanation of the Model Checker Verification Results.. Humboldt University of Berlin, Germany, (2023)A systematic literature review on counterexample explanation., , , und . Inf. Softw. Technol., (2022)Counterexample Interpretation for Contract-Based Design., , , und . IMBSA, Volume 12297 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2020)A user study for evaluation of formal verification results and their explanation at Bosch., , , und . Empir. Softw. Eng., 28 (5): 125 (Oktober 2023)A systematic literature review on counterexample explanation - Summary., , , und . Software Engineering, Volume P-332 von LNI, Seite 71-72. Gesellschaft für Informatik e.V., (2023)