| Keymaera: A hybrid theorem prover for hybrid systems (system description) A Platzer, JD Quesel International Joint Conference on Automated Reasoning, 171-178, 2008 | 425 | 2008 |
| KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 326 | 2015 |
| European train control system: A case study in formal verification A Platzer, JD Quesel International Conference on Formal Engineering Methods, 246-265, 2009 | 211 | 2009 |
| How to model and prove hybrid systems with KeYmaera: a tutorial on safety JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016 | 100 | 2016 |
| Real world verification A Platzer, JD Quesel, P Rümmer Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 92 | 2009 |
| Logical verification and systematic parametric analysis in train control A Platzer, JD Quesel International Workshop on Hybrid Systems: Computation and Control, 646-649, 2008 | 39 | 2008 |
| Refactoring, Refinement, and Reasoning S Mitsch, JD Quesel, A Platzer FM 2014: Formal Methods, 19th International Symposium on Formal Methods …, 2014 | 32* | 2014 |
| Playing hybrid games with KeYmaera JD Quesel, A Platzer International Joint Conference on Automated Reasoning, 439-453, 2012 | 21 | 2012 |
| Crossing the bridge between similar games JD Quesel, M Fränzle, W Damm International Conference on Formal Modeling and Analysis of Timed Systems …, 2011 | 16 | 2011 |
| Similarity, Logic, and Games: Bridging Modeling Layers of Hybrid Systems JD Quesel Universität Oldenburg, Department für Informatik, 2013 | 14 | 2013 |
| Spatio-temporal model checking for mobile real-time systems JD Quesel, A Schäfer Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006 | 8 | 2006 |
| Syspect - modelling, specifying, and verifying real-time systems with rich data. J Faber, S Linker, ER Olderog, JD Quesel International Journal of Software and Informatics 5 (1-2), 117-137, 2011 | 7 | 2011 |
| A theorem prover for differential dynamic logic JD Quesel Master’s thesis, University of Oldenburg, Department of Computing Science …, 2007 | 4 | 2007 |
| From Safety to Guilty & from Liveness to Niceness S Mitsch, JD Quesel, A Platzer | 3 | 2014 |
| MoDiShCa - Model Checking Discrete Shape Calculus JD Quesel Minor Thesis, University of Oldenburg, 2005 | 3 | 2005 |
| Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer International Journal on Software Tools for Technology Transfer 23, 827-827, 2021 | 1 | 2021 |
| How to prove complex properties of hybrid systems with KeYmaera: a tutorial J Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer | 1 | 2012 |
| CSP-OZ-DC und PEAs JD Quesel | | 2005 |
| KeYmaera: Verifying Hybrid Systems in KeY JD Quesel | | |
| Abschlussbericht Praktikum Realzeitsysteme Sommersemester 2006 T Brock, D Denker, N Hapke, T Hesselmann, K Hylla, M Isken, J Jacobi, ... | | |
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
