| 2008 | ||
|---|---|---|
| 3 | EE | Husain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198 |
| 2006 | ||
| 2 | EE | Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51 |
| 2005 | ||
| 1 | EE | Husain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195 |
| 1 | Holger Hermanns | [1] |
| 2 | Stefan Leue | [1] [2] [3] |