Husain Aljazzar

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

University of Konstanz (PHD)

Education History

University of Konstanz

PHD

Publications

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
DiPro - A Tool for Probabilistic Counterexample Generation. SPIN (2011)
Husain Aljazzar, Stefan Leue
: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175 (18) (2011)
Husain Aljazzar, Stefan Leue
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng. 36 (1) (2010)
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE (2010)
Husain Aljazzar, Stefan Leue
Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST (2009)
Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST (2009)
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
Survey on Directed Model Checking. MoChArt (2008)
Husain Aljazzar, Stefan Leue
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST (2008)
Husain Aljazzar, Stefan Leue
Extended Directed Search for Probabilistic Timed Reachability. FORMATS (2006)
Husain Aljazzar, Holger Hermanns, Stefan Leue
Counterexamples for Timed Probabilistic Reachability. FORMATS (2005)