Author of the publication

Quantum Computing for Feature Model Analysis: Potentials and Challenges

, , , and . Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, volume A of SPLC '23, page 1–7. New York, NY, USA, Association for Computing Machinery, (Aug 28, 2023)
DOI: 10.1145/3579027.3608971

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)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)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)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)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)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)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , and . Software Engineering, volume P-343 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2024)Scaling size and parameter spaces in variability-aware software performance models., , , and . Software Engineering, volume P-252 of LNI, page 33-34. GI, (2016)Tutorial: The Correctness-by-Construction Approach to Programming Using CorC., , , and . SecDev, page 1-2. IEEE, (2021)