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

Wann fahren wir autonom? Eine Untersuchung aus technischer und rechtlicher Sicht., , , und . Software Engineering 2022 Workshops, Seite 44-55. Bonn, Gesellschaft für Informatik e.V., (2022)Visualization of Variability Analysis of Control Software From Industrial Automation Systems., , , , und . SMC, Seite 3357-3364. IEEE, (2019)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)A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages., , und . Modellierung, Volume P-254 von LNI, Seite 157-172. GI, (2016)Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen., , , , , und . GI-Jahrestagung, Volume P-220 von LNI, Seite 2443-2457. GI, (2013)Coverage-Driven Test Automation for Highly-Configurable Railway Systems., , , , , und . VaMoS, Seite 23-30. ACM, (2023)Hyper Explanations for Feature-Model Defect Analysis., , , und . VaMoS, Seite 14:1-14:9. ACM, (2021)Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines., , , und . VaMoS, Seite 17-26. ACM, (2024)Explaining Edits to Variability Annotations in Evolving Software Product Lines., , , und . VaMoS, Seite 93-102. ACM, (2024)