Edit Profile (opens in new tab) Platzer, André Compute Distance To: Compute Author ID: platzer.andre Published as: Platzer, André External Links: ORCID Documents Indexed: 62 Publications since 2006, including 1 Book 2 Contributions as Editor Co-Authors: 45 Co-Authors with 38 Joint Publications 794 Co-Co-Authors all top 5 Co-Authors 26 single-authored 7 Tan, Yong Kiam 6 Clarke, Edmund Melson jun. 6 Mitsch, Stefan 5 Sogokon, Andrew 4 Ghorbal, Khalil 4 Quesel, Jan-David 3 Bohrer, Brandon 2 Bohrer, Rose 2 Cordwell, Katherine 2 Fulton, Nathan 2 Krogh, Bruce H. 2 Zuliani, Paolo 1 Aréchiga, Nikos 1 Beckert, Bernhard 1 Bhave, Ajinkya 1 Damm, Werner 1 Deshmukh, Jyotirmoy V. 1 Doyen, Laurent 1 Frehse, Goran 1 Gallicchio, James 1 Gao, Sicun 1 Garlan, David 1 Jackson, Paul B. 1 Jeannin, Jean-Baptiste 1 Kapinski, James 1 Leite, João 1 Loos, Sarah M. 1 Martins, João G. 1 Meyer, Roland 1 Mikschl, Alfred 1 Oehlerking, Jens 1 Olderog, Ernst-Rüdiger 1 Pang, Jun 1 Pappas, George J. 1 Rajhans, Akshay 1 Retschitzegger, Werner 1 Ruchkin, Ivan 1 Rümmer, Philipp 1 Schmerl, Bradley R. 1 Schwinger, Wieland 1 Segelken, Marc 1 Sutcliffe, Geoff 1 Völp, Marcus 1 Wehrheim, Heike 1 Wirtz, Boris all top 5 Serials 4 Formal Methods in System Design 3 Journal of Automated Reasoning 2 ACM Transactions on Computational Logic 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 1 IEEE Transactions on Automatic Control 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Journal of Automata, Languages and Combinatorics 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Computer Languages, Systems & Structures all top 5 Fields 59 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 16 Systems theory; control (93-XX) 13 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Partial differential equations (35-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 52 Publications have been cited 361 times in 154 Documents Cited by ▼ Year ▼ Differential dynamic logic for hybrid systems. Zbl 1181.03035Platzer, André 44 2008 KeYmaera: A hybrid theorem prover for hybrid systems. (System description). Zbl 1165.68469Platzer, André; Quesel, Jan-David 27 2008 Logical foundations of cyber-physical systems. Zbl 1400.93003Platzer, André 22 2018 Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024Platzer, André 20 2010 Computing differential invariants of hybrid systems as fixedpoints. Zbl 1155.68445Platzer, André; Clarke, Edmund M. 17 2008 KeYmaera X: an axiomatic tactical theorem prover for hybrid systems. Zbl 1465.68281Fulton, Nathan; Mitsch, Stefan; Quesel, Jan-David; Völp, Marcus; Platzer, André 17 2015 The complete proof theory of hybrid systems. Zbl 1364.03045Platzer, André 14 2012 A complete uniform substitution calculus for differential dynamic logic. Zbl 1437.03119Platzer, André 12 2017 The image computation problem in hybrid systems model checking. Zbl 1221.93118Platzer, André; Clarke, Edmund M. 11 2007 Verification of hybrid systems. Zbl 1392.68246Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André 10 2018 Logics of dynamical systems. Zbl 1362.68178Platzer, André 10 2012 Real world verification. Zbl 1250.68197Platzer, André; Quesel, Jan-David; Rümmer, Philipp 9 2009 Computing differential invariants of hybrid systems as fixed points. Zbl 1180.93024Platzer, André; Clarke, Edmund M. 8 2009 The structure of differential invariants and differential cut elimination. Zbl 1261.03112Platzer, André 8 2012 Dynamic logic with non-rigid functions. Zbl 1222.03030Beckert, Bernhard; Platzer, André 7 2006 Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 7 2010 Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 7 2013 Differential hybrid games. Zbl 1407.91056Platzer, André 7 2017 Differential equation axiomatization. The impressive power of differential ghosts. Zbl 1453.03026Platzer, André; Tan, Yong Kiam 7 2018 Differential equation invariance axiomatization. Zbl 1494.03079Platzer, André; Tan, Yong Kiam 6 2020 ModelPlex: verified runtime validation of verified cyber-physical system models. Zbl 1380.68282Mitsch, Stefan; Platzer, André 6 2016 Quantified differential dynamic logic for distributed hybrid systems. Zbl 1287.03075Platzer, André 5 2010 Differential dynamic logic for verifying parametric hybrid systems. Zbl 1132.68478Platzer, André 5 2007 Stochastic differential dynamic logic for stochastic hybrid programs. Zbl 1341.68030Platzer, André 5 2011 A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 4 2017 Vector barrier certificates and comparison systems. Zbl 1460.93012Sogokon, Andrew; Ghorbal, Khalil; Tan, Yong Kiam; Platzer, André 4 2018 \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic. Zbl 07178971Bohrer, Brandon; Fernández, Manuel; Platzer, André 4 2019 A method for invariant generation for polynomial continuous systems. Zbl 1475.68194Sogokon, Andrew; Ghorbal, Khalil; Jackson, Paul B.; Platzer, André 4 2016 A uniform substitution calculus for differential dynamic logic. Zbl 1465.03056Platzer, André 4 2015 Differential game logic. Zbl 1367.68201Platzer, André 4 2015 A differential operator approach to equational differential invariants (invited paper). Zbl 1360.68596Platzer, André 4 2012 A hybrid, dynamic logic for hybrid-dynamic information flow. Zbl 1497.68289Bohrer, Brandon; Platzer, André 4 2018 Bellerophon: tactical theorem proving for hybrid systems. Zbl 1483.68191Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André 3 2017 Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris 3 2007 A temporal dynamic logic for verifying hybrid system invariants. Zbl 1132.03338Platzer, André 3 2007 Uniform substitution for differential game logic. Zbl 1508.03044Platzer, André 3 2018 Differential refinement logic. Zbl 1401.68204Loos, Sarah M.; Platzer, André 3 2016 Playing hybrid games with KeYmaera. Zbl 1358.68261Quesel, Jan-David; Platzer, André 3 2012 A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. Zbl 1261.03113Platzer, André 3 2012 An axiomatic approach to existence and liveness for differential equations. Zbl 07395142Tan, Yong Kiam; Platzer, André 2 2021 Change and delay contracts for hybrid system component verification. Zbl 1430.68154Müller, Andreas; Mitsch, Stefan; Retschitzegger, Werner; Schwinger, Wieland; Platzer, André 2 2017 Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, André; Schmerl, Bradley 2 2014 Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Zbl 1320.68024 2 2015 Deductive stability proofs for ordinary differential equations. Zbl 1474.68195Tan, Yong Kiam; Platzer, André 1 2021 Towards physical hybrid systems. Zbl 07178978Cordwell, Katherine; Platzer, André 1 2019 Uniform substitution at one Fell swoop. Zbl 07178990Platzer, André 1 2019 Quantified differential invariants. Zbl 1362.93071Platzer, André 1 2011 A hierarchy of proof rules for checking differential invariance of algebraic sets. Zbl 1432.68262Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 1 2015 dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems. Zbl 1423.68283Jeannin, Jean-Baptiste; Platzer, André 1 2014 Towards a hybrid dynamic logic for hybrid dynamic systems. Zbl 1278.03048Platzer, André 1 2007 Quantifier elimination over finite fields using Gröbner bases. Zbl 1339.68321Gao, Sicun; Platzer, André; Clarke, Edmund M. 1 2011 Constructive game logic. Zbl 1508.03065Bohrer, Rose; Platzer, André 1 2020 An axiomatic approach to existence and liveness for differential equations. Zbl 07395142Tan, Yong Kiam; Platzer, André 2 2021 Deductive stability proofs for ordinary differential equations. Zbl 1474.68195Tan, Yong Kiam; Platzer, André 1 2021 Differential equation invariance axiomatization. Zbl 1494.03079Platzer, André; Tan, Yong Kiam 6 2020 Constructive game logic. Zbl 1508.03065Bohrer, Rose; Platzer, André 1 2020 \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic. Zbl 07178971Bohrer, Brandon; Fernández, Manuel; Platzer, André 4 2019 Towards physical hybrid systems. Zbl 07178978Cordwell, Katherine; Platzer, André 1 2019 Uniform substitution at one Fell swoop. Zbl 07178990Platzer, André 1 2019 Logical foundations of cyber-physical systems. Zbl 1400.93003Platzer, André 22 2018 Verification of hybrid systems. Zbl 1392.68246Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André 10 2018 Differential equation axiomatization. The impressive power of differential ghosts. Zbl 1453.03026Platzer, André; Tan, Yong Kiam 7 2018 Vector barrier certificates and comparison systems. Zbl 1460.93012Sogokon, Andrew; Ghorbal, Khalil; Tan, Yong Kiam; Platzer, André 4 2018 A hybrid, dynamic logic for hybrid-dynamic information flow. Zbl 1497.68289Bohrer, Brandon; Platzer, André 4 2018 Uniform substitution for differential game logic. Zbl 1508.03044Platzer, André 3 2018 A complete uniform substitution calculus for differential dynamic logic. Zbl 1437.03119Platzer, André 12 2017 Differential hybrid games. Zbl 1407.91056Platzer, André 7 2017 A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 4 2017 Bellerophon: tactical theorem proving for hybrid systems. Zbl 1483.68191Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André 3 2017 Change and delay contracts for hybrid system component verification. Zbl 1430.68154Müller, Andreas; Mitsch, Stefan; Retschitzegger, Werner; Schwinger, Wieland; Platzer, André 2 2017 ModelPlex: verified runtime validation of verified cyber-physical system models. Zbl 1380.68282Mitsch, Stefan; Platzer, André 6 2016 A method for invariant generation for polynomial continuous systems. Zbl 1475.68194Sogokon, Andrew; Ghorbal, Khalil; Jackson, Paul B.; Platzer, André 4 2016 Differential refinement logic. Zbl 1401.68204Loos, Sarah M.; Platzer, André 3 2016 KeYmaera X: an axiomatic tactical theorem prover for hybrid systems. Zbl 1465.68281Fulton, Nathan; Mitsch, Stefan; Quesel, Jan-David; Völp, Marcus; Platzer, André 17 2015 A uniform substitution calculus for differential dynamic logic. Zbl 1465.03056Platzer, André 4 2015 Differential game logic. Zbl 1367.68201Platzer, André 4 2015 Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Zbl 1320.68024 2 2015 A hierarchy of proof rules for checking differential invariance of algebraic sets. Zbl 1432.68262Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 1 2015 Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, André; Schmerl, Bradley 2 2014 dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems. Zbl 1423.68283Jeannin, Jean-Baptiste; Platzer, André 1 2014 Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 7 2013 The complete proof theory of hybrid systems. Zbl 1364.03045Platzer, André 14 2012 Logics of dynamical systems. Zbl 1362.68178Platzer, André 10 2012 The structure of differential invariants and differential cut elimination. Zbl 1261.03112Platzer, André 8 2012 A differential operator approach to equational differential invariants (invited paper). Zbl 1360.68596Platzer, André 4 2012 Playing hybrid games with KeYmaera. Zbl 1358.68261Quesel, Jan-David; Platzer, André 3 2012 A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. Zbl 1261.03113Platzer, André 3 2012 Stochastic differential dynamic logic for stochastic hybrid programs. Zbl 1341.68030Platzer, André 5 2011 Quantified differential invariants. Zbl 1362.93071Platzer, André 1 2011 Quantifier elimination over finite fields using Gröbner bases. Zbl 1339.68321Gao, Sicun; Platzer, André; Clarke, Edmund M. 1 2011 Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024Platzer, André 20 2010 Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 7 2010 Quantified differential dynamic logic for distributed hybrid systems. Zbl 1287.03075Platzer, André 5 2010 Real world verification. Zbl 1250.68197Platzer, André; Quesel, Jan-David; Rümmer, Philipp 9 2009 Computing differential invariants of hybrid systems as fixed points. Zbl 1180.93024Platzer, André; Clarke, Edmund M. 8 2009 Differential dynamic logic for hybrid systems. Zbl 1181.03035Platzer, André 44 2008 KeYmaera: A hybrid theorem prover for hybrid systems. (System description). Zbl 1165.68469Platzer, André; Quesel, Jan-David 27 2008 Computing differential invariants of hybrid systems as fixedpoints. Zbl 1155.68445Platzer, André; Clarke, Edmund M. 17 2008 The image computation problem in hybrid systems model checking. Zbl 1221.93118Platzer, André; Clarke, Edmund M. 11 2007 Differential dynamic logic for verifying parametric hybrid systems. Zbl 1132.68478Platzer, André 5 2007 Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris 3 2007 A temporal dynamic logic for verifying hybrid system invariants. Zbl 1132.03338Platzer, André 3 2007 Towards a hybrid dynamic logic for hybrid dynamic systems. Zbl 1278.03048Platzer, André 1 2007 Dynamic logic with non-rigid functions. Zbl 1222.03030Beckert, Bernhard; Platzer, André 7 2006 all cited Publications top 5 cited Publications all top 5 Cited by 353 Authors 24 Platzer, André 10 Zhan, Naijun 5 Cimatti, Alessandro 5 Madeira, Alexandre 5 Sogokon, Andrew 5 Tan, Yong Kiam 5 Wang, Shuling 4 Ábrahám, Erika 4 Boreale, Michele 4 Damm, Werner 4 Hasuo, Ichiro 4 Martins, Manuel António 4 Mitsch, Stefan 3 Chen, Mingshuai 3 Davenport, James Harold 3 England, Matthew 3 Ghorbal, Khalil 3 Griggio, Alberto 3 Katoen, Joost-Pieter 3 Mancini, Toni 3 Mari, Federico 3 Massini, Annalisa 3 Melatti, Igor 3 Quesel, Jan-David 3 Talpin, Jean-Pierre 3 Tonetta, Stefano 3 Tronci, Enrico 3 Wang, Qiuye 3 Zhan, Bohua 3 Zhao, Hengjun 2 Abate, Alessandro 2 Abbott, John A. 2 Banach, Richard 2 Becker, Bernd 2 Benevides, Mario R. F. 2 Bigatti, Anna Maria 2 Bohrer, Rose 2 Bournez, Olivier 2 Brain, Martin 2 Bubel, Richard 2 Buchberger, Bruno 2 Chen, Taolue 2 Clarke, Edmund Melson jun. 2 Cordwell, Katherine 2 Dierks, Henning 2 Disch, Stefan 2 Duracz, Adam 2 Falcone, Alberto 2 Fontaine, Pascal 2 Forrest, Stephen 2 Garro, Alfredo 2 Gorrieri, Roberto 2 Hähnle, Reiner 2 Huerta y Munive, Jonathan Julián 2 Johnson, Taylor T. 2 Knapp, Alexander 2 Kröning, Daniel 2 Kupferschmid, Stefan 2 Kwiatkowska, Marta Z. 2 Lin, Wang 2 Matringe, Nadir 2 Moura, Arnaldo Vieira 2 Mover, Sergio 2 Mukhametzhanov, Marat S. 2 Pigorsch, Florian 2 Pnueli, Amir 2 Raffo, Guilherme V. 2 Raimondo, Davide Martino 2 Rebiha, Rachid 2 Rego, Brenner S. 2 Scholl, Christoph 2 Schupp, Stefan 2 Scott, Joseph K. 2 Seiler, Werner M. 2 Sergeev, Yaroslav Dmitrievich 2 Struth, Georg 2 Sturm, Thomas 2 Suenaga, Kohei 2 Taha, Walid 2 Weiss, Benjamin 2 Wu, Jinzhao 2 Wu, Min 2 Xia, Bican 2 Xu, Xiong 2 Xue, Bai 2 Yang, Zhengfeng 2 Zhu, Huibiao 1 Abdallah, Chaouki Tanios 1 Ahmed, Daniele 1 Ahrendt, Wolfgang 1 Ait-Ameur, Yamine 1 Akino, Toshiaki Koike 1 Ames, Aaron D. 1 André, Étienne 1 Appel, Andrew W. 1 Apt, Krzysztof Rafal 1 Arcaini, Paolo 1 Aréchiga, Nikos 1 Armstrong, Robert C. 1 Avigad, Jeremy ...and 253 more Authors all top 5 Cited in 32 Serials 11 Formal Aspects of Computing 9 Formal Methods in System Design 7 Information and Computation 6 Automatica 6 Theoretical Computer Science 6 Journal of Automated Reasoning 5 Journal of Logical and Algebraic Methods in Programming 3 Science of Computer Programming 3 Nonlinear Analysis. Hybrid Systems 2 Information Processing Letters 2 Journal of Symbolic Computation 1 ACM Computing Surveys 1 Physica A 1 Applied Mathematics and Computation 1 International Journal of Approximate Reasoning 1 Machine Learning 1 Discrete Event Dynamic Systems 1 International Journal of Robust and Nonlinear Control 1 Archives of Control Sciences 1 The Journal of Artificial Intelligence Research (JAIR) 1 Mathematical Problems in Engineering 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Logica Universalis 1 Logical Methods in Computer Science 1 ACM Communications in Computer Algebra 1 Science China. Information Sciences 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 23 Fields 128 Computer science (68-XX) 46 Mathematical logic and foundations (03-XX) 43 Systems theory; control (93-XX) 9 Ordinary differential equations (34-XX) 5 Operations research, mathematical programming (90-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Numerical analysis (65-XX) 3 Commutative algebra (13-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Statistics (62-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year