Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Antoine RAUZY

Année
Publications
Files &
Ref.IML
  Myers A., Rauzy Antoine.
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams.
A paraître dans Reliability Engineering and System Safety.
publis
  Gauthier J., Leduc X., Rauzy Antoine.
Assessment of large automatically generated fault trees by means of binary decision diagrams.
A paraître dans Journal of Risk and Reliability.
publis
2006 Boiteau M., Dutuit Y., Rauzy Antoine, Signoret J.-P.
The altarica data-flow language in use: Assessment of production availability of a multistates system.
Reliability Engineering and System Safety, 91:747-755, 2006.
publis
2005

Dutuit Y., Rauzy Antoine.
Approximate estimation of system reliability via fault trees.
Reliability Engineering and System Safety, 87(2):163-172, 2005.

publis
  Epstein S., Rauzy Antoine.
Can We Trust PRA ?
Reliability Engineering and System Safety, 88(3):195-205, 2005.
publis
2004 Rauzy Antoine.
An experimental study on six algorithms to compute transient solutions of large markov systems.
Reliability Engineering and System Safety, 86(1):105-115, 2004.
 
 267 k
2003 Rauzy Antoine, Châtelet E., Dutuit Y., Bérenguer C.
A practical comparison of methods to assess sum-of-products.
Reliability Engineering and System Safety, 79:33-42, 2003.
 
 161 k
  Chabot J.-L., Dutuit Y., Rauzy Antoine, Signoret J.-P.
An engineering approach to optimize system design or spare parts inventory.
Risk Decision and Policy, 8:1-11, 2003.
 
  Rauzy Antoine.
A new methodology to handle boolean models with loops.
IEEE Transactions on Reliability, 52(1):96-105, 2003.
 
  Rauzy Antoine.
Towards an efficient implementation of Mocus.
IEEE Transactions on Reliability, 52(2):175-180, 2003.
 
2002 Rauzy Antoine.
Modes automata and their compilation into fault trees.
Reliability Engineering and System Safety, 78:1-12, 2002.
 
2001 Rauzy Antoine.
Mathematical Foundation of Minimal Cutsets.
IEEE Transactions on Reliability (accepté), 2001.
 
  Dutuit Y., Rauzy Antoine.
New insights in the assessment of k-out-of-n and related systems.
Reliability Engineering and System Safety, 72(3), 303--314, 2001.
 
2000 Williams P.F., Nikolskaïa M., Rauzy Antoine.
Bypassing BDD construction for reliability analysis.
Information Processing Letters, 75:85-89, 2000.
 
  Dutuit Y., Rauzy Antoine.
Efficients algorithm to assess components and gates importances in fault tree analysis.
Reliability Engineering and System Safety, 72(2), 213--222, 2000.
 
  Bégay D., Rauzy Antoine.
A realistic involvement in formal methods.
Software Practice and Experience, 31(2), 191--208, 2000.
 
  Arnold A., Griffault A., Point G., Rauzy Antoine.
The altarica language and its semantics.
Fundamenta Informaticae, 34:109-124, 2000.
 
1999 Point G., Rauzy Antoine.
AltaRica - constraint automata as a description language.
Journal Européen des Systèmes Automatisés, 33(8-9):1033-1052, 1999.
 
  Châtelet E., Dutuit Y., Rauzy Antoine, Bouhoufani T.
An optimized procedure to generate sums of disjoint products.
Reliability Engineering and System Safety, 65:289-294, 1999.
 
1997 Dutuit Y., Rauzy Antoine.
Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia.
Reliability Engineering and System Safety, 58:127-144, 1997.
 
  Corsini M-M., Rauzy Antoine.
Toupie: the µ-calculus over finite domains as a constraint language.
Journal of Automated Reasonning, 17:143-171, 1997.
 
1996 Rauzy Antoine.
An Brief Introduction to Binary Decision Diagrams.
RAIRO-APII-JESA, 30(8):1033-1051, 1996.
 
  Dutuit Y., Rauzy Antoine.
A Linear Time Algorithm to Find Modules of Fault Trees.
IEEE Transactions on Reliability, 45(3):422-425, 1996.
 
1993 Rauzy Antoine.
New Algorithms for Fault Trees Analysis.
Reliability Engineering & System Safety, 05(59):203-211, 1993.
 


Last update : december 12, 2007, EL.