Publications of Marc Bouissou
Publications
in Google Scholar
Copyright
notice
The documents contained in this page
are included by the contributing authors for dissemination of scholarly and
technical work on a non-commercial basis. Copyright and all rights therein are
maintained by the authors or by other copyright holders. These documents may
not be reposted without the explicit permission of the copyright holder.
HDR (Habilitation
à diriger des recherches)
Titre : Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes
Title:
The management of complexity in quantitative dependability analysis of systems
Book/livre
"Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes"
Lavoisier, éditions TEC&DOC, Octobre 2008.
Ce livre reprend le contenu du mémoire d’HDR, en le rendant plus facile à lire car plus autoportant et en le complétant par des exemples concrets de systèmes complexes et une partie supplémentaire consacrée aux séquences minimales.
Books/livres (contributions)
M. BOUISSOU
Chapitre "Les réseaux bayésiens"
dans Démarche bayésienne et applications à la sûreté de fonctionnement, Ouvrage
collectif sous la direction de Henri Procaccia, Marie-Christine Suhner,
Lavoisier, coll. Hermes
science, 349-357. (2003)
M. BOUISSOU, Y. DUTUIT, S. MAILLARD
Chapter "Reliability Analysis of a Dynamic Phased Mission System:
Comparison of Two Approaches"
in Modern Statistical and Mathematical Methods in Reliability, Wilson A,
Limnios N, Keller-McNulty S, Armijo Y (eds) World Scientific, Singapore,
87-104. (2005)
M.
BOUISSOU, F. ROSSIGNOL
Chapitre "Des limites à repousser dans le domaine de la sûreté de
fonctionnement"
dans "Risques industriels - Complexité, incertitude et décision : une
approche interdisciplinaire",
ouvrage collectif d'EDF R&D, dépt. MRI, dirigé par Magne L. et Vasseur D., Lavoisier, 13-40. (2006)
M. BOUISSOU, P. ULMEANU
Chapter "Two computational methods for performing availability analysis of
power-systems"
in Safety and Reliability of Industrial Products, Systems and Structures,
Carlos Guedes Soares (ed.). CRC Press. (2010).
Journals/revues
1. M.
BOUISSOU
Recherche et quantification automatiques de séquences accidentelles pour un
système réparable
Publié initialement dans le 5ème congrès de fiabilité et maintenabilité, Biarritz,
octobre 1986, repris dans la revue EDF bulletin de la direction des Etudes et
Recherches - Série A, N°1 en 1987.
2. R.
CARTIER, B. ROUX, M. BOUISSOU, P. LE
La fiabilité appliquée à la robotique : opération I.S.I.S.
5ème congrès de fiabilité et maintenabilité, Biarritz, octobre 1986, repris
dans la revue EDF bulletin de la direction des Etudes et Recherches - Série A,
N°1 en 1987.
3. C.
ANCELIN, M. BANNELIER, H. BOUHADANA, M. BOUISSOU, J.Y. LUCAS, L. MAGNE, N.
VILLATTE
Poste de travail basé sur l'intelligence artificielle pour les études de
fiabilité.
Revue Française de Mécanique, Numéro spécial "les systèmes experts et la
mécanique" N°1990-2, ISSN 0373-6601.
4. M.
BOUISSOU
FIGARO : un outil de modélisation en fiabilité
Revue "Faits marquants" d'EDF/DER, 1990.
5. M.
BOUISSOU, J. L. BON
Fiabilité
des grands systèmes séquentiels : résultats théoriques et applications dans le
cadre du logiciel GSI
Revue de statistique appliquée, numéro spécial, 1992. Note EDF HT-53/92-46A.
Fonds COLDER.
6.
C.
ANCELIN, M. BOUISSOU, J. COLLET, M. GALLOIS, L. MAGNE, N. VILLATTE, C. YEDID,
D. MULET MARQUIS
From LESSEPS to the Workstation for Reliability Engineers
Revue "Reliability Engineering and System Safety", Vol. 44 N° 3,
1994.
7. M.
BOUISSOU, E. BOURGADE
Evaluation et allocation d’indisponibilité à la conception des tranches
nucléaires : méthodes et outils
Revue Française de Mécanique N° 1997-2, juillet 1997.
8. M.
BOUISSOU
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'Electricité et de l'Electronique), février 2000, pp 90-97.
9.
M.
BOUISSOU, Y. LEFEBVRE
Availability of an intermittently required system: application to a fossil fuel
power plant
International Journal of Reliability, Quality, and Safety Engineering, Vol.8,
N°3 (2001) 259-269.
10.
M.
BOUISSOU, O. POURRET
A Bayesian Belief Network based method for performance evaluation and
troubleshooting of multistate systems
International Journal of Reliability, Quality, and Safety Engineering, Vol.10,
N°4 (2003) 407-416.
11.
M.
BOUISSOU, J.L. BON
A new formalism that combines advantages of fault-trees and Markov models:
Boolean logic Driven Markov Processes
Reliability Engineering and System Safety, Volume 82, Issue 2,
12. M. BOUISSOU
Dix petits problèmes de
modélisation (en sûreté de fonctionnement des systèmes)
Revue Phoebus N°34 (Juillet-Août-Septembre 2005).
13. M. BOUISSOU
Etudes de fiabilité des systèmes : les
processus de Markov sortent de leur réserve mathématique grâce aux BDMP
La lettre des techniques de l'ingénieur, décembre 2006.
14. Moullec, M.-L., Bouissou, M., Jankovic, M., Bocquet,
J.-C., Réquillard, F., Maas, O. & Forgeot, O. (2013),
Towards System Architecture Generation
and Performances Assessment Under Uncertainty Using Bayesian Networks
Journal of Mechanical Design 135(4):041002-13.
15. Piètre-Cambacédès, L. & Bouissou, M. (2013),
Cross-fertilization between safety and
security engineering
Reliability Engineering and System Safety Volume 110, Pages 110 - 126.
16. Piètre-Cambacédès,
L. & Bouissou, M. (2013),
Sûreté et sécurité des systèmes cyber-physiques : vers une approche intégrée',
Revue Préventique.
Papers in conferences/communications
(Dans des conférences nationales et internationales avec comité scientifique
et actes) :
1.
M.
BOUISSOU, N. VILLATTE
GSI2, a simple link between the FMEA and the quantification for complex
sequential systems ; automatic generation of FMEA by an expert system
IASTED international symposium. Reliability and Quality Control, Paris, June
1987.
2.
M.
BOUISSOU, N. VILLATTE
Drastic Cut of Man's Work in Reliability Studies by using an Expert System.
10th International Joint Conference on Artificial Intelligence (IJCAI), Milano,
August 1987.
3. VILLEMEUR,
M. BOUISSOU, A. DUBREUIL-CHAMBARDEL
Accident Sequences: Methods to Compute Probabilities
PSA'87, Zurich, September 1987.
4. M.
BOUISSOU, P. LE, N. VILLATTE
Modélisation par arbre de défaillances et graphe d'états : génération par
système expert et quantification
6ème congrès de fiabilité et maintenabilité, Strasbourg, octobre 1988.
5. C.
ANCELIN, M. BOUISSOU, P. LE, N. VILLATTE
Un environnement système expert pour les études de fiabilité
6ème congrès de fiabilité et maintenabilité, Strasbourg, octobre 1988.
6.
ARENY
A., M. BOUISSOU, DUBREUIL-CHAMBARDEL A., DE SAINT-QUENTIN S., HEROU J.J.
Unavailability of Protection and Safeguard Automatic System on Protective
Action
Operability of Nuclear Systems in Normal and Adverse Environments International
Conference, January 1989.
7.
C.
ANCELIN, M. BOUISSOU, P. LE, S. de SAINT QUENTIN, N. VILLATTE
A "living" PSA based on use of expert systems
PSA'89, Pittsburgh, April 1989.
8. C.
ANCELIN, M. BANNELIER, H. BOUHADANA, M. BOUISSOU M., J.Y. LUCAS, L. MAGNE, N.
VILLATTE
Un poste de travail basé sur l'intelligence artificielle pour les études de
fiabilité.
7ème congrès de Fiabilité et Maintenabilité, Brest, octobre 1990. Note EDF
HT-53/90-17A.
9.
M. BOUISSOU, H. BOUHADANA, M. BANNELIER, N.
VILLATTE
Modélisation des connaissances et traitements fiabilistes : présentation du
langage FIGARO et des outils associés
3ème Colloque FIABEX, Issy les Moulineaux, décembre 1990. Note EDF HT-53/90-74A.
10. M.
BOUISSOU, N. VILLATTE, J.Y. LUCAS, H. BOUHADANA, M. BANNELIER
Présentation de l'atelier FIGARO d'études de fiabilité des systèmes
Congrès IA, Avignon 91.
11. M. BOUISSOU, H. BOUHADANA, M.
BANNELIER, N. VILLATTE
Knowledge modelling and reliability processing :
presentation of the FIGARO language and associated tools
Safecomp'91,
12. M.
BOUISSOU, J. COLLET, J. P. SIGNORET, D. EHRET
JESSICA : un nouvel outil de simulation de Monte-Carlo
ESREL'92, Copenhague, juin 92. Note
EDF HT-53/92-47A. Fonds COLDER.
13. C. ANCELIN,
J.Y. LUCAS, L. MAGNE, M. BOUISSOU, J. MOLINERO
LESSEPS ou la gestion automatisée des études de fiabilité
7ème congrès de fiabilité et maintenabilité, Grenoble, 1992.
14.
M.
BOUISSOU
Modelling and Assessing Fault-Tolerant Computer Systems with the FIGARO
Dependability Evaluation Workbench
International Workshop on Fault and Error Models of Failures in Computer
Systems, Palm Beach, January 1993.
15.
J.C.
MADRE, O. COUDERT, H. FRAISSE, M. BOUISSOU
Application of a New Logically Complete ATMS to Digraph and Network
Connectivity Analysis
RAMS'94, Annaheim, janvier 1994. Note EDF HT-53/93-63A. Fonds COLDER.
16.
M.
BOUISSOU
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for
Fault-Tolerant Computer Systems
FTCS'23, Toulouse, June 1993.
17.
M. BOUISSOU
Une heuristique d'ordonnancement des variables pour la construction des
Diagrammes de Décision Binaires à partir d'arbres de défaillance
9ème congrès de fiabilité et maintenabilité, La Baule, mai 1994. Note EDF HT-52/95-003A. Fonds
COLDER.
18.
M.
BOUISSOU
An Ordering Heuristic for Building Binary Decision Diagrams from Fault-Trees
RAMS'96, Las Vegas, January 1996. Fonds COLDER.
19.
M.
BOUISSOU, Y. DUTUIT
Two Approaches to Analyse a Sequential, non Coherent and Looped System
ESREL’96, Crète, juin 1996.
20.
M.
BOUISSOU, C. BRIZEC
Application of Two Generic Availability Allocation Methods to a Real
Life Example
ESREL’96, Crète, juin 1996.
21. E. DUHESME,
J.C. LALEUF, J.F. HERY, M. BOUISSOU
De la modélisation des systèmes bouclés à la génération automatique d’arbres de
défaillances
10ème congrès de fiabilité et maintenabilité, St Malo, octobre 1996
22. M.
BOUISSOU, E. BOURGADE
Evaluation et allocation d’indisponibilité à la conception des tranches
nucléaires : méthodes et outils
Journées Franco-allemandes de la SFM, Courbevoie, novembre 1996.
23.
M.
BOUISSOU, E. BOURGADE
Unavailability Evaluation and Allocation at the Design Stage for
Electric Power Plants: Methods and Tools
RAMS'97, Philadelphie, janvier 1997. Fonds COLDER.
24.
M.
BOUISSOU, F. BRUYERE, A. RAUZY
BDD Based Fault-Tree Processing: a comparison of variable ordering heuristics
ESREL’97, Lisbonne, June 1997.
25.
M.
BOUISSOU, F. MARTIN, A. OURGHANLIAN
Assessment of a Safety Critical System Including Software: a
Bayesian Belief Network for Evidence Sources
RAMS'99, Washington, janvier 1999.
This paper
obtained the "P.K. Mc Elroy Award for Best Paper " of this conference.
26. M. BOUISSOU
Deux méthodes originales pour calculer les
performances d'un système possédant des états de fonctionnement dégradé
12ème congrès de fiabilité et maintenabilité, Montpellier, 2000.
27.
M.
BOUISSOU, Y. LEFEBVRE
Availability of an intermittently required system
10th ASMDA symposium, Compiègne, June 2001.
28. T. GAUDRE,
M. BOUISSOU, P. CHAUSSIS, P. NONCLERCQ
Application de l’outil KB3-IFAST (ARALIA
inside) de génération automatique d’Arbres de Défaillances à un système
électronique embarqué automobile
2ème Conférence Annuelle d’Ingénierie Système, Toulouse, Juin 2001.
29.
M.
BOUISSOU, Y. LEFEBVRE,
Availability of an intermittently required
system: application to a fossil fuel power plant
7th ISSAT conference,
30. M. BOUISSOU
Les méthodes d'allocation : principes
mathématiques
Actes de la journée ISDF sur l'allocation du 13/12/2001.
31.
M.
BOUISSOU, Y. LEFEBVRE,
A Path-Based Algorithm to Evaluate Asymptotic Unavailability for Large Markov
Models
RAMS 2002, Seattle (USA), January 2002
32.
M.
BOUISSOU, NGUYEN THUY
Decision making based on expert assessments: Use of Belief Networks to
take into account uncertainty, bias, and weak signals
ESREL 2002, Lyon (
33.
M.
BOUISSOU, S. HUMBERT, S. MUFFAT, N. VILLATTE
KB3 tool: feedback on knowledge bases
ESREL 2002, Lyon (
34.
M.
BOUISSOU, J.C. HOUDEBINE
Inconsistency detection in KB3 models
ESREL 2002, Lyon (
35.
M.
BOUISSOU
Boolean Logic Driven Markov Processes: a powerful new formalism for
specifying and solving very large Markov models
PSAM6,
36.
P.
CARER, J. BELLVIS, M. BOUISSOU, J. DOMERGUE, J. PESTOURIE
A new method for reliability assessment of
electrical power supplies with standby redundancies
PMAPS 2002, Napoli (Italy),
September 2002
37. M.
BOUISSOU, S. MUFFAT,
Automatisation de l'étude de sûreté de
fonctionnement de systèmes dynamiques complexes à l'aide de méthodes
markoviennes
Convergence'03, Paris, Décembre 2003
38.
M.
BOUISSOU, S. MUFFAT,
High level representations for Markov
analysis of complex dynamic systems
IASTED Modeling and Simulation, Marina del Rey, (USA), March 2004
39.
M.
BOUISSOU, Y. DUTUIT,
Reliability analysis of a dynamic phased
mission system
MMR 2004 Mathematical Methods in Reliability, Santa Fe, (USA), June 2004
40. M. BOUISSOU,
H. CHRAIBI, S. MUFFAT,
Utilisation de la Simulation de Monte Carlo
pour la résolution d’un benchmark (MINIPLANT)
14ème congrès de fiabilité et maintenabilité, Bourges, (France), Octobre 2004
41. A.S.
DERODE, M. BOUISSOU,
Approximation exponentielle de la fiabilité :
cas des systèmes à réparations différées
14ème congrès de fiabilité et maintenabilité, Bourges, (France), Octobre 2004
42. J. PESTOURIE, G. MALARANGE, E. BRETON, S. MUFFAT,
M. BOUISSOU,
Etude de la sûreté de fonctionnement
d’un poste source EDF (90/20 kV) avec le logiciel OPALE
14ème congrès de fiabilité et maintenabilité, Bourges, (France), Octobre 2004
43.
M. BOUISSOU,
Automated Dependability Analysis of
Complex Systems with the KB3 Workbench: the Experience of EDF R&D
The International
Conference on ENERGY and ENVIRONMENT, CIEM 2005,
44. M.
BOUISSOU, C. SEGUIN
Comparaison des
langages de modélisation AltaRica et FIGARO
15ème colloque de fiabilité et maintenabilité, Lille, (France), Octobre 2006.
45. M. BOUISSOU
Détermination efficace de scenarii minimaux
de défaillance pour des systèmes séquentiels
15ème colloque de fiabilité et maintenabilité, Lille, (France), Octobre 2006.
46. A.S.
DERODE, M. BOUISSOU
Construction directe d'un processus réduit aux états
lents à partir de la description locale d'un processus de Markov raide
15ème colloque de fiabilité et maintenabilité, Lille, (France), Octobre 2006.
47.
M.
BOUISSOU
A Generalization of Dynamic Fault Trees through
Boolean logic Driven Markov Processes (BDMP)®
ESREL 2007,
48.
M.
BOUISSOU
Comparison of two Monte Carlo schemes for
simulating Piecewise Deterministic Markov Processes
MMR07,
49. M. BOUISSOU
BDMP (Boolean logic Driven Markov Processes)
® as an alternative to Event Trees
ESREL
2008,
50. G. TORRENTE, M. BOUISSOU
Méthodologie de développement de bases de
connaissances pour la SdF avec l’environnement Open-Source « Visual
Figaro »
16ème colloque de fiabilité et maintenabilité, Avignon, (France), Octobre 2008.
51. L. PIETRE-CAMBACEDES,
M. BOUISSOU
The promising potential of the BDMP
formalism for security modeling
DSN 2009,
52. M. BOUISSOU
Using BDMP (Boolean logic Driven Markov Processes)
® for multi-state system analysis
MMR 2009,
53. L. PIETRE-CAMBACEDES,
M. BOUISSOU
Beyond attack trees: dynamic security modeling with Boolean logic Driven Markov
Processes (BDMP)
EDCC 2010,
54. L. PIETRE-CAMBACEDES,
M. BOUISSOU
Attack and defense dynamic modeling with BDMP
MMM-ACNS
55. L. PIETRE-CAMBACEDES,
M. BOUISSOU
Modeling safety and security interdepedencies with BDMP (Boolean logic Driven
Markov Processes)
SMC 2010, Istambul, October 2010.
56. M. BOUISSOU
Digraphs : le retour
17ème colloque de fiabilité et maintenabilité, La Rochelle (France), Octobre
2010.
57. Deflesselle, Y., Piètre-Cambacédès, L. & Bouissou,
M. (2011),
Security modeling with BDMP: from theory to implementation,
in 'Conference on Network and Information Systems Security (SAR-SSI), 2011',
ieeexplore.ieee.org, La Rochelle (France).
58. Bouissou, M. & Bourreau, B. (2012),
Revue des applications des réseaux bayésiens dynamiques en analyse des risques,
in '18ème colloque fiabilité et maintenabilité'.
59. Bouissou, M. &
Jankovic, M. (2012),
Critical comparison of two user friendly tools to study Piecewise Deterministic
Markov Processes (PDMP),
in 'European Safety and Reliability conference ESREL 2012'.
60. Kriaa, S., Bouissou, M. & Piètre-Cambacédès, L.
(2012),
Modeling the Stuxnet Attack with BDMP: Towards More Formal Risk Assessments,
in 'CRISIS 2012'.
61. Chaux, P.-Y., Roussel, J.-M., Lesage, J.-J., Deleuze,
G. & Bouissou, M. (2012),
Systematic extraction of Minimal Cut Sequences from a BDMP model,
in 'European Safety and Reliability conference ESREL 2012'.
62. Piètre-Cambacédès,
L., Bouissou, M. & Chaudet, C. (2012),
Des relations entre sûreté et sécurité,
in '18ème colloque fiabilité et maintenabilité', Tours.
This paper obtained a
"Lambda mu d'or" of this conference.
63. Moullec, M.-L., Bouissou, M., Jankovic, M. & Bocquet, J.-C. (2012),
Product architecture generation and exploration using Bayesian networks,
in 'DESIGN 2012'.
64. Moullec, M.-L., Jankovic, M., Bouissou, M. &
Bocquet, J.-C. (2012),
Product architectures generation under uncertainty: comparison between two
methods,
in 'IDETC 2012'.
65. Moullec, M.-L., Bouissou, M., Jankovic, M. &
Bocquet, J.-C. (2012),
Use of a Bayesian nets-based method to automatically generate complex product
architectures: application on the cooling system of a radar active antenna,
in 'CSDM 2012'.
66. Kriaa, S., Raspotnig, C., Bouissou, M.,
Piètre-Cambacédès, L., Karpati, P., Halgand, Y. & Katta, V. (2013),
Comparing Two Approaches to Safety and Security Modelling: BDMP Technique and
CHASSIS Method,
in 'Enlarged Halden Programme Group meeting 2013'.
67. Moullec, M.-L., Jankovic, M., Bouissou, M., Bocquet,
J.-C. & Maas, O. (2013),
Proposition of combined approach for architecture generation integrating
component placement optimization,
in 'ASME 2013 International Design Engineering Technical Conference (IDETC
2013)'.
68. Bouissou, M. (2013),
A simple yet efficient acceleration technique for Monte Carlo simulation,
in 'European Safety and Reliability conference (ESREL 2013)'.
69. Bouissou, M.,
Chubarova, I. & Chraibi, H. (2013),
Critical comparison of two user friendly tools to study Piecewise Deterministic
Markov Processes (PDMP): season 2,
in 'European Safety and Reliability conference (ESREL 2013)'.