Jan-David Quesel

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 3

Top Venues

Int. J. Softw. Tools Technol. Transf.

CADE

IJCAR

Universität Oldenburg (PHD)

Education History

Universität Oldenburg

PHD

Publications

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

Jan-David Quesel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan-David Quesel