Author of the publication

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.

, , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 156-163. Springer, (2022)

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

Applying Design by Contract to Feature-Oriented Programming, , , , and . Fundamental Approaches to Software Engineering, volume 7212 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)GuyDance: Guiding Configuration Updates for Product-Line Evolution., , , , , and . SPLC (B), page 56-64. ACM, (2020)Visualization of Variability Analysis of Control Software From Industrial Automation Systems., , , , and . SMC, page 3357-3364. IEEE, (2019)Scaling Correctness-by-Construction., , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 187-207. Springer, (2020)Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers., , , , and . CoRR, (2022)Variational correctness-by-construction., , , , and . VaMoS, page 7:1-7:9. ACM, (2020)Wann fahren wir autonom? Eine Untersuchung aus technischer und rechtlicher Sicht., , , and . Software Engineering 2022 Workshops, page 44-55. Bonn, Gesellschaft für Informatik e.V., (2022)Custom-tailored clone detection for IEC 61131-3 programming languages., , , , and . J. Syst. Softw., (2021)Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study., , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 388-405. Springer, (2019)Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung., , , , and . Software Engineering (Workshops), volume P-215 of LNI, page 283-292. GI, (2013)