Fault Injection and Dependability Evaluation of Fault-Tolerant Systems, IEEE Trans. on Computers, vol.42, issue.8, pp.913-936, 1993. ,
Analytical Modeling and Evaluation of Phased Mission Systems in space Applications, 2nd IEEE High Assurance System Engineering Workshop (HASE), pp.85-91, 1997. ,
Dependability Modeling and Sensitivity Analysis of Scheduled Maintenance Systems, 3rd European Dependable Computing Conference (EDCC-3), pp.7-23, 1999. ,
VAX/VMS Event Monitoring and Analysis, Proc. 25th Int'l Symposium on FaultTolerant Computing (FTCS-25), pp.414-437, 1995. ,
, Techniques d'analyse de la fiabilité des systèmes-Procédure d'Analyse des Modes de Défaillance et de leurs Effets (AMDE), Commission Électrotechnique Internationale (CEI), Rapport de Normalisation N°812, 1985.
An Operational Availability of a Large SoftwareBased Telecommunications System, 25th IEEE International Symposium On Fault Tolerant Computing (FTCS25), pp.358-66, 1992. ,
Best Current Practice: Software Reliability Engineering, pp.45370-930326, 1992. ,
Dependability Evaluation of an Air Traffic Control Computing System, 7th Workshop on Future Trends of Distributed Computing Systems (FTDCS'97), vol.35, pp.553-73, 1997. ,
Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling, Statistical and Probabilistic Models in Reliability, pp.321-356, 1999. ,
Metrics for Small Projects: Experiences at the SED, IEEE Trans. on Reliability, R, vol.39, issue.4, pp.409-427, 1985. ,
Conception de logiciels surs de fonctionnement : analyse de la sureté des logiciels-mécanismes de décision pour la programmation en N-versions, INP, 1987. ,
Failure Analysis and Validation of a Telecommunication Equipment Software System, Annales des Telecommunications, vol.45, pp.657-70, 1990. ,
Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions between Hardware and Software Components, IEEE Inter. Computer Performance & Dependability Symposium (IPDS'96), vol.852, pp.252-61, 1994. ,
A Measurement-Based Framework for Software Reliability Improvement, Handbook of Software Reliability Engineering, vol.11, pp.89-106, 1996. ,
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System, IEEE Transactions on Computers, vol.14, issue.2, pp.528-563, 1997. ,
Making Sense of Measurement for Small organizations, IEEE Software, pp.14-20, 1999. ,
, The Advanced Theory of Statistics, 1977.
Measuring the Field Quality of Wide-Distribution Commercial Software, 3rd IEEE Int. Symposium on Software Reliability Engineering (ISSRE'92), pp.351-358, 1992. ,
English version of "Guide de la sûreté de fonctionnement, 25th International Symposium on Fault-Tolerant Computing, vol.98346, pp.42-53, 1995. ,
Reliability Analysis of Large Software Systems: Defects Data Modeling, IEEE Transactions on Software Engineering, SE, vol.16, issue.2, pp.141-52, 1990. ,
Safety Verification of ADA Programs Using Software Fault Trees, IEEE Software, issue.7, pp.48-59, 1991. ,
, Handbook of Software Reliability Engineering, 1995.
Specification and Construction of Performability Models, Int. Workshop on Performability Modeling of Computer and Communication Systems, vol.39, pp.480-485, 1990. ,
Dependability Modeling of a Heterogeneous VAX-cluster System Using Stochastic Reward Nets, Hardware and Software Fault Tolerance in Parallel Computing Systems, pp.33-59, 1992. ,
Windows 2000 Dependability, Workshop on Dependable Networks and Operating Systems, at the Int'l Conference on Dependable Systems and Networks (DSN-2000), pp.20-28, 2000. ,
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System, Computer Science Series, pp.49-57, 1987. ,
Compositional Construction of SWN Models, The Computer Journal, vol.38, issue.7, pp.612-633, 1996. ,
Dependability Models of RAID Using Stochastic Activity Networks, 2nd European Dependable Computing Conference (EDCC-2), pp.141-58, 1996. ,
AnalyzeNOW-An Environment for Collection & Analysis of Failures in a Network of Workstations, Proc. 7th Int'l Conf. on Techniques and Tools for Computer Performance Evaluation, vol.45, pp.41-49, 1994. ,