Marielle Stoelinga | DeepAI

DeepAI AI Chat

Featured Co-authors

Joost-Pieter Katoen
67 publications
Alessandro Abate
52 publications
Nils Jansen
46 publications
Sebastian Junges
41 publications
Tom Heskes
38 publications
Étienne André
29 publications
Khaza Anuarul Hoque
23 publications
David Parker
20 publications
Milan Lopuhaä-Zwakenberg
13 publications
Laure Petrucci
10 publications
Pedro R. D'Argenio
9 publications

∙ 09/17/2023

ATM: a Logic for Quantitative Security Properties on Attack Trees

Critical infrastructure systems - for which high reliability and availab...

0 Stefano M. Nicoletti, et al. ∙

∙ 04/26/2023

With a little help from your friends: semi-cooperative games via Joker moves

This paper coins the notion of Joker games where Player 2 is not strictl...

0 Petra van den Bos, et al. ∙

∙ 04/12/2023

Cost-damage analysis of attack trees

Attack trees (ATs) are a widely deployed modelling technique to categori...

0 Milan Lopuhaä-Zwakenberg, et al. ∙

∙ 03/30/2023

PFL: a Probabilistic Logic for Fault Trees

Safety-critical infrastructures must operate in a safe and reliable way....

0 Stefano M. Nicoletti, et al. ∙

∙ 01/04/2023

Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

Controllers for dynamical systems that operate in safety-critical settin...

0 Thom Badings, et al. ∙

∙ 12/10/2022

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis

Numerous analysis methods for quantitative attack tree analysis have bee...

0 Milan Lopuhaä-Zwakenberg, et al. ∙

∙ 08/29/2022

BFL: a Logic to Reason about Fault Trees

Safety-critical infrastructures must operate safely and reliably. Fault ...

0 Stefano M. Nicoletti, et al. ∙

∙ 05/17/2022

Sampling-Based Verification of CTMCs with Uncertain Rates

We employ uncertain parametric CTMCs with parametric transition rates an...

0 Thom S. Badings, et al. ∙

∙ 04/06/2022

Automatic inference of fault tree models via multi-objective evolutionary algorithms

Fault tree analysis is a well-known technique in reliability engineering...

0 Lisandro A. Jimenez-Roa, et al. ∙

∙ 02/06/2022

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

Fault trees are a key model in reliability analysis. Classical static fa...

0 Daniel Basgöze, et al. ∙

∙ 11/09/2021

Attack time analysis in dynamic attack trees via integer linear programming

Attack trees are an important tool in security analysis, and an importan...

0 Milan Lopuhaä-Zwakenberg, et al. ∙

∙ 10/25/2021

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Controllers for autonomous systems that operate in safety-critical setti...

0 Thom S. Badings, et al. ∙

∙ 06/11/2021

Model-based Safety and Security Co-analysis: a Survey

We survey the state-of-the-art on model-based formalisms for safety and ...

0 Christina Kolb, et al. ∙

∙ 05/16/2021

Efficient Algorithms for Quantitative Attack Tree Analysis

Numerous analysis methods for quantitative attack tree analysis have bee...

0 Carlos E. Budde, et al. ∙

∙ 03/03/2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

We study planning problems for continuous control systems with uncertain...

0 Thom S. Badings, et al. ∙

∙ 10/23/2019

Rare Event Simulation for non-Markovian repairable Fault Trees

Dynamic Fault Trees (DFT) are widely adopted in industry to assess the d...

0 Carlos E. Budde, et al. ∙

∙ 06/12/2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Attack-Defence Trees (ADTs) are well-suited to assess possible attacks t...

0 Jaime Arias, et al. ∙

∙ 02/12/2019

Parametric analyses of attack-fault trees

Risk assessment of cyber-physical systems, such as power plants, connect...

0 Étienne André, et al. ∙

∙ 09/10/2018

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

We propose a generic game-based approach for test case generation. We se...

0 Petra van den Bos, et al. ∙

∙ 03/14/2018

One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineer...

0 Sebastian Junges, et al. ∙

∙ 01/12/2018

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

Cyber-physical systems, like Smart Buildings and power plants, have to m...

0 Nathalie Cauchi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world