Personal information

Websites & social links

My research gate page
My homepage

Other IDs

Scopus Author ID: 7004638183

Countries

France

Activities

Collapse all

Employment (1)

EDF Lab Saclay: Palaiseau, Île-de-France, FR

Senior research engineer (PERICLES)
Employment
Source: Self-asserted source
Marc Bouissou

Works (50 of 60)

Items per page:
Page 1 of 2

A Compositional Semantics of Boolean-Logic Driven Markov Processes

IEEE Transactions on Dependable and Secure Computing
2024-03 | Journal article
DOI: 10.1109/TDSC.2023.3261270
Contributors: Shahid Khan; Joost-Pieter Katoen; Marc Bouissou
Source: check_circle
Crossref

Scalable Reliability Analysis by Lazy Verification

2021 | Book chapter
DOI: 10.1007/978-3-030-76384-8_12
Contributors: Shahid Khan; Joost-Pieter Katoen; Matthias Volk; Marc Bouissou
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A Compositional Semantics for Repairable BDMPs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-54549-9_6
EID:

2-s2.0-85090094909

Part of ISSN: 16113349 03029743
Contributors: Khan, S.; Katoen, J.-P.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Automatic translation from dynamic models to boolean representation suitable for i&ab quantification

Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
2020 | Conference paper
DOI: 10.3850/978-981-14-8593-0_4865-cd
EID:

2-s2.0-85107315528
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Automatic translation from dynamic models to boolean representation suitable for I&AB quantification

30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020
2020 | Conference paper
EID:

2-s2.0-85110381778
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Early integration of dependability studies in the design of cyber-physical systems

Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019
2020 | Conference paper
DOI: 10.3850/978-981-11-2724-30747-cd
EID:

2-s2.0-85089190718
Contributors: Bouissou, M.; Nguyen, T.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Explaining Boolean-Logic Driven Markov Processes using GSPNs

Proceedings - 16th European Dependable Computing Conference, EDCC 2020
2020 | Conference paper
DOI: 10.1109/EDCC51268.2020.00028
EID:

2-s2.0-85097155731
Contributors: Khan, S.; Katoen, J.-P.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Importance measures in repairable systems

Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
2020 | Conference paper
DOI: 10.3850/978-981-14-8593-0_4074-cd
EID:

2-s2.0-85107297222
Contributors: Bouissou, M.; Bäckström, O.; Krcal, P.; Wang, P.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Importance measures in repairable systems

30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020
2020 | Conference paper
EID:

2-s2.0-85110338339
Contributors: Bouissou, M.; Bäckström, O.; Krcal, P.; Wang, P.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Various ways to quantify BDMPs

Electronic Proceedings in Theoretical Computer Science, EPTCS
2020 | Conference paper
DOI: 10.4204/EPTCS.316.1
EID:

2-s2.0-85085708766

Part of ISSN: 20752180
Contributors: Bouissou, M.; Khan, S.; Katoen, J.-P.; Krcal, P.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Various Ways to Quantify BDMPs

arXiv
2020 | Other
EID:

2-s2.0-85095081168

Part of ISSN: 23318422
Contributors: Bouissou, M.; Khan, S.; Katoen, J.-P.; Krcal, P.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A new safety and security risk analysis framework for industrial control systems

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
2019 | Journal article
DOI: 10.1177/1748006X18765885
EID:

2-s2.0-85046717234

Part of ISSN: 17480078 1748006X
Contributors: Kriaa, S.; Bouissou, M.; Laarouchi, Y.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Synergizing reliability modeling languages: BDMPs without repairs and DFTs

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
2019 | Conference paper
DOI: 10.1109/PRDC47002.2019.00057
EID:

2-s2.0-85078472726

Part of ISSN: 15410110
Contributors: Khan, S.; Katoen, J.-P.; Volk, M.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Extensions of the I&AB method for the reliability assessment of the spent fuel pool of EPR

Safety and Reliability - Safe Societies in a Changing World - Proceedings of the 28th International European Safety and Reliability Conference, ESREL 2018
2018 | Conference paper
EID:

2-s2.0-85058076742
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Introduction and demonstration of the I&AB quantification method as implemented with RiskSpectrum PSA

PSAM 2018 - Probabilistic Safety Assessment and Management
2018 | Conference paper
EID:

2-s2.0-85063158933
Contributors: Bäckström, O.; Bouissou, M.; Gamble, R.; Krčál, P.; Sörman, J.; Wang, W.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A benchmark on reliability of complex discrete systems: Emergency power supply of a nuclear power plant

arXiv
2017 | Other
EID:

2-s2.0-85092806148
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A benchmark on reliability of complex discrete systems: Emergency power supply of a nuclear power plant

Electronic Proceedings in Theoretical Computer Science, EPTCS
2017 | Conference paper
DOI: 10.4204/EPTCS.244.8
EID:

