![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Matthias Volk 0001
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
- affiliation (former): University of Twente, The Netherlands
- affiliation (former): RWTH Aachen University, Germany
Other persons with the same name
- Matthias Volk
- Matthias Volk 0002
— Otto-von-Guericke-Universität Magedeburg, Germany
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen
, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
:
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62(1): 181-259 (2024) - [c22]Thom S. Badings
, Matthias Volk
, Sebastian Junges
, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [e1]Frédéric Lang, Matthias Volk
:
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 399, 2024 [contents] - [i13]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i12]Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
Tools at the Frontiers of Quantitative Verification. CoRR abs/2405.13583 (2024) - 2023
- [c21]Reza Soltani
, Matthias Volk
, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS 2023: 205-223 - [c20]Caz Saaltink, Stefano M. Nicoletti
, Matthias Volk
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS 2023: 48-59 - [c19]Joshua Jeppson
, Matthias Volk
, Bryant Israelsen
, Riley Roberts
, Andrew Williams
, Lukas Buecherl
, Chris J. Myers
, Hao Zheng
, Chris Winstead
, Zhen Zhang
:
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST 2023: 101-109 - 2022
- [j5]Matthias Volk
, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki:
Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. 35(1): 37-57 (2022) - [j4]Norman Weik
, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
:
DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. 24(3): 331-350 (2022) - [j3]Christian Hensel, Sebastian Junges
, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
:
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022) - [c18]Thom S. Badings
, Nils Jansen
, Sebastian Junges
, Mariëlle Stoelinga
, Matthias Volk
:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [c17]Daniel Basgöze, Matthias Volk
, Joost-Pieter Katoen
, Shahid Khan
, Mariëlle Stoelinga
:
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM 2022: 713-732 - [c16]Lisandro Arturo Jimenez-Roa
, Matthias Volk
, Mariëlle Stoelinga
:
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. SAFECOMP 2022: 46-61 - [i11]Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga:
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR abs/2202.02829 (2022) - [i10]Thom S. Badings, Nils Jansen
, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022) - 2021
- [c15]Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou:
Model Checking the Multi-Formalism Language FIGARO. DSN 2021: 463-470 - [c14]Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher:
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. LADC 2021: 1-10 - [c13]Shahid Khan
, Joost-Pieter Katoen
, Matthias Volk
, Marc Bouissou
:
Scalable Reliability Analysis by Lazy Verification. NFM 2021: 180-197 - 2020
- [i9]Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The Probabilistic Model Checker Storm. CoRR abs/2002.07080 (2020)
2010 – 2019
- 2019
- [j2]Majdi Ghadhab, Sebastian Junges
, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
:
Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186: 37-50 (2019) - [c12]Matthias Volk
, Norman Weik
, Joost-Pieter Katoen, Nils Nießen
:
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. FMICS 2019: 40-58 - [c11]Shahid Khan
, Joost-Pieter Katoen, Matthias Volk
, Marc Bouissou
:
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. PRDC 2019: 266-275 - [c10]Yassmeen Elderhalli, Matthias Volk
, Osman Hasan
, Joost-Pieter Katoen, Sofiène Tahar:
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM 2019: 513-531 - [i8]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR abs/1903.05361 (2019) - [i7]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019) - 2018
- [j1]Matthias Volk
, Sebastian Junges
, Joost-Pieter Katoen:
Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Informatics 14(1): 370-379 (2018) - [c9]Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga
, Matthias Volk
:
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets 2018: 272-293 - [i6]Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR abs/1803.05376 (2018) - 2017
- [c8]Christian Dehnert, Sebastian Junges
, Joost-Pieter Katoen, Matthias Volk
:
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) 2017: 592-600 - [c7]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
:
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP 2017: 3-19 - [c6]Saba Aflaki, Matthias Volk
, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann:
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS 2017: 94-103 - [i5]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
:
A storm is Coming: A Modern Probabilistic Model Checker. CoRR abs/1702.04311 (2017) - 2016
- [c5]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk
, Joost-Pieter Katoen, Erika Ábrahám
, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74 - [c4]Matthias Volk
, Sebastian Junges, Joost-Pieter Katoen
:
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. SAFECOMP 2016: 253-265 - [i4]Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis. CoRR abs/1604.07474 (2016) - [i3]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713 (2016) - 2015
- [c3]Christian Dehnert, Sebastian Junges, Nils Jansen
, Florian Corzilius, Matthias Volk
, Harold Bruintjes, Joost-Pieter Katoen
, Erika Ábrahám
:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231 - 2014
- [c2]Nils Jansen
, Florian Corzilius, Matthias Volk
, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420 - 2013
- [i2]Nils Jansen, Florian Corzilius, Matthias Volk
, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. CoRR abs/1312.3979 (2013) - 2012
- [c1]Nils Jansen
, Erika Ábrahám
, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen
, Bernd Becker
:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353 - [i1]Nils Jansen, Erika Ábrahám
, Maik Scheffler, Matthias Volk
, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint