research
∙
09/17/2023
ATM: a Logic for Quantitative Security Properties on Attack Trees
Critical infrastructure systems - for which high reliability and availab...
share
research
∙
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...
research
∙
04/12/2023
Cost-damage analysis of attack trees
Attack trees (ATs) are a widely deployed modelling technique to categori...
research
∙
03/30/2023
PFL: a Probabilistic Logic for Fault Trees
Safety-critical infrastructures must operate in a safe and reliable way....
research
∙
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...
research
∙
12/10/2022
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis
Numerous analysis methods for quantitative attack tree analysis have bee...
research
∙
08/29/2022
BFL: a Logic to Reason about Fault Trees
Safety-critical infrastructures must operate safely and reliably. Fault ...
research
∙
05/17/2022
Sampling-Based Verification of CTMCs with Uncertain Rates
We employ uncertain parametric CTMCs with parametric transition rates an...
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
10/25/2021
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Controllers for autonomous systems that operate in safety-critical setti...
research
∙
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 ...
research
∙
05/16/2021
Efficient Algorithms for Quantitative Attack Tree Analysis
Numerous analysis methods for quantitative attack tree analysis have bee...
research
∙
03/03/2021
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
We study planning problems for continuous control systems with uncertain...
research
∙
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...
research
∙
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...
research
∙
02/12/2019
Parametric analyses of attack-fault trees
Risk assessment of cyber-physical systems, such as power plants, connect...
research
∙
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...
research
∙
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...
research
∙
01/12/2018