Imperial College London
Portrait Picture

Dr Martin Barrere Cambrun

Faculty of Engineering, Institute for Security Science & Technology

Honorary Research Fellow
 
 
 
//

Contact

 

+44 (0)20 7594 8864m.barrere Website

 
 
//

Location

 

Institute for Security Science and TechnologyAbdus Salam LibrarySouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Barrere:2020,
author = {Barrere, Cambrun M and Hankin, C},
publisher = {IEEE},
title = {Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT},
url = {https://www.imperial.ac.uk/people/m.barrere},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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 MaxSAT problem and solve it using a parallel SAT-solving architecture. The results obtained with our open source tool indicate that the approach is effective and efficient.
AU  - Barrere,Cambrun M
AU  - Hankin,C
PB  - IEEE
PY  - 2020///
TI  - Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
UR  - https://www.imperial.ac.uk/people/m.barrere
UR  - http://hdl.handle.net/10044/1/79850
ER  -
Download