E-LIB Suche - Ergebnisse für: Volk, Matthias

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

Explaining the Business-Technological Age of Legacy Informa..:

Rosenkranz, Sebastian ; Staegemann, Daniel ; Volk, Matthias.
IEEE Access. 12 (2024) - p. 84579-84611 , 2024

Link: https://doi.org/10.1109/..

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

Link: https://doi.org/10.1007/..

4

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

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design. 62 (2024) 1-3 - p. 181-259 , 2024

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

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/..

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

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/..

9

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/..

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,

Saaltink, Caz ; Nicoletti, Stefano M. ; Volk, Matthias.. - p. 48-59 , 2023

Link: https://dl.acm.org/doi/1..

11

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/..

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

Link: https://doi.org/10.1007/..

13

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

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

Basgöze, Daniel ; Volk, Matthias ; Katoen, Joost-Pieter.. - p. 713-732 , 2022

Link: https://doi.org/10.1007/..

14

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/..

15

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/..