Jan-David Quesel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2006–2015
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CADE | KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Vlp, Andr Platzer |
| 2014 | FM | Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. | Stefan Mitsch, Jan-David Quesel, Andr Platzer |
| 2012 | CADE | Playing Hybrid Games with KeYmaera. | Jan-David Quesel, Andr Platzer |
| 2009 | CADE | Real World Verification. | Andr Platzer, Jan-David Quesel, Philipp Rmmer |
| 2009 | ICFEM | European Train Control System: A Case Study in Formal Verification. | Andr Platzer, Jan-David Quesel |
| 2008 | CADE | KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). | Andr Platzer, Jan-David Quesel |
| 2006 | ICTAC | Spatio-temporal Model Checking for Mobile Real-Time Systems. | Jan-David Quesel, Andreas Schfer |