| |
| 2008 | ||
|---|---|---|
| 3 | EE | André Platzer, Jan-David Quesel: Logical Verification and Systematic Parametric Analysis in Train Control. HSCC 2008: 646-649 |
| 2 | EE | André Platzer, Jan-David Quesel: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). IJCAR 2008: 171-178 |
| 2006 | ||
| 1 | EE | Jan-David Quesel, Andreas Schäfer: Spatio-temporal Model Checking for Mobile Real-Time Systems. ICTAC 2006: 347-361 |
| 1 | André Platzer | [2] [3] |
| 2 | Andreas Schäfer | [1] |