IMdR (Institut pour la Maîtrise des Risques), formerly EDF (Electricité de France) R&D
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
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
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
Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools
M Bouissou, N Villatte, H Bouhadana, M Bannelier
SAFECOMP'91, 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
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
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
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
An ordering heuristic for building binary decision diagrams from fault-trees
M Bouissou
Proceedings of 1996 Annual Reliability and Maintainability Symposium, 208-214, 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
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
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
Attack and defense modeling with BDMP
L Piètre-Cambacédès, M Bouissou
Computer Network Security: 5th International Conference on Mathematical …, 2010
A model based approach for SCADA safety and security joint modelling: S-Cube
S Kriaa, M Bouissou, Y Laarouchi
IET Digital Library, 2015
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
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
Boolean logic driven markov processes: A powerful new formalism for specifying and solving very large markov models
M Bouissou
PSAM6, Puerto Rico, 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
Efficient Monte Carlo simulation of stochastic hybrid systems
M Bouissou, H Elmqvist, M Otter, A Benveniste
The 10th International Modelica Conference 2014, 2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20