Jan-David Quesel

According to our database, Jan-David Quesel authored at least 13 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

2016

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

2015

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.

Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.

Stefan Mitsch, Jan-David Quesel, André Platzer

Proceedings of the FM 2014: Formal Methods, 2014

2013

Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems.

Jan-David Quesel

PhD thesis, 2013

2012

Playing Hybrid Games with KeYmaera.

Jan-David Quesel, André Platzer

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

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

Crossing the Bridge between Similar Games.

Jan-David Quesel, Martin Fränzle, Werner Damm

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2009

European Train Control System: A Case Study in Formal Verification.

André Platzer, Jan-David Quesel

Proceedings of the Formal Methods and Software Engineering, 2009

Real World Verification.

André Platzer, Jan-David Quesel, Philipp Rümmer

Proceedings of the Automated Deduction, 2009

2008

Logical Verification and Systematic Parametric Analysis in Train Control.

André Platzer, Jan-David Quesel

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).

André Platzer, Jan-David Quesel

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2006

Spatio-temporal Model Checking for Mobile Real-Time Systems.

Jan-David Quesel, Andreas Schäfer

Proceedings of the Theoretical Aspects of Computing, 2006