B : passé, présent, futur, Technique et science informatiques, vol.22, pp.89-118, 1993. ,
, , 2001.
Airbus A/320/A330/A340 electrical flight controls-A family of fault-tolerant systems, Proc. 23rd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-23), pp.616-623, 1993. ,
The infeasibility of quantifying the reliability of life-critical real-time software, IEEE Trans. on Software Engineering, vol.19, issue.1, pp.3-12, 1993. ,
Basic concepts of abstract interpretation, Proc. of the 18th IFIP World Computer Congress, pp.359-366, 2004. ,
An international survey of industrial applications of formal methods, 1993. ,
How software process improvement helped Motorola, IEEE Software, vol.14, issue.5, pp.75-81, 1997. ,
B dans le transport ferroviaire. l'expérience de Siemens Transportation Systems, Technique et science informatiques, vol.22, pp.11-32, 1993. ,
Best current practices: Software reliability engineering, 1992. ,
, Practical Software Metrics for Project Management and Process Improvement, Software Engineering Metrics, 1992.
A census of Tandem system availability between 1985 and 1990, IEEE Trans. on Reliability, vol.39, issue.4, pp.409-418, 1990. ,
Software fault tolerance in the application layer, Software Fault Tolerance, 1995. ,
Chaos: the dollar drain of IT project failures, Johnson, pp.41-47, 1995. ,
Benchmarking the Dependability of Windows NT, 2000 and XP, Proc. 2004 Int. Conf. on Dependable Systems and Networks, pp.681-686, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01962911
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity, Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pp.453-458, 1995. ,
Definition and analysis of hardware-and software-fault-tolerant architectures, IEEE Computer, vol.23, issue.7, pp.39-51, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-01982552
, Software Reliability Engineering, 1995.
Capability maturity model for software, 1993. ,
DOI : 10.1002/0471028959.sof589
Wrapping real-time systems from temporal logic specifications, Proc. 4th European Dependable Computing Conference (EDCC-4), pp.253-270, 2002. ,
, Vérification de logiciels-Techniques et outils du model-checking, Vuibert, 1999.
Predicting How Badly "Good" Software Can Behave, IEEE Software, pp.73-83, 1997. ,
DOI : 10.1109/52.595959
, Software Reliability Modeling, 1991.