Concepedia

Matthias Volk

MV

9

Publications

326

Citations

9

H-Index

2016

Active since

Affiliations

RWTH Aachen University(Current)

University of Twente

Matthias Volk is an author at RWTH Aachen University specializing in systems engineering, engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSystem ReliabilityComputer EngineeringOptimal System DesignReliability Engineering

Publications per year

2016–2024

9

Publications

9

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen · IEEE Transactions on Industrial Informatics · 2017 · 117 citations

Engineering, Verification, Computer-aided Verification +18

Embedding Feynman integral (Calabi-Yau) geometries in weighted projective space

Jacob L. Bourjaily, Andrew J. McLeod, Cristian Vergu et al. · Journal of High Energy Physics · 2020 · 71 citations · Full text

Safety analysis for vehicle guidance systems with dynamic fault trees

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen et al. · Reliability Engineering & System Safety · 2019 · 54 citations · Full text

Safety Engineering, Engineering, Aerospace Engineering +6

DFT modeling approach for operational risk assessment of railway infrastructure

Norman Weik, Matthias Volk, Joost-Pieter Katoen et al. · International Journal on Software Tools for Technology Transfer · 2022 · 19 citations · Full text

Railway Traffic, Engineering, Verification +29

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen et al. · International Journal on Software Tools for Technology Transfer · 2021 · 18 citations · Full text

Rows per page

1–5 of 9