Spatio-temporal Model Checking for Mobile Real-Time Systems. - Jan-David Quesel; Andreas Schäfer 001 (ICTAC, 2006)

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). - André Platzer; Jan-David Quesel (IJCAR, 2008)

Logical Verification and Systematic Parametric Analysis in Train Control. - André Platzer; Jan-David Quesel (HSCC, 2008)

Real World Verification. - André Platzer; Jan-David Quesel; Philipp Rümmer (CADE, 2009)

European Train Control System: A Case Study in Formal Verification. - André Platzer; Jan-David Quesel (ICFEM, 2009)

Crossing the Bridge between Similar Games. - Jan-David Quesel; Martin Fränzle; Werner Damm (FORMATS, 2011)

Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. - Johannes Faber; Sven Linker; Ernst-Rüdiger Olderog; Jan-David Quesel (Int. J. Softw. Informatics, 2011)

Playing Hybrid Games with KeYmaera. - Jan-David Quesel; André Platzer (IJCAR, 2012)

Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems. - Jan-David Quesel (2013)

Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. - Stefan Mitsch; Jan-David Quesel; André Platzer (FM, 2014)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Jan-David Quesel; Marcus Völp; André Platzer (CADE, 2015)

How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2016)

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2021)