| Publication | Date of Publication | Type |
|---|
Model to mitigate: using DCR graphs to prevent vulnerabilities in smart contracts
Journal of Logical and Algebraic Methods in Programming | 2026-08-27 | Paper |
Smart contract denial-of-service analysis using non-blocking verification
Discrete Event Dynamic Systems | 2026-02-09 | Paper |
On proving that an unsafe controller is not proven safe
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
| On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic | 2022-07-12 | Paper |
Editorial
Formal Aspects of Computing | 2022-01-11 | Paper |
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
(available as arXiv preprint) | 2022-01-01 | Paper |
Deductive verification of floating-point Java programs in KeY
(available as arXiv preprint) | 2021-10-18 | Paper |
| Benchmark Repository for Floating-Point Support in KeY | 2020-10-13 | Dataset |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Formal Methods in System Design | 2017-09-08 | Paper |
Reasoning about loops using Vampire in KeY
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Weak arithmetic completeness of object-oriented first-order assertion networks
Lecture Notes in Computer Science | 2014-11-04 | Paper |
A system for compositional verification of asynchronous objects
Science of Computer Programming | 2013-06-06 | Paper |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
KeY: A Formal Method for Object-Oriented Systems
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Deductive search for errors in free data type specifications using model generation
Lecture Notes in Computer Science | 2004-08-12 | Paper |
The KEY system: Integrating object-oriented design and formal methods
Lecture Notes in Computer Science | 2004-08-11 | Paper |
The KeY approach: Integrating object oriented design and formal verification
Lecture Notes in Computer Science | 2002-11-25 | Paper |
| The WAM case study: Verifying compiler correctness for Prolog with KIV | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1543302 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1543041 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1552511 (Why is no real title available?) | 2001-01-15 | Paper |
Hilbert's \(\epsilon\)-terms in automated theorem proving
Lecture Notes in Computer Science | 2000-02-28 | Paper |
