Articles with public access mandates - Jan-David QueselLearn more
Available somewhere: 9
Keymaera: A hybrid theorem prover for hybrid systems (system description)
A Platzer, JD Quesel
International Joint Conference on Automated Reasoning, 171-178, 2008
Mandates: German Research Foundation
European train control system: A case study in formal verification
A Platzer, JD Quesel
International Conference on Formal Engineering Methods, 246-265, 2009
Mandates: German Research Foundation
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016
Mandates: US National Science Foundation, US Department of Energy, German Research …
Logical verification and systematic parametric analysis in train control
A Platzer, JD Quesel
International Workshop on Hybrid Systems: Computation and Control, 646-649, 2008
Mandates: German Research Foundation
Playing hybrid games with KeYmaera
JD Quesel, A Platzer
International Joint Conference on Automated Reasoning, 439-453, 2012
Mandates: German Research Foundation
Crossing the bridge between similar games
JD Quesel, M Fränzle, W Damm
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
Mandates: German Research Foundation
Syspect - modelling, specifying, and verifying real-time systems with rich data.
J Faber, S Linker, ER Olderog, JD Quesel
International Journal of Software and Informatics 5 (1-2), 117-137, 2011
Mandates: German Research Foundation
From Safety to Guilty & from Liveness to Niceness
S Mitsch, JD Quesel, A Platzer
Mandates: European Commission
How to prove complex properties of hybrid systems with KeYmaera: a tutorial
J Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program