Jan-David Quesel

13 papers A 4B 1C 2Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety.
Int. J. Softw. Tools Technol. Transf.
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
2016 J jnl
How to model and prove hybrid systems with KeYmaera: a tutorial on safety.
Int. J. Softw. Tools Technol. Transf.
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
2015 A conf
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.
CADE
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
2014 B conf
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.
FM
Stefan Mitsch, Jan-David Quesel, André Platzer
2013 — —
Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems.
Jan-David Quesel
2012 A conf
Playing Hybrid Games with KeYmaera.
IJCAR
Jan-David Quesel, André Platzer
2011 — conf
Crossing the Bridge between Similar Games.
FORMATS
Jan-David Quesel, Martin Fränzle, Werner Damm
2011 J jnl
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Int. J. Softw. Informatics
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
2009 C conf
European Train Control System: A Case Study in Formal Verification.
ICFEM
André Platzer, Jan-David Quesel
2009 A conf
Real World Verification.
CADE
André Platzer, Jan-David Quesel, Philipp Rümmer
2008 A conf
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).
IJCAR
André Platzer, Jan-David Quesel
2008 — conf
Logical Verification and Systematic Parametric Analysis in Train Control.
HSCC
André Platzer, Jan-David Quesel
2006 C conf
Spatio-temporal Model Checking for Mobile Real-Time Systems.
ICTAC
Jan-David Quesel, Andreas Schäfer