Follow
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
1872011
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
952009
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
752009
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
562008
Counterexamples for timed probabilistic reachability
H Aljazzar, H Hermanns, S Leue
Formal Modeling and Analysis of Timed Systems: Third International …, 2005
552005
Extended directed search for probabilistic timed reachability
H Aljazzar, S Leue
International Conference on Formal Modeling and Analysis of Timed Systems, 33-51, 2006
532006
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
482011
Debugging of dependability models using interactive visualization of counterexamples
H Aljazzar, S Leue
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
472008
Generation of counterexamples for model checking of Markov decision processes
H Aljazzar, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
432009
K∗: A directed on-the-fly algorithm for finding the k shortest paths
H Aljazzar, S Leue
202008
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
Directed diagnostics of system dependability models
H Aljazzar
92009
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
The system can't perform the operation now. Try again later.
Articles 1–17