André Platzer

Cited by

	All	Since 2017
Citations	7261	4048
h-index	45	35
i10-index	93	81

880

440

220

660

200720082009201020112012201320142015201620172018201920202021202243 50 85 185 214 391 482 479 548 602 659 788 816 741 872 165

Public access

View all

87 articles

0 articles

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 TanGraduate Research Assistant, CMUVerified 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 ZulianiSenior Lecturer (Associate Professor), School of Computing, Newcastle University, UKVerified email at ncl.ac.uk
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
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
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
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
axel legayUCLouvainVerified email at uclouvain.be
Sumit Kumar JhaUniversity of Texas at San AntonioVerified email at sumitkumarjha.com

André Platzer

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.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
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics A Platzer Springer-Verlag New York Inc, 2010	469	2010
Differential dynamic logic for hybrid systems A Platzer Journal of Automated Reasoning 41 (2), 143-189, 2008	464	2008
KeYmaera: A hybrid theorem prover for hybrid systems (system description) A Platzer, JD Quesel Automated Reasoning, 171-178, 2008	384	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	292	2009
Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor International Symposium on Formal Methods, 42-56, 2011	234	2011
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer International Conference on Automated Deduction, 527-538, 2015	223	2015
Logical foundations of cyber-physical systems A Platzer Springer, 2018	199	2018
European Train Control System: A case study in formal verification A Platzer, JD Quesel International Conference on Formal Engineering Methods, 246-265, 2009	184	2009
Differential-algebraic dynamic logic for differential-algebraic programs A Platzer Journal of Logic and Computation 20 (1), 309-352, 2010	179	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	155	2010
Bayesian statistical model checking with application to Stateflow/Simulink verification P Zuliani, A Platzer, EM Clarke Formal Methods in System Design 43 (2), 338-367, 2013	149	2013
The complete proof theory of hybrid systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 541-550, 2012	146	2012
ModelPlex: Verified runtime validation of verified cyber-physical system models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016	144	2016
Formal verification of curved flight collision avoidance maneuvers: A case study A Platzer, EM Clarke International Symposium on Formal Methods, 547-562, 2009	143	2009
Computing differential invariants of hybrid systems as fixedpoints A Platzer, EM Clarke International Conference on Computer Aided Verification, 176-189, 2008	142	2008
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	139	2012
Logics of dynamical systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012	133	2012
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	125	2018
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	103	2013
A complete uniform substitution calculus for differential dynamic logic. A Platzer Journal of Automated Reasoning 59 (2), 219-265, 2017	102	2017

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 this author

Cited by

Co-authors