Husain Aljazzar

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j2		Husain Aljazzar, Stefan Leue: K^⁎: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175(18): 2129-2154 (2011)
c7		Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov: DiPro - A Tool for Probabilistic Counterexample Generation. SPIN 2011: 183-187
	2010
j1		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
b1		Husain Aljazzar: Directed diagnostics of system dependability models. University of Konstanz 2009
c6		Husain Aljazzar, Stefan Leue: Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST 2009: 197-206
c5		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
	2008
c4		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
c3		Husain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198
	2006
c2		Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51
	2005
c1		Husain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195

Coauthor Index

Last update Sat May 25 05:48:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page