Husain Aljazzar

According to our database, Husain Aljazzar authored at least 11 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

K^⁎: A heuristic search algorithm for finding the k shortest paths.

Husain Aljazzar, Stefan Leue

Artif. Intell., 2011

DiPro - A Tool for Probabilistic Counterexample Generation.

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov

Proceedings of the Model Checking Software, 2011

2010

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.

Husain Aljazzar, Stefan Leue

IEEE Trans. Software Eng., 2010

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

2009

Directed diagnostics of system dependability models.

Husain Aljazzar

PhD thesis, 2009

Generation of Counterexamples for Model Checking of Markov Decision Processes.

Husain Aljazzar, Stefan Leue

Proceedings of the QEST 2009, 2009

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.

Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the QEST 2009, 2009

2008

Debugging of Dependability Models Using Interactive Visualization of Counterexamples.

Husain Aljazzar, Stefan Leue

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Survey on Directed Model Checking.

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2006

Extended Directed Search for Probabilistic Timed Reachability.

Husain Aljazzar, Stefan Leue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

Counterexamples for Timed Probabilistic Reachability.

Husain Aljazzar, Holger Hermanns, Stefan Leue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005