Concepedia

Jan-David Quesel

JQ

2

Publications

189

Citations

2

H-Index

2008

Active since

Affiliations

Carnegie Mellon University(Current)

Jan-David Quesel is an author at Carnegie Mellon University specializing in formal methods, program analysis, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsHybrid SystemsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSystems EngineeringFormal Specification

Publications per year

2008–2015

2

Publications

2

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems ?

Jan-David Quesel · 2008 · 120 citations

Formal Specification, Engineering, Automated Reasoning +15

How to model and prove hybrid systems with KeYmaera: a tutorial on safety

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos et al. · International Journal on Software Tools for Technology Transfer · 2015 · 69 citations · Full text

Engineering, Verification, System-level Design +23

Rows per page

1–2 of 2