| K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011 | 201 | 2011 |
| Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples H Aljazzar, M Fischer, L Grunske, M Kuntz, F Leitner-Fischer, S Leue 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 96 | 2009 |
| Directed explicit state-space search in the generation of counterexamples for stochastic model checking H Aljazzar, S Leue IEEE Transactions on Software Engineering 36 (1), 37-60, 2009 | 79 | 2009 |
| Survey on directed model checking S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar International Workshop on Model Checking and Artificial Intelligence, 65-89, 2008 | 59 | 2008 |
| Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue Formal Modeling and Analysis of Timed Systems: Third International …, 2005 | 55 | 2005 |
| Extended directed search for probabilistic timed reachability H Aljazzar, S Leue International Conference on Formal Modeling and Analysis of Timed Systems, 33-51, 2006 | 53 | 2006 |
| Dipro-a tool for probabilistic counterexample generation H Aljazzar, F Leitner-Fischer, S Leue, D Simeonov Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA …, 2011 | 50 | 2011 |
| Generation of counterexamples for model checking of Markov decision processes H Aljazzar, S Leue 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 48 | 2009 |
| Debugging of dependability models using interactive visualization of counterexamples H Aljazzar, S Leue 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 47 | 2008 |
| K∗: A directed on-the-fly algorithm for finding the k shortest paths H Aljazzar, S Leue | 20 | 2008 |
| Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation H Aljazzar, M Kuntz, F Leitner-Fischer, S Leue Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in …, 2010 | 13 | 2010 |
| Counterexamples for model checking of markov decision processes H Aljazzar, S Leue | 12 | 2007 |
| Directed diagnostics of system dependability models H Aljazzar | 9 | 2009 |
| Survey on directed model checking A Fehnker, S Edelkamp, V Schuppan, D Bosnaki, A Wijs, H Aljazzar MoChart 2008, 2009 | 2 | 2009 |
| 2010 Index IEEE Transactions on Software Engineering Vol. 36 S Ali, H Aljazzar, K Anastasakis, J Antunes, E Arisholm, S Artzi, GK Baah, ... IEEE Transactions on Software Engineering 36 (6), 1, 2010 | | 2010 |
| ARE ENGINEERING J Kramer, B Nuseibeh, S Horwotiz, B Liblit, M Polishchuk, N Moha, ... | | 2010 |
| K*: heuristics-guided, on-the-fly k shortest paths search H Aljazzar, S Leue | | 2010 |