André Platzer

Researcher Next ID · RN-000822

Professor · Computer Science

Karlsruhe, Germany

Not currently recruitingFunding unknown

About

256 publications and 5,860 citations recorded on OpenAlex.

Computer Science

Formal Methods in Verification

Logic, programming, and type systems

Logic, Reasoning, and Knowledge

Software Testing and Debugging Techniques

Safety Systems Engineering in Autonomy

Logical Foundations of Cyber-Physical Systems
Journal · 2018 · 10.1007/978-3-319-63588-0
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
Lecture notes in computer science · 2015 · 10.1007/978-3-319-21401-6_36
A Bayesian Approach to Model Checking Biological Systems
Lecture notes in computer science · 2009 · 10.1007/978-3-642-03845-7_15
Differential Dynamic Logic for Hybrid Systems
Journal of Automated Reasoning · 2008 · 10.1007/s10817-008-9103-8
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
Lecture notes in computer science · 2008 · 10.1007/978-3-540-71070-7_15

No projects listed.