André Platzer

Sarah M. Loos, David W. Renshaw, André Platzer: Formal verification of distributed aircraft controllers. HSCC 2013: 125-130

Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides: Certifying the safe design of a virtual fixture control algorithm for a surgical robot. HSCC 2013: 263-272

André Platzer: A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems. Logical Methods in Computer Science 8(4) (2012)

Jan-David Quesel, André Platzer: Playing Hybrid Games with KeYmaera. IJCAR 2012: 439-453

André Platzer: Logical Analysis of Hybrid Systems - A Complete Answer to a Complexity Challenge. DCFS 2012: 43-49

Stefan Mitsch, Sarah M. Loos, André Platzer: Towards Formal Verification of Freeway Traffic Control. ICCPS 2012: 171-180

André Platzer: A Differential Operator Approach to Equational Differential Invariants - (Invited Paper). ITP 2012: 28-48

André Platzer: Logics of Dynamical Systems. LICS 2012: 13-24

André Platzer: The Complete Proof Theory of Hybrid Systems. LICS 2012: 541-550

David Henriques, João Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke: Statistical Model Checking for Markov Decision Processes. QEST 2012: 84-93

André Platzer: Dynamic Logics of Dynamical Systems. CoRR abs/1205.4788 (2012)

André Platzer: The Structure of Differential Invariants and Differential Cut Elimination. Logical Methods in Computer Science 8(4) (2011)

Erik Zawadzki, Geoffrey J. Gordon, André Platzer: An Instantiation-Based Theorem Prover for First-Order Programming. Journal of Machine Learning Research - Proceedings Track 15: 855-863 (2011)

André Platzer: Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs. CADE 2011: 446-460

Sicun Gao, André Platzer, Edmund M. Clarke: Quantifier Elimination over Finite Fields Using Gröbner Bases. CAI 2011: 140-157

André Platzer: Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). CAV 2011: 28-43

Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan: Using parameters in architectural views to support heterogeneous design and verification. CDC-ECE 2011: 2705-2710

Sarah M. Loos, André Platzer, Ligia Nistor: Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. FM 2011: 42-56

André Platzer: Quantified differential invariants. HSCC 2011: 63-72

João Martins, André Platzer, João Leite: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146

David W. Renshaw, Sarah M. Loos, André Platzer: Distributed Theorem Proving for Distributed Hybrid Systems. ICFEM 2011: 356-371

Sicun Gao, André Platzer, Edmund M. Clarke: Quantifier Elimination over Finite Fields Using Gröbner Bases. CoRR abs/1104.0746 (2011)

André Platzer: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer 2010, isbn 978-3-642-14508-7, pp. I-XXX, 1-426

André Platzer: Differential Dynamic Logics. KI 24(1): 75-77 (2010)

André Platzer: Differential-algebraic Dynamic Logic for Differential-algebraic Programs. J. Log. Comput. 20(1): 309-352 (2010)

André Platzer: Quantified Differential Dynamic Logic for Distributed Hybrid Systems. CSL 2010: 469-483

Paolo Zuliani, André Platzer, Edmund M. Clarke: Bayesian statistical model checking with application to Simulink/Stateflow verification. HSCC 2010: 243-252

André Platzer: Verification of Cyberphysical Transportation Systems. IEEE Intelligent Systems 24(4): 10-13 (2009)

André Platzer, Edmund M. Clarke: Computing differential invariants of hybrid systems as fixedpoints. Formal Methods in System Design 35(1): 98-120 (2009)

André Platzer, Jan-David Quesel, Philipp Rümmer: Real World Verification. CADE 2009: 485-501

Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani: A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234

André Platzer, Edmund M. Clarke: Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. FM 2009: 547-562

André Platzer, Jan-David Quesel: European Train Control System: A Case Study in Formal Verification. ICFEM 2009: 246-265

André Platzer: Differential Dynamic Logic for Hybrid Systems. J. Autom. Reasoning 41(2): 143-189 (2008)

André Platzer, Jan-David Quesel: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). IJCAR 2008: 171-178

André Platzer, Edmund M. Clarke: Computing Differential Invariants of Hybrid Systems as Fixedpoints. CAV 2008: 176-189

André Platzer: Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems. Ausgezeichnete Informatikdissertationen 2008: 191-200

André Platzer, Jan-David Quesel: Logical Verification and Systematic Parametric Analysis in Train Control. HSCC 2008: 646-649

André Platzer: Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. Electr. Notes Theor. Comput. Sci. 174(6): 63-77 (2007)

Stephanie Kemper, André Platzer: SAT-based Abstraction Refinement for Real-time Systems. Electr. Notes Theor. Comput. Sci. 182: 107-122 (2007)

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169

André Platzer: Combining Deduction and Algebraic Constraints for Hybrid System Analysis. VERIFY 2007

André Platzer, Edmund M. Clarke: The Image Computation Problem in Hybrid Systems Model Checking. HSCC 2007: 473-486

André Platzer: Differential Logic for Reasoning About Hybrid Systems. HSCC 2007: 746-749

André Platzer: A Temporal Dynamic Logic for Verifying Hybrid System Invariants. LFCS 2007: 457-471

André Platzer: Differential Dynamic Logic for Verifying Parametric Hybrid Systems. TABLEAUX 2007: 216-232

Bernhard Beckert, André Platzer: Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280