Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Croatia
1 × Czech Republic
1 × France
1 × India
1 × Ireland
1 × Poland
1 × Singapore
1 × The Netherlands
2 × Germany
2 × United Kingdom
3 × USA
Collaborated with:∅ J.Quesel K.Ghorbal E.M.Clarke S.Mitsch A.Sogokon J.Jeannin B.Bohrer B.Beckert K.Cordwell S.M.Loos L.Nistor P.Rümmer M.Fernández N.Fulton M.Völp A.M.0015 W.Retschitzegger W.Schwinger Y.K.Tan M.O.Myreen Y.Kouskoulas R.Gardner A.Schmidt E.Zawadzki
Talks about:system (15) hybrid (15) logic (11) differenti (10) dynam (7) invari (5) verifi (4) verif (4) substitut (3) uniform (3)
Person: André Platzer
DBLP: Platzer:Andr=eacute=
Contributed to:
2015
2015
2015
2014
2014
201420142012
20122011
20112011
201020092009200820082006
2017201620182019
2018Wrote 27 papers:
- CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
- CADE-2015-Platzer #calculus #difference #logic
- A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.
- TACAS-2015-JeanninGKGSZP #hybrid
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
- VMCAI-2015-GhorbalSP #algebra #difference #proving #set
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
- FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
- Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
- IJCAR-2014-JeanninP #difference #hybrid #logic #named
- dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
- SAS-2014-GhorbalSP #algebra #difference #equation #polynomial
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
- TACAS-2014-GhorbalP #algebra #difference #invariant
- Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
- IJCAR-2012-QueselP #game studies #hybrid
- Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
- LICS-2012-Platzer #logic
- Logics of Dynamical Systems (AP), pp. 13–24.
- LICS-2012-Platzer12a #hybrid #proving
- The Complete Proof Theory of Hybrid Systems (AP), pp. 541–550.
- CADE-2011-Platzer #difference #hybrid #logic #probability #source code
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
- CAV-2011-Platzer #composition #hybrid #logic #verification
- Logic and Compositional Verification of Hybrid Systems — (AP), pp. 28–43.
- FM-2011-LoosPN #adaptation #distributed #hybrid
- Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
- CSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
- CADE-2009-PlatzerQR #verification
- Real World Verification (AP, JDQ, PR), pp. 485–501.
- FM-2009-PlatzerC #case study #verification
- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.
- CAV-2008-PlatzerC #difference #hybrid #invariant
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
- IJCAR-2008-PlatzerQ #hybrid #named #proving #theorem proving
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (AP, JDQ), pp. 171–178.
- IJCAR-2006-BeckertP #logic
- Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.
- FASE-2017-0002MRSP #component #contract #hybrid #verification
- Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
- IJCAR-2016-Platzer #cyber-physical #logic #proving
- Logic & Proofs for Cyber-Physical Systems (AP), pp. 15–21.
- IJCAR-2018-Platzer #difference #game studies #logic
- Uniform Substitution for Differential Game Logic (AP), pp. 211–227.
- CADE-2019-BohrerFP #difference #logic #named
- dLι: Definite Descriptions in Differential Dynamic Logic (BB, MF, AP), pp. 94–110.
- CADE-2019-CordwellP #hybrid #physics #towards
- Towards Physical Hybrid Systems (KC, AP), pp. 216–232.
- CADE-2019-Platzer
- Uniform Substitution at One Fell Swoop (AP), pp. 425–441.
- PLDI-2018-BohrerTMMP #bytecode #cyber-physical #modelling #named
- VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.