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

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience., , , und . FMTea, Volume 13122 von Lecture Notes in Computer Science, Seite 101-116. Springer, (2021)Information Flow Control-by-Construction for an Object-Oriented Language., , , , und . SEFM, Volume 13550 von Lecture Notes in Computer Science, Seite 209-226. Springer, (2022)Tool Support for Correctness-by-Construction., , , , , und . Software Engineering, Volume P-310 von LNI, Seite 93-94. Gesellschaft für Informatik e.V., (2021)Die europäischen Vorschriften zur Zulassung und Kennzeichnung genetisch veränderter Produkte und die Vorschläge zu ihrer Reform, und . Neue Zeitschrift für Verwaltungsrecht, (2003)Runtime Verification of Correct-by-Construction Driving Maneuvers., , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 242-263. Springer, (2022)Flexible Correct-by-Construction Programming., , , , und . Log. Methods Comput. Sci., (2023)Traits: Correctness-by-Construction for Free., , , und . FORTE, Volume 13273 von Lecture Notes in Computer Science, Seite 131-150. Springer, (2022)Scaling Correctness-by-Construction., , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 187-207. Springer, (2020)Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers., , , , und . CoRR, (2022)Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines., , , und . VaMoS, Seite 17-26. ACM, (2024)