Volk, Matthias
479  Ergebnisse:
Personensuche X
?
1

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),
 
?
3

CTMCs with Imprecisely Timed Observations:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Badings, Thom ; Volk, Matthias ; Junges, Sebastian.. - p. 258-278 , 2024
 
?
 
?
5

STAMINA in C++: Modernizing an Infinite-State Probabilistic..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Jeppson, Joshua ; Volk, Matthias ; Israelsen, Bryant... - p. 101-109 , 2023
 
?
7

Towards the Application of Test Driven Development in Big D..:

, In: 2023 International Conference on Information Technology (ICIT),
 
?
10

Solving Queries for Boolean Fault Tree Logic via Quantified..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
 
?
12

Optimal Spare Management via Statistical Model Checking: A ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Soltani, Reza ; Volk, Matthias ; Diamonte, Leonardo.. - p. 205-223 , 2023
 
?
13

BDDs Strike Back: Efficient Analysis of Static and Dynamic ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
 
?
14

Sampling-Based Verification of CTMCs with Uncertain Rates:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
1-15