BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Quesel:Jan=David

Contributed to:

CADE 20152015
FM 20142014
IJCAR 20122012
CADE 20092009
IJCAR 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.