| 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 |
