Stefan Leue

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Husain Aljazzar

> Home > Persons > Stefan Leue

Publications

2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AljazzarL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AljazzarL11
Husain Aljazzar, Stefan Leue:
K^⁎: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175(18): 2129-2154 (2011)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AljazzarLLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AljazzarLLS11
Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov:
DiPro - A Tool for Probabilistic Counterexample Generation. SPIN 2011: 183-187
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AljazzarL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AljazzarL10
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)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AljazzarKLL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AljazzarKLL10
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE 2010: 25-32
2009
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AljazzarL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AljazzarL09
Husain Aljazzar, Stefan Leue:
Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST 2009: 197-206
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AljazzarFGKLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AljazzarFGKLL09
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
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AljazzarL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AljazzarL08
Husain Aljazzar, Stefan Leue:
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198
2006
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AljazzarL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AljazzarL06
Husain Aljazzar, Stefan Leue:
Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51
2005
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AljazzarHL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AljazzarHL05
Husain Aljazzar, Holger Hermanns, Stefan Leue:
Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.