Husain Aljazzar

	2011
10		Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov: DiPro - A Tool for Probabilistic Counterexample Generation. SPIN 2011: 183-187
9		Husain Aljazzar, Stefan Leue: K⁎: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175(18): 2129-2154 (2011)
	2010
8		Husain Aljazzar, Stefan Leue: Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng. 36(1): 37-60 (2010)
	2009
7		Husain Aljazzar, Stefan Leue: Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST 2009: 197-206
6		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: 299-308
5		Husain Aljazzar: Directed diagnostics of system dependability models. University of Konstanz 2009
	2008
4		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
3		Husain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198
	2006
2		Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51
	2005
1		Husain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195

Coauthor Index

1	Dragan Bosnacki	[4]
2	Stefan Edelkamp	[4]
3	Ansgar Fehnker	[4]
4	Manuel Fischer	[6]
5	Lars Grunske	[6]
6	Holger Hermanns	[1]
7	Matthias Kuntz	[6]
8	Florian Leitner-Fischer	[6] [10]
9	Stefan Leue	[1] [2] [3] [6] [7] [8] [9] [10]
10	Viktor Schuppan	[4]
11	Dimitar Simeonov	[10]
12	Anton Wijs	[4]

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page