5 citations · 9 across the 3 of their papers we have counts for
4 papers
MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
Martín Barrère, Chris Hankin
This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming t…
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
Martín Barrère, Chris Hankin
In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial M…
Assessing Cyber-Physical Security in Industrial Control Systems
Martín Barrère, Chris Hankin, Demetrios G. Eliades +2
Over the last years, Industrial Control Systems (ICS) have become increasingly exposed to a wide range of cyber-physical threats. Efficient models and techniques able to capture th…
MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
Martín Barrère, Chris Hankin, Nicolas Nicolau +2
This paper presents a MaxSAT benchmark focused on identifying critical nodes in AND/OR graphs. We use AND/OR graphs to model Industrial Control Systems (ICS) as they are able to se…