André Platzer

Cited by

	All	Since 2018
Citations	7912	4056
h-index	46	34
i10-index	103	82

820

410

205

615

2007200820092010201120122013201420152016201720182019202020212022202344 49 81 163 205 386 489 480 563 593 660 776 799 728 817 664 267

Public access

View all

82 articles

1 article

available

not available

Based on funding mandates

Co-authors

Stefan MitschComputer Science Department, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sarah M. LoosGoogleVerified email at google.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jan-David QueselGoogleVerified email at google.com
Khalil GhorbalINRIAVerified email at inria.fr
Yong Kiam TanScientist I, Institute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Verified email at amazon.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteVerified email at wpi.edu
Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyVerified email at di.uniroma1.it
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
Nikos ArechigaToyota Research InstituteVerified email at tri.global
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzVerified email at jku.at
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Ryan W. GardnerJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerified email at uni.lu
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
axel legayUCLouvainVerified email at uclouvain.be

André Platzer

Alexander von Humboldt Professor of Computer Science, Karlsruhe Institute of Technology

Verified email at kit.edu - Homepage

Logic in Computer Science Cyber-Physical Systems Programming Languages Theorem Proving Hybrid Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Differential dynamic logic for hybrid systems A Platzer Journal of Automated Reasoning 41 (2), 143-189, 2008	501	2008
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics A Platzer Springer-Verlag New York Inc, 2010	494	2010
KeYmaera: A hybrid theorem prover for hybrid systems (system description) A Platzer, JD Quesel Automated Reasoning, 171-178, 2008	405	2008
A Bayesian approach to model checking biological systems S Jha, E Clarke, C Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology, 218-234, 2009	305	2009
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	260	2015
Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011	248	2011
Logical foundations of cyber-physical systems A Platzer Springer, 2018	239	2018
European Train Control System: A case study in formal verification A Platzer, JD Quesel Formal Methods and Software Engineering: 11th International Conference on …, 2009	196	2009
Differential-algebraic dynamic logic for differential-algebraic programs A Platzer Journal of Logic and Computation 20 (1), 309-352, 2010	182	2010
Safe reinforcement learning via formal methods: Toward safe control through proof and learning N Fulton, A Platzer Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	168	2018
ModelPlex: Verified runtime validation of verified cyber-physical system models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016	168	2016
Bayesian statistical model checking with application to Stateflow/Simulink verification P Zuliani, A Platzer, EM Clarke Formal Methods in System Design 43, 338-367, 2013	165	2013
Bayesian statistical model checking with application to simulink/stateflow verification P Zuliani, A Platzer, EM Clarke Proceedings of the 13th ACM international conference on Hybrid systems …, 2010	164	2010
The complete proof theory of hybrid systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 541-550, 2012	152	2012
Statistical model checking for Markov decision processes D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke 9th International Conference on Quantitative Evaluation of Systems, QEST …, 2012	147	2012
Computing differential invariants of hybrid systems as fixedpoints A Platzer, EM Clarke Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	147	2008
Formal verification of curved flight collision avoidance maneuvers: A case study A Platzer, EM Clarke FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009	146	2009
Logics of dynamical systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012	141	2012
A complete uniform substitution calculus for differential dynamic logic. A Platzer Journal of Automated Reasoning 59 (2), 219-265, 2017	122	2017
On provably safe obstacle avoidance for autonomous robotic ground vehicles S Mitsch, K Ghorbal, A Platzer Robotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 2013	110	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors