Marielle Stoelinga
Universiteit Twente
H-index: 41
Europe-Netherlands
Top articles of Marielle Stoelinga
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fuzzy quantitative attack tree analysis | Thi Kim Nhung Dang Milan Lopuhaä-Zwakenberg Mariëlle Stoelinga | 2024/4/6 | |
CTMCs with imprecisely timed observations | Thom Badings Matthias Volk Sebastian Junges Marielle Stoelinga Nils Jansen | 2024/4/5 | |
Fuzzy Fault Trees Formalized | arXiv preprint arXiv:2403.08843 | Thi Kim Nhung Dang Milan Lopuhaä-Zwakenberg Mariëlle Stoelinga | 2024/3/13 |
Querying Fault and Attack Trees: Property Specification on a Water Network | arXiv preprint arXiv:2401.16015 | Stefano M Nicoletti Milan Lopuhaä-Zwakenberg E Moritz Hahn Mariëlle Stoelinga | 2024/1/29 |
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking | Matthias Volk Falak Sher Joost-Pieter Katoen Mariëlle Stoelinga | 2024/1/22 | |
Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands | arXiv preprint arXiv:2310.01888 | Lisandro A Jimenez-Roa Tom Heskes Tiedo Tinga H Molegraaf Mariëlle Stoelinga | 2023/10/3 |
Model-based joint analysis of safety and security: Survey and identification of gaps | Stefano M Nicoletti Marijn Peppelman Christina Kolb Mariëlle Stoelinga | 2023/11/1 | |
From Fault Trees to Piping and Instrumentation Diagrams | Wouter Bos Matthias Volk Mariëlle IA Stoelinga Marc Bouissou Pavel Krcál | 2023 | |
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves | Petra van den Bos Marielle Stoelinga | 2023/6/10 | |
: A Logic for Quantitative Security Properties on Attack Trees | Stefano M Nicoletti Milan Lopuhaä-Zwakenberg Ernst Moritz Hahn Mariëlle Stoelinga | 2023/10/31 | |
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison | arXiv preprint arXiv:2310.04448 | Lisandro A Jimenez-Roa Tom Heskes Marielle Stoelinga | 2023/10/3 |
A case in point: verification and testing of a EULYNX interface | Formal Aspects of Computing | Mark Bouwman Djurre Van Der Wal Bas Luttik Mariëlle Stoelinga Arend Rensink | 2023/3/16 |
Property Specification and Models for Risk: Towards Risk Propagation Graphs | Stefano M Nicoletti Mattia Fumagalli Milan Lopuhaä-Zwakenberg E Moritz Hahn Giancarlo Guizzardi | 2023/9/19 | |
Attack time analysis in dynamic attack trees via integer linear programming | Milan Lopuhaä-Zwakenberg Mariëlle Stoelinga | 2023/10/31 | |
: A Probabilistic Logic for Fault Trees | Stefano M Nicoletti Milan Lopuhaä-Zwakenberg E Moritz Hahn Mariëlle Stoelinga | 2023/3/3 | |
Solving Queries for Boolean Fault Tree Logic via Quantified SAT | Caz Saaltink Stefano M Nicoletti Matthias Volk Ernst Moritz Hahn Mariëlle Stoelinga | 2023/10/18 | |
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller | Djurre van der Wal Marcus Gerhold Mariëlle Stoelinga | 2023/9/17 | |
Robust control for dynamical systems with non-gaussian noise via formal abstractions | Journal of Artificial Intelligence Research | Thom Badings Licio Romao Alessandro Abate David Parker Hasan A. Poonawala | 2023/1/21 |
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors | Reza Soltani Matthias Volk Leonardo Diamonte Milan Lopuhaä-Zwakenberg Mariëlle Stoelinga | 2023/9/17 | |
Introduction to the Special Collection from FASE 2021 | Esther Guerra Mariëlle Stoelinga | 2023/10/6 |