Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Volk, Matthias
476  Ergebnisse:
Personensuche X
?
1

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),
Volk, Matthias ; Sher, Falak ; Katoen, Joost-Pieter. - p. 1-7 , 2024
Link: https://doi.org/10.1109/..
 
?
2

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
Link: https://doi.org/10.1007/..
 
?
3

Parameter synthesis for Markov models: covering the paramet..:

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design.  , 2024
Link: https://doi.org/10.1007/..
 
?
4

Reliability Estimation and Optimization of a Smart Meter Ar..:

Altenburg, Tobias ; Staegemann, Daniel ; Volk, Matthias.
SN Computer Science.  4 (2023)  5 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
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
Link: https://doi.org/10.1007/..
 
?
6

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
Link: https://doi.org/10.1007/..
 
?
7

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

, In: 2023 International Conference on Information Technology (ICIT),
Staegemann, Daniel ; Volk, Matthias ; Abdallah, Mohammad. - p. 163-167 , 2023
Link: https://doi.org/10.1109/..
 
?
8

B-type anomaly coefficients for the D3-D5 domain wall:

de Leeuw, Marius ; Kristjansen, Charlotte ; Linardopoulos, Georgios.
Physics Letters B.  846 (2023)  - p. 138235 , 2023
Link: https://doi.org/10.1016/..
 
?
9

Following the Digital Thread – A Cloud-Based Observation:

Daase, Christian ; Haertel, Christian ; Nahhas, Abdulrahman...
Procedia Computer Science.  217 (2023)  - p. 1867-1876 , 2023
Link: https://doi.org/10.1016/..
 
?
10

On the Integration of Google Cloud and SAP HANA for Adaptiv..:

Nahhas, Abdulrahman ; Haertel, Christian ; Daase, Christian...
Procedia Computer Science.  217 (2023)  - p. 1857-1866 , 2023
Link: https://doi.org/10.1016/..
 
?
11

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,
Saaltink, Caz ; Nicoletti, Stefano M. ; Volk, Matthias.. - p. 48-59 , 2023
Link: https://dl.acm.org/doi/1..
 
?
12

Sampling-Based Verification of CTMCs with Uncertain Rates:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Badings, Thom S. ; Jansen, Nils ; Junges, Sebastian.. - p. 26-47 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Massive warming-induced carbon loss from subalpine grasslan..:

Volk, Matthias ; Suter, Matthias ; Wahl, Anne-Lena.
Biogeosciences.  19 (2022)  11 - p. 2921-2937 , 2022
Link: https://doi.org/10.5194/..
 
?
14

DFT modeling approach for operational risk assessment of ra..:

Weik, Norman ; Volk, Matthias ; Katoen, Joost-Pieter.
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 331-350 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Data-Driven Inference of Fault Tree Models Exploiting Symme..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Jimenez-Roa, Lisandro Arturo ; Volk, Matthias ; Stoelinga, Mariëlle - p. 46-61 , 2022
Link: https://doi.org/10.1007/..
 
1-15