Travelled to:1 × Australia
1 × Canada
1 × Germany
1 × Singapore
1 × United Kingdom
Collaborated with:A.Platzer S.Mitsch P.Rümmer N.Fulton M.Völp
Talks about:hybrid (5) ymaera (3) system (3) theorem (2) prover (2) character (1) refactor (1) axiomat (1) tactic (1) reason (1)
Person: Jan-David Quesel
DBLP: Quesel:Jan=David
Contributed to:
2015
2014
201220092008Wrote 5 papers:
- CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
- FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
- Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
- IJCAR-2012-QueselP #game studies #hybrid
- Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
- CADE-2009-PlatzerQR #verification
- Real World Verification (AP, JDQ, PR), pp. 485–501.
- IJCAR-2008-PlatzerQ #hybrid #named #proving #theorem proving
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (AP, JDQ), pp. 171–178.