Husain Aljazzar Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

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