The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Volk 0001" ( http://dblp.L3S.de/Authors/Matthias_Volk_0001 )

URL (Homepage):  https://moves.rwth-aachen.de/people/volk/  Author page on DBLP  Author page in RDF  Community of Matthias Volk 0001 in ASPL-2

Publication years (Num. hits)
2012-2018 (16) 2019 (5)
Publication types (Num. hits)
article(10) inproceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 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
1Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 Parameter Synthesis for Markov Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matthias Volk 0001, Norman Weik, Joost-Pieter Katoen, Nils Nießen A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. Search on Bibsonomy FMICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yassmeen Elderhalli, Matthias Volk 0001, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar Formal Verification of Rewriting Rules for Dynamic Fault Trees. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Fast Dynamic Fault Tree Analysis by Model Checking Techniques. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A Storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  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
1Saba Aflaki, Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Search on Bibsonomy SRDS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Advancing Dynamic Fault Tree Analysis. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 The Probabilistic Model Checker Storm (Extended Abstract). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (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