Senior research engineer, EDF (Electricité de France) R&D
Verified email at - Homepage
Cited by
Cited by
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
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
Cross-fertilization between safety and security engineering
L Piètre-Cambacédès, M Bouissou
Reliability Engineering & System Safety 110, 110-126, 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
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
Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools
M Bouissou, N Villatte, H Bouhadana, M Bannelier
Electricite de France (EDF), 1991
An ordering heuristic for building binary decision diagrams from fault-trees
M Bouissou
Proceedings of 1996 Annual Reliability and Maintainability Symposium, 208-214, 1996
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
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
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
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
Attack and defense modeling with BDMP
L Piètre-Cambacédès, M Bouissou
International Conference on Mathematical Methods, Models, and Architectures …, 2010
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
International Conference on Computer Safety, Reliability, and Security, 326-341, 2014
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), 2013
Boolean logic driven markov processes: A powerful new formalism for specifying and solving very large markov models
M Bouissou
PSAM6, Puerto Rico, 2002
A generalization of dynamic fault trees through Boolean logic driven Markov processes (BDMP)®
M Bouissou
Proceedings of the safety and reliability conference (ESREL07), 2007
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
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
KB3 tool: feedback on knowledge bases
M Bouissou, S Humbert, S Muffat, N Villatte
Proceedings of the11th European Safety and Reliability Conference (ESREL’02), 2002
Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes
B Marc
Lavoisier, 2008
The system can't perform the operation now. Try again later.
Articles 1–20