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.