André Platzer

Cited by

	All	Since 2019
Citations	8958	4293
h-index	49	34
i10-index	108	86

840

420

210

630

20072008200920102011201220132014201520162017201820192020202120222023202445 49 80 167 217 382 488 477 557 580 655 784 822 756 830 651 683 525

Public access

View all

88 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan MitschSchool of Computing, DePaul UniversityVerified email at depaul.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
Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Khalil GhorbalINRIAVerified email at inria.fr
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteVerified email at wpi.edu
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Verified email at amazon.com
Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyVerified email at di.uniroma1.it
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.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
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Ryan W. GardnerJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
João G. MartinsPhD student, Computer Science, CMU and CENTRIA/FCT/UNLVerified email at cs.cmu.edu
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.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

André Platzer

Alexander von Humboldt Professor, Karlsruhe Institute of Technology

Verified email at kit.edu - Homepage

Logic in Computer Science Theorem Proving Programming Languages 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	549	2008
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics A Platzer Springer-Verlag New York Inc, 2010	513	2010
KeYmaera: A hybrid theorem prover for hybrid systems (system description) A Platzer, JD Quesel Automated Reasoning, 171-178, 2008	425	2008
Logical foundations of cyber-physical systems A Platzer Springer, 2018	326	2018
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	326	2015
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	315	2009
Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor International Symposium on Formal Methods, 42-56, 2011	269	2011
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	256	2018
European Train Control System: A case study in formal verification A Platzer, JD Quesel International Conference on Formal Engineering Methods, 246-265, 2009	211	2009
ModelPlex: Verified runtime validation of verified cyber-physical system models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016	194	2016
Differential-algebraic dynamic logic for differential-algebraic programs A Platzer Journal of Logic and Computation 20 (1), 309-352, 2010	191	2010
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	176	2010
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	169	2013
The complete proof theory of hybrid systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 541-550, 2012	162	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	161	2012
Formal verification of curved flight collision avoidance maneuvers: A case study A Platzer, EM Clarke International Symposium on Formal Methods, 547-562, 2009	157	2009
Logics of dynamical systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012	155	2012
Computing differential invariants of hybrid systems as fixedpoints A Platzer, EM Clarke Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	152	2008
A complete uniform substitution calculus for differential dynamic logic. A Platzer Journal of Automated Reasoning 59 (2), 219-265, 2017	145	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	122	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