ARMOR, IRISA-INRIA
Références
- H. Cancela, G. Rubino et B. Tuffin. MTTF Estimation by Monte Carlo
methods using Markov models. Monte Carlo Methods and Applications 8(4):
pp. 312-341, 2002. format (ps)
- M. El Khadiri, G. Rubino. A Time Reduction Technique for Network
Reliability Analysis. MCQMC'00: 4th International Conference on Monte
Carlo and Quasi-Monte Carlo Methods in Scientific Computing, Hong-Kong,
Novembre 2000.
- S. Mahévas, G. Rubino. Bound computation of dependability and
performability measures. IEEE
Transactions on Computers, 50(5):399-413, 2001. format (pdf)
- B. Tuffin. Bounded Normal Approximation in Simulations of Highly
Reliable Markovian Systems. Journal of Applied Probability 36(4):pp.
974-986. 1999.
- K.S. Trivedi, B. Tuffin. Implementation of Importance Splitting
techniques in Stochastic Petri Net Package. Computer Performance
Evaluation: Modelling Tools and Techniques, B.R. Haverkort, H.C.
Bohnenkamp, C.U. Smith (eds.), Springer Verlag, Lecture Notes in
Computer Science, Volume 1786, pages 216-229, 2000.
- K.S. Trivedi, B. Tuffin. Importance Sampling for the Simulation of
Stochastic Petri nets and Fluid Stochastic Petri Nets. HPC'2001: High
Performance Computing, pages 228-235, Seattle, USA, Avril 2001.
- M. Bladt, B. Meini, M. Neuts, B. Sericola.
Distribution of reward functions
on continuous-time Markov chains. 4th International
Conference on Matrix Analytic Methods in Stochastic Models (MAM4),
Adelaide, Australia, July 2002.
- B. Sericola. Occupation times in Markov processes.
Communications in Statistics - Stochastic Models, 16(5), 2000.
- B. Sericola. Availability analysis of repairable computer systems
and stationarity detection. IEEE Transactions on Computers,
48(11), November 1999.
- H. Nabli, B. Sericola. Performability analysis: A new algorithm.
IEEE Transactions on Computers, 45(4), 1996
Ihab Sbeity
2003-09-22