|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
From Probabilistic Counterexamples via Causality to Fault Trees.  |
SAFECOMP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga |
Evaluating repair strategies for a water-treatment facility using Arcade. |
DSN |
2010 |
DBLP DOI BibTeX 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 | Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol |
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
Architectural dependability evaluation with Arcade. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Markov Chains with Actions and State Labels. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
model checking, Markov processes, automata, Protocol verification, performance of systems |
| 1 | Matthias Kuntz, Boudewijn R. Haverkort |
Faster SPDL Model Checking Through Property-Driven State Space Generation. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz |
Symbolic semantics and verification of stochastic process algebras. |
|
2006 |
RDF |
|
| 1 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
| 1 | Matthias Kuntz, Markus Siegle |
CASPA: Symbolic model checking of stochastic systems. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin |
Quantum dot photonic devices for lightwave communication. |
Microelectronics Journal |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Markus Siegle, Edith Werner |
Symbolic Performance and Dependability Evaluation with the Tool CASPA. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Kai Lampka |
Probabilistic Methods in State Space Analysis. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Action- and State-Labelled Markov Chains. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Markus Siegle |
Deriving Symbolic Representations from Stochastic Process Algebras. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")