Author of the publication

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

Scalability of Deductive Verification Depends on Method Call Treatment., , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 159-175. Springer, (2018)Evaluating #SAT solvers on industrial feature models., , and . VaMoS, page 3:1-3:9. ACM, (2020)Feature-oriented contract composition., , , , and . J. Syst. Softw., (2019)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY., , , , , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 80-104. Springer, (2022)Supporting commissioning of production plants by model-based testing and model learning., , , , , and . ISIE, page 606-611. IEEE, (2015)Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines., , and . MASE@MoDELS, volume 1487 of CEUR Workshop Proceedings, page 23-32. CEUR-WS.org, (2015)Consistency in the View-Based Development of Cyber-Physical Systems (Convide)., , , , and . MoDELS (Companion), page 83-84. IEEE, (2023)Towards efficient SPL testing by variant reduction., , and . VariComp@AOSD, page 1-6. ACM, (2013)Verification Strategies for Feature-Oriented Software Product Lines., , , , and . VaMoS, page 12:1-12:9. ACM, (2022)