Husain Aljazzar
Husain Aljazzar
Unknown affiliation
Verified email at aljazzar.de
Title
Cited by
Cited by
Year
K⁎: A heuristic search algorithm for finding the k shortest paths
H Aljazzar, S Leue
Artificial Intelligence 175 (18), 2129-2154, 2011
1232011
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
712009
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
662009
Counterexamples for timed probabilistic reachability
H Aljazzar, H Hermanns, S Leue
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
502005
Extended directed search for probabilistic timed reachability
H Aljazzar, S Leue
International Conference on Formal Modeling and Analysis of Timed Systems, 33-51, 2006
472006
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
462008
Dipro-a tool for probabilistic counterexample generation
H Aljazzar, F Leitner-Fischer, S Leue, D Simeonov
International SPIN Workshop on Model Checking of Software, 183-187, 2011
352011
Generation of counterexamples for model checking of Markov decision processes
H Aljazzar, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
352009
Debugging of dependability models using interactive visualization of counterexamples
H Aljazzar, S Leue
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
352008
K∗: A directed on-the-fly algorithm for finding the k shortest paths
H Aljazzar, S Leue
152008
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
132010
Counterexamples for model checking of markov decision processes
H Aljazzar, S Leue
122007
Survey on Directed Model Checking, Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and …
S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar
Springer-Verlag, Berlin, Heidelberg, 2009
112009
Directed diagnostics of system dependability models
H Aljazzar
82009
Survey on directed model checking
A Fehnker, S Edelkamp, V Schuppan, D Bosnaki, A Wijs, H Aljazzar
MoChart 2008, 2009
22009
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
ARE ENGINEERING
J Kramer, C Ye, SC Cheung, WK Chan, C Xu, S Elbaum, HN Chin, ...
2009
The system can't perform the operation now. Try again later.
Articles 1–19