Counterexamples for Timed Probabilistic Reachability. - Husain Aljazzar; Holger Hermanns; Stefan Leue (FORMATS, 2005)

Extended Directed Search for Probabilistic Timed Reachability. - Husain Aljazzar; Stefan Leue (FORMATS, 2006)

Survey on Directed Model Checking. - Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar (MoChArt, 2008)

Debugging of Dependability Models Using Interactive Visualization of Counterexamples. - Husain Aljazzar; Stefan Leue (QEST, 2008)

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 (QEST, 2009)

Generation of Counterexamples for Model Checking of Markov Decision Processes. - Husain Aljazzar; Stefan Leue (QEST, 2009)

Directed diagnostics of system dependability models. - Husain Aljazzar (2009)

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. - Husain Aljazzar; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QUOVADIS@ICSE, 2010)

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. - Husain Aljazzar; Stefan Leue (IEEE Trans. Software Eng., 2010)

DiPro - A Tool for Probabilistic Counterexample Generation. - Husain Aljazzar; Florian Leitner-Fischer; Stefan Leue; Dimitar Simeonov (SPIN, 2011)

K⁎: A heuristic search algorithm for finding the k shortest paths. - Husain Aljazzar; Stefan Leue (Artif. Intell., 2011)