| Publication | Date of Publication | Type |
|---|
Differential elimination and algebraic invariants of polynomial dynamical systems
Theoretical Computer Science | 2026-05-08 | Paper |
| Refining constructive hybrid games | 2026-02-24 | Paper |
| Semi-competitive differential game logic | 2026-02-10 | Paper |
Axiomatization of compact initial value problems: open properties
Journal of the ACM | 2026-01-22 | Paper |
| A real-analytic approach to differential-algebraic dynamic logic | 2026-01-21 | Paper |
| Complete game logic with sabotage | 2025-06-18 | Paper |
| Uniform substitution for differential refinement logic | 2025-01-31 | Paper |
| 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
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Verifiably Safe Off-Model Reinforcement Learning
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
scientific article; zbMATH DE number 7699431 (Why is no real title available?)
(available as arXiv preprint) | 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)
(available as arXiv preprint) | 2022-12-07 | Paper |
Constructive hybrid games
(available as arXiv preprint) | 2022-11-09 | Paper |
Constructive game logic
Programming Languages and Systems | 2022-10-13 | Paper |
| A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL | 2022-09-22 | Paper |
Pegasus: sound continuous invariant generation
Formal Methods in System Design | 2022-06-20 | Paper |
Correction to: ``Differential dynamic logic for hybrid systems''
Journal of Automated Reasoning | 2022-03-25 | Paper |
| First-Order Game Logic and Modal Mu-Calculus | 2022-01-24 | Paper |
Deductive stability proofs for ordinary differential equations
(available as arXiv preprint) | 2021-10-18 | Paper |
An axiomatic approach to existence and liveness for differential equations
Formal Aspects of Computing | 2021-09-14 | Paper |
| Vector barrier certificates and comparison systems | 2021-05-04 | Paper |
Differential equation axiomatization. The impressive power of differential ghosts
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
A hybrid, dynamic logic for hybrid-dynamic information flow
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Differential equation invariance axiomatization
Journal of the ACM | 2020-11-11 | Paper |
| Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems | 2020-05-14 | Paper |
Towards physical hybrid systems
(available as arXiv preprint) | 2020-03-10 | Paper |
Uniform substitution at one Fell swoop
(available as arXiv preprint) | 2020-03-10 | Paper |
| Overview of Logical Foundations of Cyber-Physical Systems | 2019-10-24 | Paper |
| scientific article; zbMATH DE number 7075877 (Why is no real title available?) | 2019-07-03 | Paper |
Uniform Substitution At One Fell Swoop
(available as arXiv preprint) | 2019-02-19 | Paper |
Uniform substitution for differential game logic
(available as arXiv preprint) | 2018-10-18 | Paper |
| Logical foundations of cyber-physical systems | 2018-10-12 | Paper |
Verification of Hybrid Systems
Handbook of Model Checking | 2018-07-20 | Paper |
Differential Refinement Logic
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Uniform Substitution for Differential Game Logic
(available as arXiv preprint) | 2018-04-16 | Paper |
A complete uniform substitution calculus for differential dynamic logic
Journal of Automated Reasoning | 2018-04-03 | Paper |
ModelPlex: verified runtime validation of verified cyber-physical system models
Formal Methods in System Design | 2018-02-12 | Paper |
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
Computer Languages, Systems & Structures | 2018-01-30 | Paper |
| Bellerophon: tactical theorem proving for hybrid systems | 2018-01-04 | Paper |
Differential Hybrid Games
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Differential game logic
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Logics of dynamical systems
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
The Complete Proof Theory of Hybrid Systems
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Supporting Heterogeneity in Cyber-Physical Systems Architectures
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Bayesian statistical model checking with application to Simulink/Stateflow verification
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 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
Lecture Notes in Computer Science | 2016-03-23 | Paper |
A uniform substitution calculus for differential dynamic logic
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Ernst-Rüdiger Olderog: A Life for Meaning
Lecture Notes in Computer Science | 2015-11-04 | Paper |
| Logical analysis of hybrid systems: a complete answer to a complexity challenge | 2015-03-16 | Paper |
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
Lecture Notes in Computer Science | 2015-02-04 | Paper |
dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems
Automated Reasoning | 2014-09-26 | Paper |
Bayesian statistical model checking with application to Stateflow/Simulink verification
Formal Methods in System Design | 2014-06-30 | Paper |
Towards a hybrid dynamic logic for hybrid dynamic systems
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
The structure of differential invariants and differential cut elimination
Logical Methods in Computer Science | 2013-01-07 | Paper |
A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
Logical Methods in Computer Science | 2013-01-07 | Paper |
Logical analysis of hybrid systems. A complete answer to a complexity challenge
Descriptional Complexity of Formal Systems | 2012-11-02 | Paper |
A differential operator approach to equational differential invariants (invited paper)
Interactive Theorem Proving | 2012-09-20 | Paper |
Playing Hybrid Games with KeYmaera
Automated Reasoning | 2012-09-05 | Paper |
Stochastic differential dynamic logic for stochastic hybrid programs
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Quantifier elimination over finite fields using Gröbner bases
Algebraic Informatics | 2011-07-08 | Paper |
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Computer Science Logic | 2010-09-03 | Paper |
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Journal Of Logic And Computation | 2010-02-19 | Paper |
Differential dynamic logic for hybrid systems
Journal of Automated Reasoning | 2009-11-25 | Paper |
Computing differential invariants of hybrid systems as fixed points
Formal Methods in System Design | 2009-11-23 | Paper |
Real World Verification
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Dynamic Logic with Non-rigid Functions
Automated Reasoning | 2009-03-12 | Paper |
The Image Computation Problem in Hybrid Systems Model Checking
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Differential Logic for Reasoning About Hybrid Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
Automated Reasoning | 2008-11-27 | Paper |
Automating Verification of Cooperation, Control, and Design in Traffic Applications
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Computing Differential Invariants of Hybrid Systems as Fixedpoints
Computer Aided Verification | 2008-07-15 | Paper |
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
Lecture Notes in Computer Science | 2008-01-04 | Paper |
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Complete Game Logic with Sabotage
(available as arXiv preprint) | N/A | Paper |
