Jan-David Quesel
Titel
Geciteerd door
Geciteerd door
Jaar
Keymaera: A hybrid theorem prover for hybrid systems (system description)
A Platzer, JD Quesel
International Joint Conference on Automated Reasoning, 171-178, 2008
3462008
European train control system: A case study in formal verification
A Platzer, JD Quesel
International Conference on Formal Engineering Methods, 246-265, 2009
1592009
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer
International Conference on Automated Deduction, 527-538, 2015
1552015
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
792009
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
592016
Logical verification and systematic parametric analysis in train control
A Platzer, JD Quesel
International Workshop on Hybrid Systems: Computation and Control, 646-649, 2008
302008
Refactoring, Refinement, and Reasoning
S Mitsch, JD Quesel, A Platzer
FM 2014: Formal Methods, 19th International Symposium on Formal Methods …, 2014
272014
Playing hybrid games with KeYmaera
JD Quesel, A Platzer
International Joint Conference on Automated Reasoning, 439-453, 2012
202012
Crossing the bridge between similar games
JD Quesel, M Fränzle, W Damm
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
142011
Spatio-temporal model checking for mobile real-time systems
JD Quesel, A Schäfer
International Colloquium on Theoretical Aspects of Computing, 347-361, 2006
92006
Similarity, Logic, and Games: Bridging Modeling Layers of Hybrid Systems
JD Quesel
Universität Oldenburg, Department für Informatik, 2013
82013
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
From Safety to Guilty & from Liveness to Niceness
S Mitsch, JD Quesel, A Platzer
42014
A theorem prover for differential dynamic logic
JD Quesel
Master’s thesis, University of Oldenburg, Department of Computing Science …, 2007
42007
MoDiShCa - Model Checking Discrete Shape Calculus
JD Quesel
Minor Thesis, University of Oldenburg, 2005
32005
How to prove complex properties of hybrid systems with KeYmaera: a tutorial
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
12012
CSP-OZ-DC und PEAs
JD Quesel
2005
Visible to the public Distributed Hybrid Systems Compositionality and Reconfiguration for Distributed Hybrid Systems
A Platzer, EM Clarke, K Ghorbal, S Mitsch, S Loos, JD Quesel
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, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20