research
∙
07/16/2020
MaxSAT Evaluation 2020 – Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
This paper presents a MaxSAT benchmark focused on the identification of ...
share
research
∙
05/05/2020
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
In this paper, we present a novel MaxSAT-based technique to compute Maxi...
research
∙
11/21/2019
Assessing Cyber-Physical Security in Industrial Control Systems
Over the last years, Industrial Control Systems (ICS) have become increa...
research
∙
11/01/2019
MaxSAT Evaluation 2019 – Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
This paper presents a MaxSAT benchmark focused on identifying critical n...
research
∙
05/12/2019
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems
In recent years, Industrial Control Systems (ICS) have become an appeali...
research
∙
10/08/2015