|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Husain Aljazzar, Stefan Leue |
K⁎: A heuristic search algorithm for finding the k shortest paths.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov |
DiPro - A Tool for Probabilistic Counterexample Generation. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar |
Directed diagnostics of system dependability models. |
|
2009 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis |
| 1 | Husain Aljazzar, Stefan Leue |
Generation of Counterexamples for Model Checking of Markov Decision Processes. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Stochastic Model Checking, $k$-Shortest-Paths Search, K$^*$, Markov Decision Processes, Counterexamples, Directed Search |
| 1 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Extended Directed Search for Probabilistic Timed Reachability. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Holger Hermanns, Stefan Leue |
Counterexamples for Timed Probabilistic Reachability. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")