Matthias Volk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
16
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2024 | FMICS | Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. | Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Marille Stoelinga |
| 2024 | TACAS | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2023 | FMICS | Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. | Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2022 | CAV | Sampling-Based Verification of CTMCs with Uncertain Rates. | Thom S. Badings, Nils Jansen, Sebastian Junges, Marille Stoelinga, Matthias Volk |
| 2022 | IC3K | Providing Clarity on Big Data: Discussing Its Definition and the Most Relevant Data Characteristics. | Matthias Volk, Daniel Staegemann, Klaus Turowski |
| 2022 | IC3K | A Process Model for Test Driven Development in the Big Data Domain. | Daniel Staegemann, Matthias Volk, Naoum Jamous, Klaus Turowski |
| 2022 | IC3K | Exploring the Test Driven Development of a Fraud Detection Application using the Google Cloud Platform. | Daniel Staegemann, Matthias Volk, Maneendra Perera, Klaus Turowski |
| 2022 | SAFECOMP | Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. | Lisandro Arturo Jimenez-Roa, Matthias Volk, Marille Stoelinga |
| 2021 | CIT | Applying Test Driven Development in the Big Data Domain - Lessons From the Literature. | Daniel Staegemann, Matthias Volk, Erik Lautenschlger, Matthias Pohl, Mohammad Abdallah, Klaus Turowski |
| 2021 | CSEDU | Towards a Systematic Requirements Engineering for IT System-based Business Simulation Games. | Robert Husler, Marcus Trger, Daniel Staegemann, Matthias Volk, Klaus Turowski |
| 2021 | DSN | Model Checking the Multi-Formalism Language FIGARO. | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou |
| 2020 | CSEDU | Generating Content-Compliant Training Data in Big Data Education. | Robert Husler, Daniel Staegemann, Matthias Volk, Sascha Bosse, Christian Bekel, Klaus Turowski |
| 2020 | ICDM | Application of NLP to determine the State of Issues in Bug Tracking Systems. | Matthias Pohl, Ali Hashaam, Sascha Bosse, Daniel Gunnar Staegemann, Matthias Volk, Frederik Kramer, Klaus Turowski |
| 2019 | FMICS | A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nieen |
| 2019 | PRDC | Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou |
| 2019 | SEFM | Formal Verification of Rewriting Rules for Dynamic Fault Trees. | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofine Tahar |
| 2017 | BigData | New E-Commerce User Interest Patterns. | Matthias Volk, Abed Elrahman Shareef, Naoum Jamous, Klaus Turowski |
| 2017 | CAV | A Storm is Coming: A Modern Probabilistic Model Checker. | Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk |
| 2017 | SAFECOMP | Model-Based Safety Analysis for Vehicle Guidance Systems. | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2017 | SRDS | Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann |
| 2016 | SAFECOMP | Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2013 | GI | Erster Konzeptansatz von Sicherheitstypen: Sicherheitsbewusstsein von Kindern und Jugendlichen im Umgang mit dem Internet. | Jana Fruth, Marcel Beskau, Matthias Volk, Anneke Meyer, Robin Richter, Jana Dittmann |
| 2012 | ATVA | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. | Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |