Computer and Software Safety Considerations in Support of System Hazard Analysis, 21 st International Safety Society Conférence, pp.1030-1038, 2003. ,
Annotated Bibliography on Stochastic Petri Nets Performance Evaluation of Parallel and Distributed Systems: Solution Methods Centrum voor Wiskunde en Informatica O, pp.25-44, 1994. ,
Test de modèles formels en B : Cadre théorique et critères de couverture, Thèse de doctorat, 2000. ,
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems, 23rd International. Symposium on Fault-Tolerant Computing, pp.668-673, 1993. ,
Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
Evaluating Accident Models Using Recent Aerospace Accidents, NASA Report, pp.2-18, 2001. ,
Design Diversity: an Update from Research on Reliability Modelling, Proceedings Safety-Critical Systems Symposium, 2001. ,
DOI : 10.1007/978-1-4471-0713-2_11
relative à la prévention des risques technologiques et naturels et à la réparation des dommages, Chapitre 5, article 21, 2003. ,
Procedure for treating common cause failures in safety and reliability studies :procedural framework and examples, 1988. ,
Dependability and Fault Tolerance Concepts for monitoring transportation systems in FMS, Advances in Information Systems Research ,
ICDE Project Report on Collection and Analysis of Common-Cause Failures of Emergency Diesel Generators ICDE Project Report on Collection and Analysis of Common-Cause Failures for Safety Valves and Relief Valves, Rapport NEA/CSNI, vol.20, p.2002, 2000. ,
Principles of Declarative Programming, 10th International Symposium, PLILP'98, 1998. ,
Raisonnement à base de cas dans une structure de capitalisation des connaissances orientée objet, 8ème Atelier de Raisonnement à Partir de Cas (RàPC'2000), 2000. ,
AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement, Thèse de doctorat, 2000. ,
Hardware-Software Interaction in Dependability Modelling of Fault Tolerant System, acts of 17 th Annual UK Performance Engineering Workshop (UKPEW'01), 2001. ,
Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia, Reliability Engineering and System Safety, vol.58, pp.127-144, 1997. ,
SIL Model for IEC61508, Examination of Modes of Operation, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, issue.5, pp.863-865, 2000. ,
Dealing with dormant faults in an embedded fault-tolerant computer system, IEEE Transactions on Reliability, vol.52, issue.4, pp.512-522, 2003. ,
DOI : 10.1109/TR.2003.821943
Définition d'une méthodologie de conception des systèmes mécatroniques sûres de fonctionnement, Thèse de doctorat, Institut National Polytechnique de Lorraine (CRAN), 2004. ,
Availability analysis and stationary regime detection of Markov Models IRISA (Institut de recherche en informatique et systèmes aléatoires) Rapport 2886, 17pp, 1996. ,
Safe programming of PLC using formal verification methods " , actes de l'ICP'00, pp.73-78, 2000. ,
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-164, 2003. ,
DOI : 10.1016/S0951-8320(03)00143-1
Bridging the gap between systemsand dynamic fault tree models, Proc. of the 1999 Reliability and Maintainability Symposium pp 105-111, 1999. ,
Cognitive Reliability and Error Analysis Model-CREAM, p.302, 1998. ,
Formalisation du savoir et des outils dans le domaine des risques majeurs (DRA-35)-Rapport ?-7 -Outils d'analyse des risques générés par une installation industrielle " ; direction des risques accidentels, 2003. ,
The reliability of Diverse Systems: A contribution using Modelling of the Fault Creation Process, acts of International Conference on Dependable Systems and Networks (DSN'01), 2001. ,
Hardware-Software Interaction in Dependability Modelling of Fault Tolerant System " , acts of 17 th Annual UK Performance Engineering Workshop (UKPEW'01), pp.18-19, 2001. ,
Evaluation of systems reliability by means of binary decision diagram, Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, pp.521-528, 1999. ,
Risk management in a dynamic society: a modelling problem, Safety Science, vol.27, issue.2-3, pp.183-213, 1997. ,
DOI : 10.1016/S0925-7535(97)00052-0
Handbook of Human Reliability Analysis with Emphasis on Nuclear Power Plant Application, U.S. Nuclear Regulatory Commission, 1983. ,
Modelling Failure Dependencies in Reliability using GSPN " , actes de l'European Simulation Multi-conference (ESM '97), 1997. ,
Introduction to Linear Logic, 1996. ,
Introduction to Discrete Event Systems, 1999. ,
Approche générique du conflit, actes de conférence Ergo-IHM 2000 octobre, pp.3-6, 2000. ,
Critical scenarios derivation methodology for mechatronic systems, Reliability Engineering & System Safety, vol.84, pp.33-44, 2004. ,
Psychologie cognitive de la planification, 1987. ,
Structured Development for Real-Time Systems, p.468, 1985. ,
Strategies for Real-Time System Specification " ; Dorset House, 1987. ,
Evaluation of systems reliability by means of binary decision diagram, Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, pp.521-528, 1999. ,
Modelling and Analyzing the Effects of Periodic Inspection on the Performance of Safety-Critical Systems, IEEE Transactions on Reliability, vol.50, issue.3, 2001. ,
Dynamic Reliability, a new model, pp.350-358, 2002. ,
FIDES et Ingénierie fiabilité en électronique, Actes de conférence, Lambda Mu 04, pp.12-19, 2004. ,
Agrégation/Abstraction de modèle pour l'analyse et l'organisation de réseaux de flux, Thèse de doctorat Ecole Nationale Supérieure agronomique de Montpellier, Génie des procédés, partie III-2-2, pp.45-56, 2003. ,
The reliability of Diverse Systems: A contribution using Modelling of the Fault Creation Process, acts of International Conference on Dependable Systems and Networks (DSN'01), 2001. ,
Enhanced markov analysis as a method to assess safety in the process industry, Thèse de doctorat Technische Universiteit Eindhoven, 157p, 2001. ,
Availability of systems with self-diagnostic components, applying Markov models to IEC61508-6"; Reliability Engineering and System Safety 80, pp.133-141, 2003. ,
Définition d'une méthodologie de conception des systèmes mécatroniques sûres de fonctionnement, Thèse de doctorat, Institut National Polytechnique de Lorraine (CRAN), 2004. ,
Availability analysis and stationary regime detection of Markov Models IRISA (Institut de recherche en informatique et systèmes aléatoires) Rapport 2886, 17pp, 1996. ,
Human reliability modelling " extracted from " New trends in System Reliability Evaluation, pp.369-410, 1993. ,
Physics of Failure as an Integrated Part of Design for Reliability, acts of Conference ARTS'16 (Advances in Reliability Technology Symposium) ,
Estimation de la fiabilité par les essais accélérés " ; LASQUO EA 3858, Angers, Mécanique & Industries, vol.6, pp.155-167, 2005. ,
An efficient Method to Evaluate CRC-Polynomials for Safety-Critical Industrial CommunicationSystem Modelling Control-2005, 19.10.2005, Byczkowska-Lipinska, L. et al, pp.269-274, 2005. ,
Comparaison et évaluation des méthodes de calcul des facteurs d'importance fiabiliste pour les systèmes dynamiques, actes du congrés Qualita, 2005. ,
Modelling and Analyzing the Effects of Periodic Inspection on the Performance of Safety-Critical Systems, IEEE Transactions on Reliability, vol.50, issue.3, 2001. ,
La tolérance aux pannes dans les systèmes répartis, cours du CNAM, 1995. ,
SILKEY: A Tool for the automatic evaluation of safety and availability of multi-level Redundancies Architecture, 21 st International Safety Society Conférence, pp.1092-1102, 2003. ,