Précédent : Animation scientifique Remonter :
Projet
MODEL Suivant : Abstract
- Thèses
- 1
- H. CANCELA,
Évaluation de la sûreté de fonctionnement : modèles
combinatoires et markovien, thèse de doctorat, université
de Rennes 1, décembre 1996.
- Articles
- 2
- H. CANCELA,
M. EL KHADIRI, ``A Recursive
Variance-Reduction Algorithm for Estimating
Communication-Network Reliability'', IEEE Transactions on
Reliability 44, 4, décembre 1995, p. 595-602.
- 3
- H. CANCELA,
M. EL KHADIRI, ``An Improvement to the
Total Hazard Method for System Reliability Simulation'',
Probability in the Engineering and Informational Sciences
10, 2, 1996, p. 187-196.
- 4
- J. LEDOUX,
G. RUBINO, ``A
counting model for software reliability analysis'',
International Journal of Modelling and Simulation,
1996, accepté pour publication.
- 5
- J. LEDOUX,
G. RUBINO, ``Simple
formulas for counting processes in reliability models'',
Advances in Applied Probability, 1996, accepté pour
publication.
- 6
- J. LEDOUX, ``A
geometric invariant in weak lumpability of finite Markov
chain'', Journal of Applied Probability, 1996, accepté
pour publication.
- 7
- H. NABLI,
B. SERICOLA,
``Performability analysis: a new algorithm'', IEEE
Transactions on Computers 45, 4, 1996,
p. 491-494.
- 8
- G. RUBINO,
``Network reliability evaluation'', in: State-of-the art in
performance modeling and simulation, K. Bagchi et
J. W. editors (réd.), Gordon and Breach Books, 1996.
- Communications à
congrès
- 9
- S. BULTEAU,
M. EL KHADIRI, ``A recursive Monte Carlo
algorithm for flow network reliability evaluation'', in:
2nd International Conference on Monte Carlo and Quasi-Monte
Carlo Methods in Scientific Computing, Salzburg, Autriche,
1996.
- 10
- H. CANCELA,
M. EL KHADIRI, ``Simplification Techniques
in Monte Carlo Network Reliability Evaluation'', in: VIII
CLAIO (Congrès Latino-Ibéro-Américain de Recherche
Opérationnelle), ALIO - SOBRAPO, Rio de Janeiro, Brazil,
august 1996.
- 11
- H. CANCELA,
M. EL KHADIRI, ``A Simulation Algorithm for
Source-Terminal Communication Network Reliability'', in:
Proceedings of the 29th Annual Simulation Symposium, IEEE
Computer Society Press, p. 155-161, New Orleans,
Louisiana, 1996.
- 12
- H. CANCELA,
L. PETINGI,
G. RUBINO,
M. URQUHART,
``HEIDI: un outil d'aide à l'évaluation et la conception de
réseaux (texte en espagnol)'', in: VIII CLAIO (Congrès
Latino-Ibéro-Américain de Recherche Opérationnelle), ALIO
- SOBRAPO, Rio de Janeiro, Brazil, august 1996.
- 13
- H. CANCELA,
G. RUBINO,
B. TUFFIN, ``Fast
Monte Carlo methods for evaluating highly dependable Markovian
systems'', in: 2nd International Conference on Monte Carlo
and Quasi-Monte Carlo Methods in Scientific Computing,
Salzburg, Austria, july 1996.
- 14
- H. CANCELA,
G. RUBINO,
M. URQUHART,
``Network reliability evaluation by the Ahmad method'', in:
2èmes Journées Uruguayennes d'Informatique et Recherche
Operationelle, Fac. d'Ingénierie and PEDECIBA, Facultad de
Ingeniería, Montevideo, Uruguay, décembre 1995.
- 15
- H. CANCELA,
``Bibliothèque BB y modélisation en temps discret :
application à un commutateur de paquets (texte en espagnol)'',
in: VIII CLAIO (Congrès Latino-Ibéro-Américain de Recherche
Opérationnelle), ALIO - SOBRAPO, Rio de Janeiro, Brazil,
august 1996.
- 16
- M. EL KHADIRI, G. RUBINO, ``Accelerating the standard
Monte Carlo evaluation of highly reliable binary systems'',
in: 2nd International Conference on Monte Carlo and
Quasi-Monte Carlo Methods in Scientific Computing,
Salzburg, Autriche, 1996.
- 17
- J. LEDOUX, ``Une
description des possibilitées d'agrégation d'une chaîne de
Markov'', in: 28eme Journées de Statistique, ASU96,
Québec (Canada), juin 1996.
- 18
- S. MAHéVAS, G. RUBINO, ``Bounding asymptotic
dependability and performance measures'', in: In
Proceedings of IEEE International Computer Performance and
Dependability Symposium, Urbana Champaign, Illinois, USA,
Septembre 1996.
- 19
- G. RUBINO,
``Static network performability analysis'', in: 3rd Int.
Workshop on Performability Modelling of Computer and
Communication Systems, Chicago, USA, september 1996.
- 20
- G. RUBINO,
``Évaluation de mesures de sûreté de fonctionnement de systèmes
complexes par Monte Carlo (texte en espagnol)'', in: 29ème
Congrès National de la Société Mathématique Mexicaine, St
Luis Potosí, Mexique, octobre 1996.
- 21
- B. SERICOLA,
``Loss Probability Computation in the MAP/PH/1/K Queue'',
in: ESM'96 - European Simulation Multiconference,
Budapest, Hongrie, juin 1996.
- 22
- B. TUFFIN, ``A
new Permutation Choice in Halton Sequences and an Application
to the Analysis of Product-Form Multi-Class Queuing Networks'',
in: Second International Conference on Monte Carlo and
Quasi-Monte Carlo methods in Scientific Computing,
Salzburg, Autriche, juin 1996.
- 23
- B. TUFFIN,
``Variance Reduction Technique for a Cellular System with
Dynamic resource Sharing'', in: ESM'96 - European
Simulation Multiconference, Budapest, Hongrie, juin
1996.
- Rapports de
recherche
- 24
- H. ABDALLAH,
R. MARIE,
B. SERICOLA, ``Point
and Expected Interval Availability Analysis with Stationnary
Detection'', publication interne n°1014, Irisa, mai
1996.
http://www.irisa.fr/bibli/pi/1014/1014.html
- 25
- H. ABDALLAH,
``Sensitivity Analysis of Stiff Markov Processes'',
publication interne n°1033, Irisa, juin 1996.
http://www.irisa.fr/bibli/pi/1033/1033.html
- 26
- S. BULTEAU,
M. EL KHADIRI, ``A Monte Carlo algorithm
based on a state-space decomposition methodology for flow
network reliability evaluation'', Publication interne
n°1012, Irisa, Campus de Beaulieu, Rennes, France,
1996.
http://www.irisa.fr/bibli/pi/1012/1012.html
- 27
- R. CARMO,
E. DE SOUZA E SILVA, R. MARIE, ``Efficient Solutions for an
Approximation Technique for the Transient Analysis of Markovian
Models'', rapport de recherche n°3055, Inria, novembre
1996,
http://www.inria.fr/RRRT/RR-3055.html
paru aussi comme publication interne Irisa n°1067.
http://www.irisa.fr/bibli/pi/1067/1067.html
- 28
- A. DUPUIS,
F. GUILLEMIN,
B. SERICOLA,
``Asymptotic Results for the Superposition of a Large Number of
Data Connections on an ATM Link'', rapport de recherche
n°3010, Inria, septembre 1996,
http://www.inria.fr/RRRT/RR-3010.html
paru aussi comme publication interne Irisa n°1045.
http://www.irisa.fr/bibli/pi/1045/1045.html
- 29
- P. JOUBERT,
G. RUBINO,
B. SERICOLA,
``Performability Analysis of Two Approaches to Fault
Tolerance'', rapport de recherche n°3009, Inria,
juillet 1996,
http://www.inria.fr/RRRT/RR-3009.html
paru aussi comme publication interne Irisa n°1040.
http://www.irisa.fr/bibli/pi/1040/1040.html
- 30
- J. LEDOUX, ``Sur
la modélisation structurelle markovienne en fiabilité du
logiciel'', publication interne n°2714, Inria,
novembre 1995.
http://www.inria.fr/RRRT/RR-2714.html
- 31
- J. LEDOUX,
``Weak lumpability of finite Markov chains and positive
invariance of cones'', publication interne n°2801,
Inria, février 1996.
http://www.inria.fr/RRRT/RR-2801.html
- 32
- R. MARIE,
I. ILIADIS,
``Evaluation of a Start-Stop Protocol for ABR Traffic in ATM
Networks'', Research Report n°RZ 2771 (# 89249) Computer
Science/Mathematics, IBM, décembre 1995.
- 33
- A. MERLO,
B. SERICOLA,
R. MARIE, ``A New
Stable Algorithm for Computing Steady State Measures for Markov
Chains'', publication interne n°1038, Irisa, juillet
1996.
http://www.irisa.fr/bibli/pi/1038/1038.html
- 34
- H. NABLI,
``Performability Measure for Acyclic Markovian Models'',
publication interne n°960, Irisa, novembre 1995.
http://www.irisa.fr/bibli/pi/pi960.html
- 35
- B. SERICOLA,
``Availability analysis and stationary regime detection of
Markov processes'', rapport de recherche n°2886,
Inria, mai 1996,
http://www.inria.fr/RRRT/RR-2886.html
paru aussi comme publication interne Irisa n°1013, mai
1996.
http://www.irisa.fr/bibli/pi/1013/1013.html
- 36
- B. TUFFIN,
``Bounded Normal Approximation in Highly Reliable Markovian
Systems'', publication interne n°1050, Irisa, octobre
1996.
http://www.irisa.fr/bibli/pi/1050/1050.html
- 37
- B. TUFFIN,
``Improvement of Halton sequences distribution'',
publication interne n°998, Irisa, mars 1996.
http://www.irisa.fr/bibli/pi/998/998.html
- 38
- B. TUFFIN,
``Variance Reductions applied to Product-Form Multi-Class
Queuing Network: antithetic variates and low discrepancy
sequences'', publication interne n°1005, Irisa, avril
1996.
http://www.irisa.fr/bibli/pi/1005/1005.html