Jan-David Quesel

According to our database1, Jan-David Quesel authored at least 12 papers between 2006 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
How to model and prove hybrid systems with KeYmaera: a tutorial on safety.
Int. J. Softw. Tools Technol. Transf., 2016

2015
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.
Proceedings of the FM 2014: Formal Methods, 2014

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

2012
Playing Hybrid Games with KeYmaera.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Int. J. Softw. Informatics, 2011

Crossing the Bridge between Similar Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2009
European Train Control System: A Case Study in Formal Verification.
Proceedings of the Formal Methods and Software Engineering, 2009

Real World Verification.
Proceedings of the Automated Deduction, 2009

2008
Logical Verification and Systematic Parametric Analysis in Train Control.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2006
Spatio-temporal Model Checking for Mobile Real-Time Systems.
Proceedings of the Theoretical Aspects of Computing, 2006


  Loading...