Marc Bouissou

IEEE Trans. Dependable Secur. Comput., 2024

2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

[BibT_eX]

[DOI]

Dataset, August, 2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

[BibT_eX]

[DOI]

Dataset, August, 2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

[BibT_eX]

[DOI]

Dataset, August, 2022

2021

Scalable Reliability Analysis by Lazy Verification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Model Checking the Multi-Formalism Language FIGARO.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

ARCH-COMP21 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Various Ways to Quantify BDMPs.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

A Compositional Semantics for Repairable BDMPs.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

Explaining Boolean-Logic Driven Markov Processes using GSPNs.

[BibT_eX]

[DOI]

Proceedings of the 16th European Dependable Computing Conference, 2020

2019

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

2017

A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2015

A survey of approaches combining safety and security for industrial control systems.

[BibT_eX]

[DOI]

Siwar Kriaa

Yoran Halgand

Reliab. Eng. Syst. Saf., 2015

2014

Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

Cross-fertilization between safety and security engineering.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2013

2012

Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments.

[BibT_eX]

[DOI]

Siwar Kriaa

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2010

Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2010

Attack and Defense Modeling with BDMP.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2010

Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP).

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

2003

A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes.

[BibT_eX]

[DOI]

Jean-Louis Bon

Reliab. Eng. Syst. Saf., 2003

1993

The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.

[BibT_eX]

[DOI]