Antoine Rauzy

Antoine Rauzy: Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Rel. Eng. & Sys. Safety 96(7): 785-792 (2011)

Cristina Ibáñez-Llano, Antoine Rauzy, Enrique Meléndez, Francisco Nieto: Hybrid approach for the assessment of PSA models by means of binary decision diagrams. Rel. Eng. & Sys. Safety 95(10): 1076-1092 (2010)

Cristina Ibáñez-Llano, Antoine Rauzy, Enrique Meléndez, Francisco Nieto: A reduction approach to improve the quantification of linked fault trees through binary decision diagrams. Rel. Eng. & Sys. Safety 95(12): 1314-1323 (2010)

Albert F. Myers, Antoine Rauzy: Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. Rel. Eng. & Sys. Safety 93(7): 1025-1035 (2008)

Yves Dutuit, Fares Innal, Antoine Rauzy, Jean-Pierre Signoret: Probabilistic assessments in relationship with safety integrity levels by using Fault Trees. Rel. Eng. & Sys. Safety 93(12): 1867-1876 (2008)

Albert F. Myers, Antoine Rauzy: Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams. IEEE Transactions on Reliability 57(2): 336-348 (2008)

Marie Boiteau, Yves Dutuit, Antoine Rauzy, Jean-Pierre Signoret: The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Rel. Eng. & Sys. Safety 91(7): 747-755 (2006)

Yves Dutuit, Antoine Rauzy: Approximate estimation of system reliability via fault trees. Rel. Eng. & Sys. Safety 87(2): 163-172 (2005)

Steve Epstein, Antoine Rauzy: Can we trust PRA? Rel. Eng. & Sys. Safety 88(3): 195-205 (2005)

Antoine Rauzy: A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components. IEEE Transactions on Reliability 54(1): 156-158 (2005)

Antoine Rauzy: An experimental study on iterative methods to compute transient solutions of large Markov models. Rel. Eng. & Sys. Safety 86(1): 105-115 (2004)

Antoine Rauzy: A new methodology to handle Boolean models with loops. IEEE Transactions on Reliability 52(1): 96-105 (2003)

Antoine Rauzy: Toward an efficient implementation of the MOCUS algorithm. IEEE Transactions on Reliability 52(2): 175-180 (2003)

Didier Bégay, Antoine Rauzy: A realistic involvement of formal methods. Softw., Pract. Exper. 31(2): 191-208 (2001)

Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy: Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75(1-2): 85-89 (2000)

Frédéric Mesnard, Antoine Rauzy: Le iota-calcul: un langage de contraintes d'ordre supérieur. JFPLC 2000: 241-

André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999)

Serge Colin, Frédéric Mesnard, Antoine Rauzy: Un module Prolog de mu-calcul booléen: une réalisation par BDD. JFPLC 1999: 23-38

Macha Nikolskaïa, Antoine Rauzy, David James Sherman: Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. FMCAD 1998: 100-114

Marc-Michel Corsini, Antoine Rauzy: Toupie: The µ-calculus over Finite Domains as a Constraint Language. J. Autom. Reasoning 19(2): 143-171 (1997)

Antoine Rauzy: Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). TACAS 1996: 417

Antoine Rauzy: Toupie = µ-Calculus + Constraints. CAV 1995: 114-126

Antoine Rauzy: Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? CP 1995: 515-532

Odile Papini, Antoine Rauzy: Revision in Extended Propositional Calculus. ECSQARU 1995: 328-335

Marc-Michel Corsini, Antoine Rauzy: Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ESOP 1994: 180-194

Antoine Rauzy: Notes on the Design of an Open Boolean Solver. ICLP 1994: 354-368

Marc-Michel Corsini, Antoine Rauzy: Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC 1994: 171-

Antoine Rauzy: Toupie: a Constraint Language for Model Checking. Constraint Programming 1994: 193-208

Marc-Michel Corsini, Antoine Rauzy: CLP(B): Do it Yourself. GULP 1993: 111-125

Odile Papini, Antoine Rauzy: A Mixed Approach of Revision in Propositional Calculus. ECSQARU 1993: 296-303

Marc-Michel Corsini, Antoine Rauzy: Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP 1993: 834

Marc-Michel Corsini, Antoine Rauzy: CLP(beta) joue la transparence. JFPL 1993: 245-261

Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP 1993: 75-91

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, isbn 3-540-57264-3

Antoine Rauzy: Contraintes booléennes et gestion d'arbres des défaillances. JFPL 1992: 301-313

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy: The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59

Antoine Rauzy: Knowledge Extraction in Trivalued Propositional Logic. ECSQARU 1991: 287-291

Antoine Rauzy: Using Enumerative Methods for Boolean Unification. WCLP 1991: 237-251

Jean-Marc Boï, Antoine Rauzy: Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. AIMSA 1990: 139-148

Jean-Marc Boï, Antoine Rauzy: La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. SPLT 1990: 511-522