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