Search the dblp DataBase

Publications of Author

1. Husain Aljazzar, Holger Hermanns, Stefan Leue
   Counterexamples for Timed Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2005, pp:177-195 [Conf]
   
2. Husain Aljazzar, Stefan Leue
   Extended Directed Search for Probabilistic Timed Reachability. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:33-51 [Conf]
   
3. 
   Debugging of Dependability Models Using Interactive Visualization of Counterexamples. [Citation Graph (, )][DBLP]
   
   
4. 
   Generation of Counterexamples for Model Checking of Markov Decision Processes. [Citation Graph (, )][DBLP]
   
   
5. 
   Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. [Citation Graph (, )][DBLP]
   
   
6. 
   Survey on Directed Model Checking. [Citation Graph (, )][DBLP]