![]() | ![]() |
2008 | ||
---|---|---|
4 | EE | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89 |
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 | Dragan Bosnacki | [4] |
2 | Stefan Edelkamp | [4] |
3 | Ansgar Fehnker | [4] |
4 | Holger Hermanns | [1] |
5 | Stefan Leue | [1] [2] [3] |
6 | Viktor Schuppan | [4] |
7 | Anton Wijs | [4] |