| 2008 |
|---|
| 32 | EE | Albert 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) |
| 2005 |
|---|
| 31 | EE | 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) |
| 2003 |
|---|
| 30 | EE | Antoine Rauzy:
A new methodology to handle Boolean models with loops.
IEEE Transactions on Reliability 52(1): 96-105 (2003) |
| 29 | EE | Antoine Rauzy:
Toward an efficient implementation of the MOCUS algorithm.
IEEE Transactions on Reliability 52(2): 175-180 (2003) |
| 2001 |
|---|
| 28 | | Didier Bégay,
Antoine Rauzy:
A realistic involvement of formal methods.
Softw., Pract. Exper. 31(2): 191-208 (2001) |
| 2000 |
|---|
| 27 | | Frédéric Mesnard,
Antoine Rauzy:
Le iota-calcul: un langage de contraintes d'ordre supérieur.
JFPLC 2000: 241- |
| 26 | EE | Poul Frederick Williams,
Macha Nikolskaïa,
Antoine Rauzy:
Bypassing BDD construction for reliability analysis.
Inf. Process. Lett. 75(1-2): 85-89 (2000) |
| 1999 |
|---|
| 25 | | 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 |
| 24 | | André Arnold,
Gérald Point,
Alain Griffault,
Antoine Rauzy:
The AltaRica Formalism for Describing Concurrent Systems.
Fundam. Inform. 40(2-3): 109-124 (1999) |
| 1998 |
|---|
| 23 | EE | Macha Nikolskaïa,
Antoine Rauzy,
David James Sherman:
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.
FMCAD 1998: 100-114 |
| 1997 |
|---|
| 22 | | Marc-Michel Corsini,
Antoine Rauzy:
Toupie: The µ-calculus over Finite Domains as a Constraint Language.
J. Autom. Reasoning 19(2): 143-171 (1997) |
| 1996 |
|---|
| 21 | | Antoine Rauzy:
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).
TACAS 1996: 417 |
| 1995 |
|---|
| 20 | | Antoine Rauzy:
Toupie = µ-Calculus + Constraints.
CAV 1995: 114-126 |
| 19 | | 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 |
| 18 | | Odile Papini,
Antoine Rauzy:
Revision in Extended Propositional Calculus.
ECSQARU 1995: 328-335 |
| 1994 |
|---|
| 17 | | Antoine Rauzy:
Toupie: a Constraint Language for Model Checking
Constraint Programming 1994: 193-208 |
| 16 | | Marc-Michel Corsini,
Antoine Rauzy:
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.
ESOP 1994: 180-194 |
| 15 | | Antoine Rauzy:
Notes on the Design of an Open Boolean Solver.
ICLP 1994: 354-368 |
| 14 | | Marc-Michel Corsini,
Antoine Rauzy:
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.
JFPLC 1994: 171- |
| 1993 |
|---|
| 13 | | Patrick Cousot,
Moreno Falaschi,
Gilberto Filé,
Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
Springer 1993 |
| 12 | | Odile Papini,
Antoine Rauzy:
A Mixed Approach of Revision in Propositional Calculus.
ECSQARU 1993: 296-303 |
| 11 | | Marc-Michel Corsini,
Antoine Rauzy:
CLP(B): Do it Yourself.
GULP 1993: 111-125 |
| 10 | | Marc-Michel Corsini,
Antoine Rauzy:
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.
ICLP 1993: 834 |
| 9 | | Marc-Michel Corsini,
Antoine Rauzy:
CLP(beta) joue la transparence.
JFPL 1993: 245-261 |
| 8 | | Marc-Michel Corsini,
Alain Griffault,
Antoine Rauzy:
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.
LPAR 1993: 86-97 |
| 7 | | 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 |
| 1992 |
|---|
| 6 | | Antoine Rauzy:
Contraintes booléennes et gestion d'arbres des défaillances.
JFPL 1992: 301-313 |
| 5 | | Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
WSA 1992: 51-59 |
| 1991 |
|---|
| 4 | | Antoine Rauzy:
Knowledge Extraction in Trivalued Propositional Logic.
ECSQARU 1991: 287-291 |
| 3 | | Antoine Rauzy:
Using Enumerative Methods for Boolean Unification.
WCLP 1991: 237-251 |
| 1990 |
|---|
| 2 | | 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 |
| 1 | | Jean-Marc Boï,
Antoine Rauzy:
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes.
SPLT 1990: 511-522 |
