 | 2009 |
|---|
| 17 |       | André Platzer,
Jan-David Quesel,
Philipp Rümmer:
Real World Verification.
CADE 2009: 485-501 |
| 16 | | 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 |
| 15 | | André Platzer,
Edmund M. Clarke:
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study.
FM 2009: 547-562 |
| 14 | | André Platzer,
Jan-David Quesel:
European Train Control System: A Case Study in Formal Verification.
ICFEM 2009: 246-265 |
| 2008 |
|---|
| 13 | | André Platzer,
Edmund M. Clarke:
Computing Differential Invariants of Hybrid Systems as Fixedpoints.
CAV 2008: 176-189 |
| 12 | | André Platzer,
Jan-David Quesel:
Logical Verification and Systematic Parametric Analysis in Train Control.
HSCC 2008: 646-649 |
| 11 | | André Platzer,
Jan-David Quesel:
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).
IJCAR 2008: 171-178 |
| 10 | | André Platzer:
Differential Dynamic Logic for Hybrid Systems.
J. Autom. Reasoning 41(2): 143-189 (2008) |
| 2007 |
|---|
| 9 | | 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 |
| 8 | | André Platzer,
Edmund M. Clarke:
The Image Computation Problem in Hybrid Systems Model Checking.
HSCC 2007: 473-486 |
| 7 | | André Platzer:
Differential Logic for Reasoning About Hybrid Systems.
HSCC 2007: 746-749 |
| 6 | | André Platzer:
A Temporal Dynamic Logic for Verifying Hybrid System Invariants.
LFCS 2007: 457-471 |
| 5 | | André Platzer:
Differential Dynamic Logic for Verifying Parametric Hybrid Systems.
TABLEAUX 2007: 216-232 |
| 4 | | André Platzer:
Combining Deduction and Algebraic Constraints for Hybrid System Analysis.
VERIFY 2007 |
| 3 | | André Platzer:
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.
Electr. Notes Theor. Comput. Sci. 174(6): 63-77 (2007) |
| 2 | | Stephanie Kemper,
André Platzer:
SAT-based Abstraction Refinement for Real-time Systems.
Electr. Notes Theor. Comput. Sci. 182: 107-122 (2007) |
| 2006 |
|---|
| 1 | | Bernhard Beckert,
André Platzer:
Dynamic Logic with Non-rigid Functions.
IJCAR 2006: 266-280 |
