| K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011 | 169 | 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 | 93 | 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 | 75 | 2009 |
| Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue FORMATS 3829, 177-195, 2005 | 56 | 2005 |
| Survey on directed model checking S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar Model Checking and Artificial Intelligence: 5th International Workshop …, 2009 | 54 | 2009 |
| Extended directed search for probabilistic timed reachability H Aljazzar, S Leue Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006 | 52 | 2006 |
| DiPro-A Tool for Probabilistic Counterexample Generation. H Aljazzar, F Leitner-Fischer, S Leue, D Simeonov Spin, 183-187, 2011 | 45 | 2011 |
| Debugging of dependability models using interactive visualization of counterexamples H Aljazzar, S Leue 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 44 | 2008 |
| Generation of counterexamples for model checking of Markov decision processes H Aljazzar, S Leue 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 41 | 2009 |
| K∗: A directed on-the-fly algorithm for finding the k shortest paths H Aljazzar, S Leue | 19 | 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 | 14 | 2010 |
| Counterexamples for model checking of markov decision processes H Aljazzar, S Leue | 13 | 2007 |
| Directed diagnostics of system dependability models H Aljazzar | 8 | 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 |
