The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Kuntz" ( http://dblp.L3S.de/Authors/Matthias_Kuntz )

  Author page on DBLP  Author page in RDF  Community of Matthias Kuntz in ASPL-2

Publication years (Num. hits)
2002-2009 (15) 2010-2019 (8)
Publication types (Num. hits)
article(6) inproceedings(16) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 24 publication records. Showing 23 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Safety analysis for vehicle guidance systems with dynamic fault trees. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Model-Based Safety Analysis for Vehicle Guidance Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. Search on Bibsonomy FTSCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue From Probabilistic Counterexamples via Causality to Fault Trees. Search on Bibsonomy SAFECOMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga Evaluating repair strategies for a water-treatment facility using Arcade. Search on Bibsonomy DSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Stefan Leue, Christoph Scheben Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. Search on Bibsonomy QUOVADIS@ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis
1Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga Architectural dependability evaluation with Arcade. Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle Model Checking Markov Chains with Actions and State Labels. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, Markov processes, automata, Protocol verification, performance of systems
1Matthias Kuntz, Gerrit Fiol, Matthias Laemmlin, Christian Meuer, Dieter Bimberg High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Boudewijn R. Haverkort Faster SPDL Model Checking Through Property-Driven State Space Generation. Search on Bibsonomy EPEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Markus Siegle Symbolic Model Checking of Stochastic Systems: Theory and Implementation. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
1Matthias Kuntz, Markus Siegle CASPA: Symbolic model checking of stochastic systems. Search on Bibsonomy MMB The full citation details ... 2006 DBLP  BibTeX  RDF
1Matthias Kuntz Symbolic semantics and verification of stochastic process algebras. Search on Bibsonomy 2006   RDF
1Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin Quantum dot photonic devices for lightwave communication. Search on Bibsonomy Microelectronics Journal The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Markus Siegle, Edith Werner Symbolic Performance and Dependability Evaluation with the Tool CASPA. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle Model Checking Action- and State-Labelled Markov Chains. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Kai Lampka Probabilistic Methods in State Space Analysis. Search on Bibsonomy Validation of Stochastic Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Markus Siegle Deriving Symbolic Representations from Stochastic Process Algebras. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license