Matthias Volk
- A storm is Coming: A Modern Probabilistic Model Checker
2017/02/14 by Christian Dehnert, Sebastian Junges, Dehnert, Christian +5 · 7 citations
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability
- Functions Beyond Multiple Polylogarithms for Precision Collider Physics
2022/03/14 by Jacob L. Bourjaily, Bourjaily, Jacob L., Johannes Broedel +31 · 8 citations
Computer Science · Physics and Astronomy · #Computational Physics and Python Applications #Distributed and Parallel Computing Systems #FOS: Physical sciences #High Energy Physics - Phenomenology (hep-ph) #High Energy Physics - Theory (hep-th) #Particle physics theoretical and experimental studies
- Parameter Synthesis for Markov Models: Covering the Parameter Space
2019/03/16 by Sebastian Junges, Erika Ábrahám, Junges, Sebastian +11 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Accelerating Parametric Probabilistic Verification
2013/12/13 by Nils Jansen, Jansen, Nils, Florian Corzilius +11 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022/02/06 by Daniel Basgöze, Basgöze, Daniel, Matthias Volk +7 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques