The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems. - Marc Bouissou (FTCS, 1993)

A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. - Marc Bouissou; Jean-Louis Bon (Reliab. Eng. Syst. Saf., 2003)

Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). - Ludovic Piètre-Cambacédès; Marc Bouissou (EDCC, 2010)

Attack and Defense Modeling with BDMP. - Ludovic Piètre-Cambacédès; Marc Bouissou (MMM-ACNS, 2010)

Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes). - Ludovic Piètre-Cambacédès; Marc Bouissou (SMC, 2010)

Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments. - Siwar Kriaa; Marc Bouissou; Ludovic Piètre-Cambacédès (CRiSIS, 2012)

Cross-fertilization between safety and security engineering. - Ludovic Piètre-Cambacédès; Marc Bouissou (Reliab. Eng. Syst. Saf., 2013)

Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. - Siwar Kriaa; Marc Bouissou; Frederic Colin; Yoran Halgand; Ludovic Piètre-Cambacédès (SAFECOMP, 2014)

A survey of approaches combining safety and security for industrial control systems. - Siwar Kriaa; Ludovic Piètre-Cambacédès; Marc Bouissou; Yoran Halgand (Reliab. Eng. Syst. Saf., 2015)

A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant. - Marc Bouissou (MARS@ETAPS, 2017)

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (PRDC, 2019)

Explaining Boolean-Logic Driven Markov Processes using GSPNs. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (EDCC, 2020)

A Compositional Semantics for Repairable BDMPs. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (SAFECOMP, 2020)

Various Ways to Quantify BDMPs. - Marc Bouissou; Shahid Khan 002; Joost-Pieter Katoen; Pavel Krcál (MARS@ETAPS, 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Model Checking the Multi-Formalism Language FIGARO. - Shahid Khan 002; Matthias Volk 001; Joost-Pieter Katoen; Alexis Braibant; Marc Bouissou (DSN, 2021)

Scalable Reliability Analysis by Lazy Verification. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (NFM, 2021)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (IEEE Trans. Dependable Secur. Comput., 2024)