Minimizing cost impact of software defects, IBM Research Division Report RC, vol.8228, issue.35669, 1980. ,
Computer-oriented formulation of transitionrate matrices via Kronecker algebra, IEEE Trans. on Reliability, issue.2, p.30, 1981. ,
Fault tolerance principles and practice, 1981. ,
Dependability evaluation of software faulttolerance, Proc. 18th IEEE Int. Symp. Fault-Tolerant Computing, pp.142-147, 1988. ,
SURF-2 : Specification de conception, 1989. ,
Application of Laplace's test to repairable system reliability, Actes du 1er Colloque International de Fiabilité et de Maintenabilité, pp.219-225, 1978. ,
Repairable Systems Reliability, Lecture notes in statistics, 1984. ,
On the efficient construction of the tangible reachability graph of Generalized Stochastic Petri Nets, Proc. International Workshop on Petri Nets and Performance Models, pp.136-145, 1987. ,
Statistical Theory of Reliability and Life Testing, 1975. ,
An input based theory of software reliability and its application, Thèse de P.h.D, Dep, 1980. ,
Reliability assessment of computer systems design, Microelectronics Reliability, vol.31, issue.2-3, pp.11-12 ,
DOI : 10.1016/0026-2714(91)90205-L
: System Test, First-Office Application, and Early Field Experience, AT&T Technical Journal, vol.64, issue.6, pp.1503-1522, 1985. ,
DOI : 10.1002/j.1538-7305.1985.tb00284.x
Dependability Evaluation of Complex Computer Systems: Stochastic Petri Net Modeling, Proc. 15th IEEE Int. Symp. Fault-Tolerant Computing, pp.364-369, 1985. ,
Evaluation of computer systems dependability using stochastic Petri nets, Proc. 11th IEEE Int. Symp. Fault-Tolerant Computing, pp.79-81, 1981. ,
Error Masking: A Source of Failure Dependency in Multi-Version Programs, Proc. 1st International Working Conf. Dependable Comput. Critical Appl, pp.25-32, 1989. ,
DOI : 10.1007/978-3-7091-9123-1_3
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains, IEEE Transactions on Computers, vol.35, issue.9, pp.803-814, 1986. ,
DOI : 10.1109/TC.1986.1676840
Computing cumulative measures of stiff Markov chains using aggregation, IEEE Transactions on Computers, vol.39, issue.10, pp.803-814, 1990. ,
DOI : 10.1109/12.59859
Recalibrating software reliability models, SE-16, pp.458-470, 1990. ,
DOI : 10.1109/32.54297
A RECOVERY BLOCK MODEL AND ITS ANALYSIS, Proc. SAFECOMP'86, pp.21-26, 1986. ,
DOI : 10.1016/B978-0-08-034801-8.50010-6
Evolution of of fault-tolerant switching systems in AT&T", dans The evolution of Fault-Tolerant Computing, pp.37-54, 1987. ,
Reliability and Availability models for maintained systems featuring hardware failures and software faults, IEEE Trans. on Computers, pp.27-548, 1978. ,
SURF A PROGRAM FOR DEPENDABILITY EVALUATlON OF COMPLEX FAULT-TOLERANT COMPUTING SYSTEMS, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., pp.72-78, 1981. ,
DOI : 10.1109/FTCSH.1995.532629
The statistical analysis of series of events, 1966. ,
DOI : 10.1007/978-94-011-7801-3
Confidence interval procedures for reliability growth analysis, 1977. ,
Certifying the reliability of software, IEEE Transactions on Software Engineering, vol.12, issue.1, pp.3-11, 1986. ,
DOI : 10.1109/TSE.1986.6312914
Learning Curve Approach to Reliability Monitoring, IEEE Transactions on Aerospace, vol.2, issue.2, pp.563-566, 1964. ,
DOI : 10.1109/TA.1964.4319640
Extended stochastic Petri nets: Applications and analysis, Proc. 10th Int. Symp. on Computer Performance, pp.507-519, 1984. ,
Application of software reliability modeling to product quality and test process, [1990] Proceedings. 12th International Conference on Software Engineering, pp.108-116, 1990. ,
DOI : 10.1109/ICSE.1990.63608
NASA Software failure characterization experiments, Reliability Engineering & System Safety, vol.32, issue.1-2, pp.155-169, 1991. ,
DOI : 10.1016/0951-8320(91)90052-9
Les réseaux de Petri stochastiques, Technique et Science Informatiques, vol.4, issue.1, pp.143-160, 1985. ,
Estimation of the bug curve using experimental regression analysis of office automation equipement software, Acte du 5ième Colloque international de Fiabilité et de Maintenabilité, pp.6-10, 1986. ,
Ultra-high reliability prediction for fault-tolerant computer systems, IEEE Trans. on Computers, vol.32, issue.12, pp.1118-1127, 1983. ,
Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures, IEEE Transactions on Reliability, vol.28, issue.3, pp.206-211, 1979. ,
DOI : 10.1109/TR.1979.5220566
A guidebook for Software reliability assessment", Data and Analysis Centre for Software, 1983. ,
Software Reliability Models: Assumptions, Limitations, and Applicability, IEEE Transactions on Software Engineering, vol.11, issue.12, pp.1411-1423, 1985. ,
DOI : 10.1109/TSE.1985.232177
The system availability estimator, Proc. 16th IEEE Int. Symp. Fault-Tolerant Computing, pp.84-89, 1986. ,
Mathematical methods of reliability theory, 1969. ,
On the Performance of Software Fault-Tolerance Strategies, Proc. 10th IEEE Int. Symp. Fault-Tolerant Computing, pp.251-253, 1980. ,
The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes, Operations Research, vol.32, issue.2, pp.343-361, 1984. ,
DOI : 10.1287/opre.32.2.343
Dynamic Probabilistic Systems, volume I: Markov models, 1971. ,
Effect of System Workload on Operating System Reliability: A Study on IBM 3081, IEEE Transactions on Software Engineering, vol.11, issue.12, pp.1438-1448, 1985. ,
DOI : 10.1109/TSE.1985.232180
SOFTWARE RELIABILITY RESEARCH, Proc. Statistical Methods for the Evaluation of Computer System Performance, pp.465-484, 1972. ,
DOI : 10.1016/B978-0-12-266950-7.50028-1
Reliability models for very large software systems in industry, Proceedings. 1991 International Symposium on Software Reliability Engineering, pp.35-42, 1991. ,
DOI : 10.1109/ISSRE.1991.145351
Analyse et évaluation de la croissance de fiabilité du logiciel E-10-5 Abonnés, Contrat Cnet, pp.89-328, 1989. ,
Proposition d'une collecte de données pour l'évaluation de la sûreté de fonctionnement d'un système informatique, 1989. ,
Utilisation du modèle hyperexponentiel pour le suivi de la validation d'un équipement de télécommunications, Actes du 7ième Colloque International de Fiabilité et de Maintenabilité, pp.332-339, 1990. ,
Analyse des défaillances et suivi de la validation du logiciel d'un équipement de Télécommunications, Annales des télécommunications, vol.45, pp.11-12, 1990. ,
The statistical analysis of failure time data, 1980. ,
DOI : 10.1002/9781118032985
Modeling Software Reliability and Availability from Development-validation up to Operation, 1985. ,
Software dependability of a telephone switching system, Proc. 17th IEEE Int. Symp. on Fault Tolerant Computing, pp.236-241, 1987. ,
A method for software reliability analysis and assessment, Actes du : Le Génie Logiciel & ses Applications, pp.5-9, 1988. ,
A method for software reliability and prediction application to the TROPICO-R switching system, SE-17, pp.334-344, 1991. ,
Reliability growth of fault tolerant software, Contrat CEE PDCS, vol.3092, issue.2, 1991. ,
The role of trend analysis in software development and validation, Proc. SAFECOMP'91, pp.169-174, 1991. ,
On the use and the performance of software reliability growth models, Reliability Engineering & System Safety, vol.32, issue.1-2, pp.95-117, 1991. ,
DOI : 10.1016/0951-8320(91)90049-D
Software reliability model selection, Proc. Int. Symp. on Software Reliability Engineering (ISSRE), pp.183-191, 1991. ,
DOI : 10.1002/qre.4680080509
Poisson processes with nearly constant failure intensity, Proceedings. 1991 International Symposium on Software Reliability Engineering, pp.60-66, 1991. ,
DOI : 10.1109/ISSRE.1991.145355
Prévision de la sûreté de fonctionnement et architectures de structures numériques temps réel réparables, Thèse de Doctorat d'Etat, 1975. ,
Evaluation de la sûreté de fonctionnement des logiciels en opération, Technique et Science Informatiques, vol.2, issue.4, pp.233-247, 1983. ,
Dependability Evaluation of Software Systems in Operation, IEEE Transactions on Software Engineering, vol.10, issue.6, pp.701-714, 1984. ,
DOI : 10.1109/TSE.1984.5010299
Hardware- and Software-Fault Tolerance, Proc. 17th IEEE Int. Symp. on Fault Tolerant Computing, pp.116-121, 1987. ,
DOI : 10.1007/978-94-009-0705-8_63
Vers une théorie de la fiabilité du X-iel, Technique et Science Informatiques, vol.7, issue.3, pp.315-329, 1988. ,
Hardware-and-Software dependability evaluation, Proc. IFIP 11th World Computer Congress, pp.109-114, 1989. ,
The transformation approach to modeling and evaluation of the reliability and availability growth of systems, Proc. 20th IEEE Int. Symp. on Fault Tolerant Computing, pp.364-371, 1990. ,
Definition and analysis of hardware- and software-fault-tolerant architectures, Computer, vol.23, issue.7, pp.39-51, 1990. ,
DOI : 10.1109/2.56851
The KAT (knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth, SE-17, pp.370-382, 1991. ,
DOI : 10.1109/32.90436
X-ware reliability and availability modeling, IEEE Transactions on Software Engineering, vol.18, issue.2, 1991. ,
DOI : 10.1109/32.121755
Dependability: Basic Concepts and Terminology, 1991. ,
A Bayesian Reliability Growth Model for Computer Software, Applied Statistics, vol.22, issue.3, pp.22-332, 1973. ,
DOI : 10.2307/2346781
Software Reliability Model for Modular Program Structure, IEEE Transactions on Reliability, vol.28, issue.3, pp.241-246, 1979. ,
DOI : 10.1109/TR.1979.5220576
Theories of software reliability, IEEE Trans. on Software Engineering, vol.6, issue.5, pp.489-500, 1980. ,
Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-Designs, IEEE Transactions on Reliability, vol.30, issue.4, pp.313-320, 1981. ,
DOI : 10.1109/TR.1981.5221099
Forecasting Software reliability, Lecture notes in Computer Science, pp.140-209 ,
Distribution du temps total de séjour dans un sous-ensemble d'états transitoires d'un processus markovien homogène à espace d'état fini, 1986. ,
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984. ,
DOI : 10.1145/190.191
On Petri nets with deterministic and exponential transition firing time, 1986. ,
Generalized Stochastic Petri Nets revisited: Random switches and priorities, Proc. International Workshop on Petri Nets and Performance Models, pp.44-53, 1987. ,
An introduction to generalized stochastic Petri nets, Microelectronics Reliability, vol.31, issue.4, pp.699-725 ,
DOI : 10.1016/0026-2714(91)90010-5
Software architecture of a TROPICO-R telephone exchange, Int. Conf. on Software eng. for Telecom. Switching Systems, pp.40-45, 1986. ,
Exponential order statistic models of software reliability growth, SE-12, pp.12-24, 1986. ,
DOI : 10.1109/TSE.1986.6312915
Evaluation de la qualité de service d'un système à dégradation progressive, Actes du 5ième Colloque International de Fiabilité et de Maintenabilité, 1986. ,
Validity of Execution-Time Theory of Software Reliability, IEEE Transactions on Reliability, vol.28, issue.3, pp.181-191, 1979. ,
DOI : 10.1109/TR.1979.5220561
A logarithmic Poisson execution time model for software reliability measurement, Proc. Compsac'84, pp.230-238, 1984. ,
Software reliability: Measurement, Prediction, Application, 1987. ,
S-Shaped software reliability growth curve : how good is it?, Proc. COMPSAC, vol.82, pp.8-12, 1982. ,
On Discrete Failure Models, IEEE Transactions on Reliability, vol.34, issue.3, pp.253-256, 1985. ,
DOI : 10.1109/TR.1985.5222137
On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972. ,
DOI : 10.1145/361598.361623
On the modeling and testing of recovery block structures, Proc. 20th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-20), pp.356-363, 1990. ,
Optimization Theory and Applications, IEEE Transactions on Systems, Man, and Cybernetics, vol.10, issue.5, 1978. ,
DOI : 10.1109/TSMC.1980.4308490
Modeling of the software reliability growth process, Proc. COMPSAC, vol.80, pp.161-169, 1980. ,
Software Reliability -Status and Perspectives, IEEE Trans. on Software.Engineering, vol.8, issue.4, pp.354-371, 1982. ,
Functional and performance analysis using extended time Petri nets, Proc. International Workshop on Petri Nets and Performance Models, pp.14-23, 1987. ,
Markov and Markov reward model transient analysis: An overview of numerical approaches, European Journal of Operational Research, vol.40, issue.2, pp.257-267, 1989. ,
DOI : 10.1016/0377-2217(89)90335-4
SOFTWARE DIVERSITY???SOME CONSIDERATIONS ABOUT ITS BENEFITS AND ITS LIMITATIONS, Proc. SAFECOMP'86, pp.27-34, 1986. ,
DOI : 10.1016/B978-0-08-034801-8.50011-8
On Discrete Hazard Functions, IEEE Transactions on Reliability, vol.31, issue.5, pp.458-459, 1982. ,
DOI : 10.1109/TR.1982.5221432
Fault-Tolerant SoFtware Reliability Modeling, IEEE Transactions on Software Engineering, vol.13, issue.5, pp.13-582, 1987. ,
DOI : 10.1109/TSE.1987.233463
Some Elementary Results on Poisson Approximation in a Sequence of Bernoulli Trials, SIAM Review, vol.20, issue.3, pp.567-579, 1978. ,
DOI : 10.1137/1020070
Reliability of systems with Markov transfer of control, IEEE Transactions on Software Engineering, vol.14, issue.7, pp.1049-1053, 1988. ,
DOI : 10.1109/32.42744
Dependability Evaluation of Integrated Hardware/Software Systems, IEEE Transactions on Reliability, vol.36, issue.4, pp.440-444, 1987. ,
DOI : 10.1109/TR.1987.5222435
Analysis of software availibility/reliability under the influence of hardware failures, IEEE Trans. on Software. Engineering, issue.1, pp.32-41, 1986. ,
Matrix methods in large dependability models, 1985. ,
ERROR RECOVERY IN MULTI-VERSION SOFTWARE, Proc. SAFECOMP'86, pp.35-41, 1986. ,
DOI : 10.1016/B978-0-08-034801-8.50012-X
Structural approach to the estimation of the number of residual software faults based on the hyper-geometric distribution, IEEE Transactions on Software Engineering, vol.15, issue.3, pp.15-345, 1989. ,
DOI : 10.1109/32.21762
Parameter estimation of the hypergeometric distribution for real test/debug data, Proc. Int. Symp. on Software Reliability Engineering (ISSRE), pp.28-34, 1991. ,
Modular redundancy concept, problems and solutions", EPRI Seminar: Digital Control and Fault-Tolerant, Computer Technology, 1985. ,
Designing for Ultrahigh Availability: The Unix RTR Operating System, Computer, vol.17, issue.8, pp.31-39, 1984. ,
DOI : 10.1109/MC.1984.1659215
S-Shaped Reliability Growth Modeling for Software Error Detection, IEEE Transactions on Reliability, vol.32, issue.5, pp.475-478, 1983. ,
DOI : 10.1109/TR.1983.5221735
Software reliability growth modeling with number of test runs, Trans. IECE Japan, vol.67, issue.2, pp.79-83, 1984. ,