2-s2.0-85018928814

Part of ISSN: 20752180
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components

Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016
2017 | Conference paper
EID:

2-s2.0-85016177375
Contributors: Bouissou, M.; Hernu, O.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A model based approach for SCADA safety and security joint modelling: S-cube

IET Conference Publications
2015 | Conference paper
DOI: 10.1049/cp.2015.0293
EID:

2-s2.0-84999048404
Contributors: Kriaa, S.; Bouissou, M.; Laarouchi, Y.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

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

Reliability Engineering and System Safety
2015 | Journal article
DOI: 10.1016/j.ress.2015.02.008
EID:

2-s2.0-84961342778

Part of ISSN: 09518320
Contributors: Kriaa, S.; Pietre-Cambacedes, L.; Bouissou, M.; Halgand, Y.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Common cause failures in discrete dynamic models: Theory and applications in the Figaro modelling language

Safety and Reliability of Complex Engineered Systems - Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015
2015 | Conference paper
DOI: 10.1201/b19094-199
EID:

2-s2.0-84959010913
Contributors: Donat, R.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

From modelica models to dependability analysis

IFAC-PapersOnLine
2015 | Conference paper
DOI: 10.1016/j.ifacol.2015.06.470
EID:

2-s2.0-84992482186

Part of ISSN: 24058963
Contributors: Bouissou, M.; De Bossoreille, X.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A simple yet efficient acceleration technique for Monte Carlo simulation

Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013
2014 | Conference paper
EID:

2-s2.0-84900000799
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Critical comparison of two user friendly tools to study Piecewise Deterministic Markov Processes (PDMP): Season 2

Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013
2014 | Conference paper
EID:

2-s2.0-84900010370
Contributors: Bouissou, M.; Chraïbi, H.; Chubarova, I.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Safety and security interactions modeling using the BDMP formalism: Case study of a pipeline

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-10506-2_22
EID:

2-s2.0-84907079855

Part of ISSN: 16113349 03029743
Contributors: Kriaa, S.; Bouissou, M.; Colin, F.; Halgand, Y.; Pietre-Cambacedes, L.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Cross-fertilization between safety and security engineering

Reliability Engineering and System Safety
2013 | Journal article
DOI: 10.1016/j.ress.2012.09.011
EID:

2-s2.0-84868221170

Part of ISSN: 09518320
Contributors: Pietre-Cambacedes, L.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Proposition of combined approach for architecture generation integrating component placement optimization

Proceedings of the ASME Design Engineering Technical Conference
2013 | Conference paper
DOI: 10.1115/DETC2013-12557
EID:

2-s2.0-84896988953
Contributors: Moullec, M.-L.; Jankovic, M.; Bouissou, M.; Bocquet, J.-C.; Maas, O.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Toward system architecture generation and performances assessment under uncertainty using bayesian networks

Journal of Mechanical Design, Transactions of the ASME
2013 | Journal article
DOI: 10.1115/1.4023514
EID:

2-s2.0-84877595255

Part of ISSN: 10500472
Contributors: Moullec, M.-L.; Bouissou, M.; Jankovic, M.; Bocquet, J.-C.; Réquillard, F.; Maas, O.; Forgeot, O.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Towards a uni-ed de-nition of minimal cut sequences

IFAC Proceedings Volumes (IFAC-PapersOnline)
2013 | Conference paper
DOI: 10.3182/20130904-3-UK-4041.00013
EID:

2-s2.0-84885664908

Part of ISSN: 14746670
Contributors: Chaux, P.-Y.; Roussel, J.-M.; Lesage, J.-J.; Deleuze, G.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Critical comparison of two user friendly tools to study piecewise deterministic markov processes (PDMP)

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012
2012 | Conference paper
EID:

2-s2.0-84873132812
Contributors: Bouissou, M.; Jankovic, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

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

7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012
2012 | Conference paper
DOI: 10.1109/CRISIS.2012.6378942
EID:

2-s2.0-84872068584
Contributors: Kriaa, S.; Bouissou, M.; Piètre-Cambacédès, L.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Product architecture generation and exploration using Bayesian networks

Proceedings of International Design Conference, DESIGN
2012 | Conference paper
EID:

2-s2.0-84879735656

Part of ISSN: 18479073
Contributors: Moullec, M.-L.; Bouissou, M.; Jankovic, M.; Bocquet, J.-C.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Product architectures generation under uncertainty: Comparison between two methods

Proceedings of the ASME Design Engineering Technical Conference
2012 | Conference paper
DOI: 10.1115/DETC2012-70644
EID:

2-s2.0-84884623801
Contributors: Moullec, M.L.; Jankovic, M.; Bouissou, M.; Bocquet, J.-C.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Qualitative analysis of a BDMP by Finite Automaton

Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011
2012 | Conference paper
EID:

