Marc Bouissou

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 9

Top Topics

Stochastic Models

Temporally Extended Goals

Nuclear Power Plant

Markov Processes

Top Venues

Publications

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
A Compositional Semantics of Boolean-Logic Driven Markov Processes. IEEE Trans. Dependable Secur. Comput. 21 (2) (2024)
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
Model Checking the Multi-Formalism Language FIGARO. DSN (2021)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
Scalable Reliability Analysis by Lazy Verification. NFM (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
Explaining Boolean-Logic Driven Markov Processes using GSPNs. EDCC (2020)
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
A Compositional Semantics for Repairable BDMPs. SAFECOMP (2020)
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
Various Ways to Quantify BDMPs. MARS@ETAPS (2020)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. PRDC (2019)
Marc Bouissou
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant. MARS@ETAPS (2017)
Siwar Kriaa, Ludovic Piètre-Cambacédès, Marc Bouissou, Yoran Halgand
A survey of approaches combining safety and security for industrial control systems. Reliab. Eng. Syst. Saf. 139 (2015)
Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Piètre-Cambacédès
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. SAFECOMP (2014)
Ludovic Piètre-Cambacédès, Marc Bouissou
Cross-fertilization between safety and security engineering. Reliab. Eng. Syst. Saf. 110 (2013)
Siwar Kriaa, Marc Bouissou, Ludovic Piètre-Cambacédès
Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments. CRiSIS (2012)
Ludovic Piètre-Cambacédès, Marc Bouissou
Attack and Defense Modeling with BDMP. MMM-ACNS (2010)
Ludovic Piètre-Cambacédès, Marc Bouissou
Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes). SMC (2010)
Ludovic Piètre-Cambacédès, Marc Bouissou
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). EDCC (2010)
Marc Bouissou, Jean-Louis Bon
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82 (2) (2003)
Marc Bouissou
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems. FTCS (1993)