Jan-David Quesel

Meine Forschungsinteressen sind * Verifikation von Hybriden Systemen * Semantiken für Hybride Systeme * Parametrische Verifikation * Theorem-Beweisen * Realzeitsysteme * Model-Checking Werkzeuge, die ich entwickelt habe/an denen ich mitgearbeitet habe: * KeYmaera * MoDiShCa * Moby/PLC

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Homepage: csd.informatik.uni-oldenburg.de/persons/jan-david.quesel Tel.: (0441) 798-2065 Fax: (0441) 798-4199

Publikationen

[QP12a]
Jan-David Quesel and André Platzer. Playing hybrid games with KeYmaera. Reports of SFB/TR 14 AVACS 84, SFB/TR 14 AVACS, April 2012. ISSN: 1860-9821, http://www.avacs.org.

[QP12b]
Jan-David Quesel and André Platzer. Playing hybrid games with KeYmaera. In Bernhard Gramlich, Dale Miller, and Ulrike Sattler, editors, Automated Reasoning, Sixth International Joint Conference, IJCAR 2012, Manchester, UK, Proceedings, LNCS. Springer, June 2012. The original publication is available at www.springerlink.com. (to appear).

[QFD11]
J.-D. Quesel, M. Fränzle, and W. Damm. Crossing the bridge between similar games. In Stavros Tripakis and Uli Fahrenberg, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings, LNCS. Springer, Sep. 2011.

[FLOQ11]
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, and Jan-David Quesel. Syspect - modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5(1-2):117-137, 2011. ISSN 1673-7288.

[PQR09a]
André Platzer, Jan-David Quesel, and Philipp Rümmer. Real world verification. Reports of SFB/TR 14 AVACS 52, SFB/TR 14 AVACS, June 2009. ISSN: 1860-9821, http://www.avacs.org.

[PQR09b]
André Platzer, Jan-David Quesel, and Philipp Rümmer. Real world verification. In Renate A. Schmidt, editor, Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, McGill University, Montreal, Canada, August 2 - 7, 2009, Proceedings, volume 5663 of LNCS, pages 485-501. Springer, 2009. © Springer-Verlag.

[PQ09a]
André Platzer and Jan-David Quesel. European train control system: A case study in formal verification. In Ana Cavalcanti and Karin Breitman, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, December 9-12, 2009, Proceedings, volume 5885 of LNCS, pages 246-265, Heidelberg, 2009. Springer. © Springer-Verlag.

[PQ09b]
André Platzer and Jan-David Quesel. European train control system: A case study in formal verification. Reports of SFB/TR 14 AVACS 54, SFB/TR 14 AVACS, Oct 2009. ISSN: 1860-9821, http://www.avacs.org.

[PQ08a] André Platzer and Jan-David Quesel. KeYmaera: A hybrid theorem prover for hybrid systems. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2008, Sydney, Australia, Proceedings, volume 5195 of LNCS, pages 171-178. Springer, 2008. © Springer-Verlag.

[PQ08b] André Platzer and Jan-David Quesel. Logical verification and systematic parametric analysis in train control. In Magnus Egerstedt and Bud Mishra, editors, Hybrid Systems: Computation and Control, 10th International Conference, HSCC 2008, St. Louis, USA, Proceedings, LNCS. Springer, 2008.

[JDQ07] Jan-David Quesel. A Theorem Prover for Differential Dynamic Logic: Deductive Verification of Hybrid Systems, 2007. (Diplomarbeit)

[QS06] J.-D. Quesel and A. Schäfer. Spatio-temporal model checking for mobile real-time systems. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, LNCS, pages 347-361, 2006.

[JDQ05] Jan-David Quesel. MoDiShCa - Model Checking Discrete Shape Calculus, 2005. (Individuelles Projekt)