2-s2.0-84856692664
Contributors: Chaux, P.-Y.; Roussel, J.-M.; Lesage, J.-J.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Systematic extraction of minimal cut sequences from a BDMP model

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012
2012 | Conference paper
EID:

2-s2.0-84873106462
Contributors: Chaux, P.-Y.; Roussel, J.-M.; Lesage, J.-J.; Deleuze, G.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Message from the DYADEM-FTS 2011 workshop organizers

Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011
2011 | Conference paper
DOI: 10.1109/ARES.2011.8
EID:

2-s2.0-80455173468
Contributors: Bode, A.; Bouissou, M.; Distefano, S.; Puliafito, A.; Trivedi, K.; Walter, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Security modeling with BDMP: From theory to implementation

2011 Conference on Network and Information Systems Security, SAR-SSI 2011, Proceedings
2011 | Conference paper
DOI: 10.1109/SAR-SSI.2011.5931382
EID:

2-s2.0-79960797622
Contributors: Pietre-Cambacedes, L.; Deflesselle, Y.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Attack and defense modeling with BDMP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-14706-7_7
EID:

2-s2.0-78649281480

Part of ISSN: 03029743 16113349
Contributors: Pietre-Cambacedes, L.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Beyond attack trees: Dynamic security modeling with Boolean logic Driven Markov Processes (BDMP)

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference
2010 | Conference paper
DOI: 10.1109/EDCC.2010.32
EID:

2-s2.0-77954331938
Contributors: Pietre-Cambacedes, L.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Message from the organizers

ACM International Conference Proceeding Series
2010 | Conference paper
EID:

2-s2.0-77954597093
Contributors: Bode, A.; Bouissou, M.; Distefano, S.; Puliafito, A.; Trivedi, K.; Walter, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

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

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
2010 | Conference paper
DOI: 10.1109/ICSMC.2010.5641922
EID:

2-s2.0-78751538732

Part of ISSN: 1062922X
Contributors: Pietre-Cambacedes, L.; Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

BDMP (Boolean logic driven Markov processes)® as an alternative to event trees

Safety, Reliability and Risk Analysis: Theory, Methods and Applications - Proceedings of the Joint ESREL and SRA-Europe Conference
2009 | Conference paper
EID:

2-s2.0-79952355306
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A generalization of Dynamic Fault Trees through Boolean logic Driven Markov Processes (BDMP)®

Proceedings of the European Safety and Reliability Conference 2007, ESREL 2007 - Risk, Reliability and Societal Safety
2007 | Conference paper
EID:

2-s2.0-56149112629
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A new tool for reliability studies of electrical networks with stand-by redundancies: OPALE

2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS
2006 | Conference paper
DOI: 10.1109/PMAPS.2006.360427
EID:

2-s2.0-46149094176
Contributors: Breton, E.; Bouissou, M.; Aupied, J.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

High level representations for Markov analysis of complex dynamic systems

Proceedings of the IASTED International Conference on Modeling and Simulation
2004 | Conference paper
EID:

2-s2.0-18944387030

Part of ISSN: 10218181
Contributors: Bouissou, M.; Muffat, S.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A bayesian belief network based method for performance evaluation and troubleshooting of multistate systems

International Journal of Reliability, Quality and Safety Engineering
2003 | Journal article
DOI: 10.1142/S0218539303001275
EID:

2-s2.0-1642576945

Part of ISSN: 02185393
Contributors: Bouissou, M.; Pourret, O.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

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

Reliability Engineering and System Safety
2003 | Journal article
DOI: 10.1016/S0951-8320(03)00143-1
EID:

2-s2.0-0141793198

Part of ISSN: 09518320
Contributors: Bouissou, M.; Bon, J.-L.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

A path-based algorithm to evaluate asymptotic unavailability for large Markov models

Proceedings of the Annual Reliability and Maintainability Symposium
2002 | Conference paper
EID:

2-s2.0-0036127460

Part of ISSN: 0149144X
Contributors: Bouissou, M.; Lefebvre, Y.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Availability of an intermittently required system: Application to a fossil fuel power plant

International Journal of Reliability, Quality and Safety Engineering
2001 | Journal article
DOI: 10.1142/S0218539301000517
EID:

2-s2.0-77950053423

Part of ISSN: 02185393
Contributors: Bouissou, M.; Lefebvre, Y.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier

Using Belief Networks (SERENE Method) to formalise critical information systems dependability,Formalisation de l'argumentaire de sûreté d'un système programmé critique à l'aide d'un réseau bayésien, selon la méthode SERENE

REE, Revue de L'Electricite et de L'Electronique
2000 | Journal article
DOI: 10.3845/ree.2000.019
EID:

2-s2.0-24044444981

Part of ISSN: 12656534
Contributors: Bouissou, M.
Source: Self-asserted source
Marc Bouissou via Scopus - Elsevier
Items per page:
Page 1 of 2
How many people are using ORCID?