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

Reducing the Complexity of Quantified Formulas via Variable Elimination., , , and . CoRR, (2014)A Dual-Engine for Early Analysis of Critical Systems., , , and . CoRR, (2014)A Proof Assistant for Alloy Specifications., , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 422-436. Springer, (2012)Relational Reasoning - Constraint Solving, Deduction, and Program Verification.. Karlsruhe Institute of Technology, (2015)Modellgetriebene Software-Entwicklung - Architekturen, Muster und Eclipse-basierte MDA, , , , , , , , , and 3 other author(s). Universität Karlsruhe (TH), (2006)Mutual Authorizations: Semantics and Integration Issues., , and . SACMAT, page 213-218. ACM, (2019)First-Order Transitive Closure Axiomatization via Iterative Invariant Injections., , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 143-157. Springer, (2015)Relational Reasoning via SMT Solving., and . FM, volume 6664 of Lecture Notes in Computer Science, page 133-148. Springer, (2011)Analyzing Alloy Formulas using an SMT Solver: A Case Study., and . CoRR, (2015)JKelloy: A Proof Assistant for Relational Specifications of Java Programs., , , , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 173-187. Springer, (2014)