A survey of approaches combining safety and security for industrial control systems S Kriaa, L Pietre-Cambacedes, M Bouissou, Y Halgand Reliability engineering & system safety 139, 156-178, 2015 | 480 | 2015 |
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes M Bouissou, JL Bon Reliability Engineering & System Safety 82 (2), 149-163, 2003 | 358 | 2003 |
Cross-fertilization between safety and security engineering L Piètre-Cambacédès, M Bouissou Reliability Engineering & System Safety 110, 110-126, 2013 | 188 | 2013 |
Beyond attack trees: dynamic security modeling with Boolean logic Driven Markov Processes (BDMP) L Piètre-Cambacédès, M Bouissou 2010 European Dependable Computing Conference, 199-208, 2010 | 130 | 2010 |
Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools M Bouissou, N Villatte, H Bouhadana, M Bannelier SAFECOMP'91, 1991 | 115 | 1991 |
Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes) L Piètre-Cambacédès, M Bouissou 2010 IEEE International Conference on Systems, Man and Cybernetics, 2852-2861, 2010 | 114 | 2010 |
Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments S Kriaa, M Bouissou, L Piètre-Cambacédès 2012 7th International Conference on Risks and Security of Internet and …, 2012 | 109 | 2012 |
Assessment of a safety-critical system including software: a Bayesian belief network for evidence sources M Bouissou, F Martin, A Ourghanlian Annual Reliability and Maintainability. Symposium. 1999 Proceedings (Cat. No …, 1999 | 106 | 1999 |
BDD based fault-tree processing: a comparison of variable ordering heuristics M Bouissou, F Bruyere, A Rauzy Proceedings of European Safety and Reliability Association Conference, ESREL’97, 1997 | 94 | 1997 |
An ordering heuristic for building binary decision diagrams from fault-trees M Bouissou Proceedings of 1996 Annual Reliability and Maintainability Symposium, 208-214, 1996 | 91 | 1996 |
Safety and security interactions modeling using the BDMP formalism: case study of a pipeline S Kriaa, M Bouissou, F Colin, Y Halgand, L Pietre-Cambacedes Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 68 | 2014 |
Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D M Bouissou Proceedings of the international conference on energy and environment, 2005 | 58 | 2005 |
Toward system architecture generation and performances assessment under uncertainty using Bayesian networks ML Moullec, M Bouissou, M Jankovic, JC Bocquet, F Réquillard, O Maas, ... Journal of Mechanical Design 135 (4), 041002, 2013 | 49 | 2013 |
A model based approach for SCADA safety and security joint modelling: S-Cube S Kriaa, M Bouissou, Y Laarouchi IET Digital Library, 2015 | 46 | 2015 |
Attack and defense modeling with BDMP L Piètre-Cambacédès, M Bouissou Computer Network Security: 5th International Conference on Mathematical …, 2010 | 46 | 2010 |
A generalization of dynamic fault trees through Boolean logic driven Markov processes (BDMP) M Bouissou Proceedings of the16th European Safety and Reliability Conference (ESREL’07), 2007 | 40 | 2007 |
A Bayesian belief network based method for performance evaluation and troubleshooting of multistate systems M Bouissou, O Pourret International Journal of Reliability, Quality and Safety Engineering 10 (04 …, 2003 | 37 | 2003 |
Boolean logic driven markov processes: A powerful new formalism for specifying and solving very large markov models M Bouissou PSAM6, Puerto Rico, 2002 | 37 | 2002 |
A path-based algorithm to evaluate asymptotic unavailability for large Markov models M Bouissou, Y Lefebvre Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No …, 2002 | 37 | 2002 |
Efficient Monte Carlo simulation of stochastic hybrid systems M Bouissou, H Elmqvist, M Otter, A Benveniste The 10th International Modelica Conference 2014, 2014 | 29 | 2014 |