default search action

combined dblp search
author search
venue search
publication search

ask others

Matthias Volk 0001

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JungesAHJKQV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JungesAHJKQV24
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)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/JimenezRoaRVS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/JimenezRoaRVS24
Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga:
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. FMICS 2024: 80-96
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BadingsVJSJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BadingsVJSJ24
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-17862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-17862
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]
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-06574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-06574
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-13583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-13583
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)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-06809
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-06809
Jan Friso Groote, Sander van Heesch, Matthias Volk:
Formal Modelling and Analysis of Slot Machines. CoRR abs/2407.06809 (2024)
2023
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SoltaniVDLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SoltaniVDLS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SaaltinkN0HS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JeppsonVIRWBMZWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JeppsonVIRWBMZWZ23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dc/VolkBKA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/VolkBKA22
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki:
Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. 35(1): 37-57 (2022)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WeikVKN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WeikVKN22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HenselJKQV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HenselJKQV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BadingsJJSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BadingsJJSV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BasgozeVKKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BasgozeVKKS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Jimenez-RoaVS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Jimenez-RoaVS22
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-02829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02829
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08300
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/00020KBB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/00020KBB21
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou:
Model Checking the Multi-Formalism Language FIGARO. DSN 2021: 463-470
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/KhanKVZS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/KhanKVZS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/0002K0B21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/0002K0B21
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou:
Scalable Reliability Analysis by Lazy Verification. NFM 2021: 180-197
2020
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-07080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-07080
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The Probabilistic Model Checker Storm. CoRR abs/2002.07080 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GhadhabJKKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GhadhabJKKV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/0001WKN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/0001WKN19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KhanK0B19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KhanK0B19
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou:
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. PRDC 2019: 266-275
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ElderhalliVHKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ElderhalliVHKT19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-05361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-05361
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07993
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VolkJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VolkJK18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JungesKS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JungesKS018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-05376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05376
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DehnertJK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DehnertJK017
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) 2017: 592-600
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GhadhabJKKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GhadhabJKKV17
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP 2017: 3-19
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/AflakiVBKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/AflakiVBKS17
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann:
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS 2017: 94-103
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DehnertJK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DehnertJK017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mbmv/DehnertJ0CVKAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DehnertJ0CVKAB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/0001JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/0001JK16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0001JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001JK16
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis. CoRR abs/1604.07474 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DehnertJK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DehnertJK016
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713 (2016)
2015
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DehnertJJCVBKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DehnertJJCVBKA15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JansenCVWAKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JansenCVWAKB14
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JansenCVWAKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JansenCVWAKB13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAVWKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAVWKB12
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1206-0603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-0603
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

see FAQ

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.