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

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)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)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)17. Workshop Automotive Software Engineering., , , and . SE, volume P-300 of LNI, page 249-250. Gesellschaft für Informatik e.V., (2020)Verification Strategies for Feature-Oriented Software Product Lines., , , , and . VaMoS, page 12:1-12:9. ACM, (2022)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)DeltaEcore - A Model-Based Delta Language Generation Framework., , and . Modellierung, volume P-225 of LNI, page 81-96. GI, (2014)A Specification Logic for Programs in the Probabilistic Guarded Command Language., , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 369-387. Springer, (2022)