André Platzer

Cited by

	All	Since 2018
Citations	7698	3824
h-index	46	33
i10-index	101	79

820

410

205

615

2007200820092010201120122013201420152016201720182019202020212022202344 49 81 166 205 383 488 480 563 612 660 761 798 726 818 667 49

Public access

View all

83 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan MitschComputer Science Department, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sarah M. LoosGoogleVerified email at google.com
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 ZulianiReader (Full 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
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
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
João G. MartinsPhD student, Computer Science, CMU and CENTRIA/FCT/UNLVerified email at cs.cmu.edu
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu

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	489	2008
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics A Platzer Springer-Verlag New York Inc, 2010	485	2010
KeYmaera: A hybrid theorem prover for hybrid systems (system description) A Platzer, JD Quesel Automated Reasoning, 171-178, 2008	399	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	302	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	250	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	244	2011
Logical foundations of cyber-physical systems A Platzer Springer, 2018	230	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	193	2009
Differential-algebraic dynamic logic for differential-algebraic programs A Platzer Journal of Logic and Computation 20 (1), 309-352, 2010	180	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	164	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
ModelPlex: Verified runtime validation of verified cyber-physical system models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016	163	2016
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	153	2018
The complete proof theory of hybrid systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 541-550, 2012	149	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	146	2012
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
Computing differential invariants of hybrid systems as fixedpoints A Platzer, EM Clarke Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	146	2008
Logics of dynamical systems A Platzer 2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012	139	2012
A complete uniform substitution calculus for differential dynamic logic. A Platzer Journal of Automated Reasoning 59 (2), 219-265, 2017	114	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	108	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