| Publication | Date of Publication | Type |
|---|
| Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs | 2024-04-26 | Paper |
| Pegasus: a framework for sound continuous invariant generation | 2024-03-14 | Paper |
| An axiomatic approach to liveness for differential equations | 2024-03-14 | Paper |
| Verifying Switched System Stability With Logic | 2024-02-21 | Paper |
| Verifiably Safe Off-Model Reinforcement Learning | 2023-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6099601 | 2023-06-20 | Paper |
| Verified Quadratic Virtual Substitution for Real Arithmetic | 2023-04-21 | Paper |
| Implicit definitions with differential equations for KeYmaera X (system description) | 2022-12-07 | Paper |
| Constructive hybrid games | 2022-11-09 | Paper |
| Constructive Game Logic | 2022-10-13 | Paper |
| A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL | 2022-09-22 | Paper |
| Pegasus: sound continuous invariant generation | 2022-06-20 | Paper |
| Correction to: ``Differential dynamic logic for hybrid systems | 2022-03-25 | Paper |
| First-Order Game Logic and Modal Mu-Calculus | 2022-01-24 | Paper |
| Deductive stability proofs for ordinary differential equations | 2021-10-18 | Paper |
| An axiomatic approach to existence and liveness for differential equations | 2021-09-14 | Paper |
| Vector barrier certificates and comparison systems | 2021-05-04 | Paper |
| Differential Equation Axiomatization | 2021-01-20 | Paper |
| A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow | 2021-01-20 | Paper |
| Differential Equation Invariance Axiomatization | 2020-11-11 | Paper |
| Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems | 2020-05-14 | Paper |
| Towards physical hybrid systems | 2020-03-10 | Paper |
| Uniform substitution at one Fell swoop | 2020-03-10 | Paper |
| Overview of Logical Foundations of Cyber-Physical Systems | 2019-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967173 | 2019-07-03 | Paper |
| Uniform Substitution At One Fell Swoop | 2019-02-19 | Paper |
| Uniform substitution for differential game logic | 2018-10-18 | Paper |
| Logical Foundations of Cyber-Physical Systems | 2018-10-12 | Paper |
| Verification of Hybrid Systems | 2018-07-20 | Paper |
| Differential Refinement Logic | 2018-04-23 | Paper |
| Uniform Substitution for Differential Game Logic | 2018-04-16 | Paper |
| A complete uniform substitution calculus for differential dynamic logic | 2018-04-03 | Paper |
| ModelPlex: verified runtime validation of verified cyber-physical system models | 2018-02-12 | Paper |
| A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets | 2018-01-30 | Paper |
| Bellerophon: tactical theorem proving for hybrid systems | 2018-01-04 | Paper |
| Differential Hybrid Games | 2017-10-16 | Paper |
| Differential Game Logic | 2017-07-12 | Paper |
| Logics of Dynamical Systems | 2017-05-16 | Paper |
| The Complete Proof Theory of Hybrid Systems | 2017-05-16 | Paper |
| Quantified differential invariants | 2017-05-16 | Paper |
| Supporting Heterogeneity in Cyber-Physical Systems Architectures | 2017-05-16 | Paper |
| Bayesian statistical model checking with application to Simulink/Stateflow verification | 2017-05-10 | Paper |
| Numerically-aided deductive safety proof for a powertrain control system | 2016-12-16 | Paper |
| A Method for Invariant Generation for Polynomial Continuous Systems | 2016-03-23 | Paper |
| A Uniform Substitution Calculus for Differential Dynamic Logic | 2015-12-02 | Paper |
| KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems | 2015-12-02 | Paper |
| Ernst-Rüdiger Olderog: A Life for Meaning | 2015-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5178458 | 2015-03-16 | Paper |
| A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets | 2015-02-04 | Paper |
| dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems | 2014-09-26 | Paper |
| Bayesian statistical model checking with application to Stateflow/Simulink verification | 2014-06-30 | Paper |
| Towards a hybrid dynamic logic for hybrid dynamic systems | 2013-12-20 | Paper |
| The Structure of Differential Invariants and Differential Cut Elimination | 2013-01-07 | Paper |
| A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems | 2013-01-07 | Paper |
| Logical Analysis of Hybrid Systems | 2012-11-02 | Paper |
| A Differential Operator Approach to Equational Differential Invariants | 2012-09-20 | Paper |
| Playing Hybrid Games with KeYmaera | 2012-09-05 | Paper |
| Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs | 2011-07-29 | Paper |
| Quantifier elimination over finite fields using Gröbner bases | 2011-07-08 | Paper |
| Quantified Differential Dynamic Logic for Distributed Hybrid Systems | 2010-09-03 | Paper |
| Differential-algebraic Dynamic Logic for Differential-algebraic Programs | 2010-02-19 | Paper |
| Differential dynamic logic for hybrid systems | 2009-11-25 | Paper |
| Computing differential invariants of hybrid systems as fixed points | 2009-11-23 | Paper |
| Real World Verification | 2009-07-28 | Paper |
| Dynamic Logic with Non-rigid Functions | 2009-03-12 | Paper |
| The Image Computation Problem in Hybrid Systems Model Checking | 2009-03-11 | Paper |
| Differential Logic for Reasoning About Hybrid Systems | 2009-03-11 | Paper |
| KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) | 2008-11-27 | Paper |
| Automating Verification of Cooperation, Control, and Design in Traffic Applications | 2008-09-25 | Paper |
| Computing Differential Invariants of Hybrid Systems as Fixedpoints | 2008-07-15 | Paper |
| Differential Dynamic Logic for Verifying Parametric Hybrid Systems | 2008-01-04 | Paper |
| A Temporal Dynamic Logic for Verifying Hybrid System Invariants | 2008-01-04 | Paper |
| Complete Game Logic with Sabotage | N/A | Paper |
