Marc Bouissou

18 papers A 1B 3C 2Misc 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Compositional Semantics of Boolean-Logic Driven Markov Processes.
IEEE Trans. Dependable Secur. Comput.
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 A conf
Model Checking the Multi-Formalism Language FIGARO.
DSN
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
2021 — conf
Scalable Reliability Analysis by Lazy Verification.
NFM
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2020 B conf
A Compositional Semantics for Repairable BDMPs.
SAFECOMP
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020 Misc conf
Explaining Boolean-Logic Driven Markov Processes using GSPNs.
EDCC
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020 — conf
Various Ways to Quantify BDMPs.
MARS
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
2019 C conf
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.
PRDC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2017 — conf
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant.
MARS
Marc Bouissou
2015 J jnl
A survey of approaches combining safety and security for industrial control systems.
Reliab. Eng. Syst. Saf.
Siwar Kriaa, Ludovic Piètre-Cambacédès, Marc Bouissou, Yoran Halgand
2014 B conf
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline.
SAFECOMP
Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Piètre-Cambacédès
2013 J jnl
Cross-fertilization between safety and security engineering.
Reliab. Eng. Syst. Saf.
Ludovic Piètre-Cambacédès, Marc Bouissou
2012 C conf
Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments.
CRiSIS
Siwar Kriaa, Marc Bouissou, Ludovic Piètre-Cambacédès
2010 — conf
Attack and Defense Modeling with BDMP.
MMM-ACNS
Ludovic Piètre-Cambacédès, Marc Bouissou
2010 Misc conf
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP).
EDCC
Ludovic Piètre-Cambacédès, Marc Bouissou
2010 B conf
Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes).
SMC
Ludovic Piètre-Cambacédès, Marc Bouissou
2003 J jnl
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes.
Reliab. Eng. Syst. Saf.
Marc Bouissou, Jean-Louis Bon
1993 — conf
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.
FTCS
Marc Bouissou