E-LIB Suche - Ergebnisse für: Stoelinga, Mariëlle

1

Querying Fault and Attack Trees: Property Specification on ..:

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

Nicoletti, Stefano M. ; Lopuhaa-Zwakenberg, Milan ; Hahn, E. Moritz. - p. 1-6 , 2024

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

2

Fuzzy quantitative attack tree analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Dang, Thi Kim Nhung ; Lopuhaä-Zwakenberg, Milan ; Stoelinga, Mariëlle - p. 210-231 , 2024

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

3

Maintenance Strategies for Sewer Pipes with Multi-State Deg..:

Jimenez-Roa, Lisandro Arturo ; Simão, Thiago D. ; Bukhsh, Zaharah...
PHM Society European Conference. 8 (2024) 1 - p. 14 , 2024

Link: https://doi.org/10.36001..

4

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

5

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

6

Efficient and Generic Algorithms for Quantitative Attack Tr..:

Lopuhaä-Zwakenberg, Milan ; Budde, Carlos E. ; Stoelinga, Mariëlle
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 5 - p. 4169-4187 , 2023

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

7

With a Little Help from Your Friends: Semi-cooperative Game..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

van den Bos, Petra ; Stoelinga, Marielle - p. 155-172 , 2023

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

8

Model-based joint analysis of safety and security:Survey an..:

Nicoletti, Stefano M. ; Peppelman, Marijn ; Kolb, Christina.
Computer Science Review. 50 (2023) - p. 100597 , 2023

Link: https://doi.org/10.1016/..

9

Introduction to the Special Collection from FASE 2021:

Guerra, Esther ; Stoelinga, Mariëlle
Formal Aspects of Computing. 35 (2023) 3 - p. 1-1 , 2023

Link: https://doi.org/10.1145/..

10

A Case in Point: Verification and Testing of a EULYNX Inter..:

Bouwman, Mark ; van der Wal, Djurre ; Luttik, Bas..
Formal Aspects of Computing. 35 (2023) 1 - p. 1-38 , 2023

Link: https://doi.org/10.1145/..

11

$$\textsf{ATM}$$: A Logic for Quantitative Security Propert..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; Hahn, Ernst Moritz. - p. 205-225 , 2023

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

12

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

13

Conformance in the Railway Industry: Single-Input-Change Te..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

van der Wal, Djurre ; Gerhold, Marcus ; Stoelinga, Mariëlle - p. 242-258 , 2023

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

14

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

15

$$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees:

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

Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; Hahn, E. Moritz. - p. 199-221 , 2023

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