Entwicklung korrekter Systeme
Jan-David Quesel
| Anschrift: | Jan-David Quesel Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg |
|
| Raum: | A3 2-206 | |
| Telefon: | (04 41) 798-2376 | |
| Fax: | (04 41) 798-2965 | |
| E-Mail: | Jan-David.Quesel | |
Curriculum Vitae
| seit 6/2007 | Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme |
| 4/2007 | Informatik-Diplom an der Universität Oldenburg |
Forschung
Meine Forschungsinteressen sind- Verifikation von Hybriden Systemen
- Semantiken für Hybride Systeme
- Parametrische Verifikation
- Theorem-Beweisen
- Realzeitsysteme
- Model-Checking
Werkzeuge
Publikationen
- [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.
(c)
Springer-Verlag.
[ bib | .pdf | Abstract ] - [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, volume 4981 of LNCS, pages 646-649. Springer, 2008.
(c)
Springer-Verlag.
[ bib | .pdf | Abstract ] - [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.
[ bib | Abstract ]
Abschlussarbeiten
- [JDQ07]
-
Jan-David Quesel.
A Theorem Prover for Differential Dynamic Logic:
Deductive Verification of Hybrid Systems, 2007.
[ bib | .pdf ] - [JDQ05]
-
Jan-David Quesel.
MoDiShCa - Model Checking Discrete Shape Calculus,
2005.
[ bib | .pdf ]