Follow
Jan-David Quesel
Title
Cited by
Cited by
Year
Keymaera: A hybrid theorem prover for hybrid systems (system description)
A Platzer, JD Quesel
International Joint Conference on Automated Reasoning, 171-178, 2008
4262008
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
3402015
European train control system: A case study in formal verification
A Platzer, JD Quesel
International Conference on Formal Engineering Methods, 246-265, 2009
2122009
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
1022016
Real world verification
A Platzer, JD Quesel, P Rümmer
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
932009
Logical verification and systematic parametric analysis in train control
A Platzer, JD Quesel
International Workshop on Hybrid Systems: Computation and Control, 646-649, 2008
392008
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
212012
Crossing the bridge between similar games
JD Quesel, M Fränzle, W Damm
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
162011
Similarity, Logic, and Games: Bridging Modeling Layers of Hybrid Systems
JD Quesel
Universität Oldenburg, Department für Informatik, 2013
142013
Spatio-temporal model checking for mobile real-time systems
JD Quesel, A Schäfer
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
82006
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
72011
A theorem prover for differential dynamic logic
JD Quesel
Master’s thesis, University of Oldenburg, Department of Computing Science …, 2007
42007
From Safety to Guilty & from Liveness to Niceness
S Mitsch, JD Quesel, A Platzer
32014
MoDiShCa - Model Checking Discrete Shape Calculus
JD Quesel
Minor Thesis, University of Oldenburg, 2005
32005
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
12021
How to prove complex properties of hybrid systems with KeYmaera: a tutorial
J Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
12012
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, ...
The system can't perform the operation now. Try again later.
Articles 1–20