Antoine Rauzy - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision DiagramsAlbert Myers, Antoine Rauzy. tr, 57(2):336-348, 2008. [doi]

2005

A m log m algorithm to compute the most probable configurations of a system with multi-mode independent componentsAntoine Rauzy. tr, 54(1):156-158, 2005. [doi]

2003

A new methodology to handle Boolean models with loopsAntoine Rauzy. tr, 52(1):96-105, 2003. [doi]

Toward an efficient implementation of the MOCUS algorithmAntoine Rauzy. tr, 52(2):175-180, 2003. [doi]

2001

A realistic involvement of formal methodsDidier Bégay, Antoine Rauzy. SPE, 31(2):191-208, 2001.

2000

Le iota-calcul: un langage de contraintes d ordre supérieurFrédéric Mesnard, Antoine Rauzy. jfplc 2000: 241

Bypassing BDD construction for reliability analysisPoul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy. ipl, 75(1-2):85-89, 2000. [doi]

1999

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

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

1998

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

1997

Toupie: The µ-calculus over Finite Domains as a Constraint LanguageMarc-Michel Corsini, Antoine Rauzy. JAR, 19(2):143-171, 1997.

1996

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

1995

Revision in Extended Propositional CalculusOdile Papini, Antoine Rauzy. ecsqaru 1995: 328-335

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

Toupie = µ-Calculus + ConstraintsAntoine Rauzy. cav 1995: 114-126

1994

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d un MariageMarc-Michel Corsini, Antoine Rauzy. jfplc 1994: 171

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

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

Toupie: a Constraint Language for Model CheckingAntoine Rauzy. Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers 1995: 193-208

1993

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

CLP(B): Do it YourselfMarc-Michel Corsini, Antoine Rauzy. agp 1993: 111-125

CLP(beta) joue la transparenceMarc-Michel Corsini, Antoine Rauzy. jfplc 1993: 245-261

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

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

Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, ProceedingsPatrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Volume 724 of Lecture Notes in Computer Science, Springer, 1993.

A Mixed Approach of Revision in Propositional CalculusOdile Papini, Antoine Rauzy. ecsqaru 1993: 296-303

1992

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

Contraintes booléennes et gestion d arbres des défaillancesAntoine Rauzy. jfplc 1992: 301-313

1991

Using Enumerative Methods for Boolean UnificationAntoine Rauzy. wclp 1991: 237-251

Knowledge Extraction in Trivalued Propositional LogicAntoine Rauzy. ecsqaru 1991: 287-291

1990

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

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