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

A Compositional Semantics of Boolean-Logic Driven Markov Processes (Version 0.0) - Shahid Khan; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)
Accessed on YYYY-MM-DD.

A Compositional Semantics of Boolean-Logic Driven Markov Processes (Version 0.0) - Shahid Khan; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)
Accessed on YYYY-MM-DD.

A Compositional Semantics of Boolean-Logic Driven Markov Processes (Version 0.0) - Shahid Khan; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)
Accessed on YYYY-MM-DD.

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. (8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 2021)

Model Checking the Multi-Formalism Language FIGARO - Shahid Khan; Matthias Volk; Joost-Pieter Katoen; Alexis Braibant; Marc Bouissou (51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021, 2021)

Scalable Reliability Analysis by Lazy Verification - Shahid Khan; Joost-Pieter Katoen; Matthias Volk; Marc Bouissou (NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, 2021)

Explaining Boolean-Logic Driven Markov Processes using GSPNs - Shahid Khan; Joost-Pieter Katoen; Marc Bouissou (16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020, 2020)

A Compositional Semantics for Repairable BDMPs - Shahid Khan; Joost-Pieter Katoen; Marc Bouissou (Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, 2020)

Various Ways to Quantify BDMPs - Marc Bouissou; Shahid Khan; Joost-Pieter Katoen; Pavel Krcál (Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020, 2020)

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs - Shahid Khan; Joost-Pieter Katoen; Matthias Volk; Marc Bouissou (24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019, Kyoto, Japan, December 1-3, 2019, 2019)

A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant - Marc Bouissou (Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017, 2017)

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)

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 (Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, 2014)

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

Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments - Siwar Kriaa; Marc Bouissou; Ludovic Piètre-Cambacédès (7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012, 2012)

Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP) - Ludovic Piètre-Cambacédès; Marc Bouissou (Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010, 2010)

Attack and Defense Modeling with BDMP - Ludovic Piètre-Cambacédès; Marc Bouissou (Computer Network Security, 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings, 2010)

Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes) - Ludovic Piètre-Cambacédès; Marc Bouissou (Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, 2010)

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)

The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems - Marc Bouissou (Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993, 1993)