dblp.uni-trier.dewww.uni-trier.de

Antoine Rauzy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
32EEAlbert 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
31EEAntoine 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
30EEAntoine Rauzy: A new methodology to handle Boolean models with loops. IEEE Transactions on Reliability 52(1): 96-105 (2003)
29EEAntoine 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-
26EEPoul 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
23EEMacha 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
20EEAntoine 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
16EEMarc-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
8EEMarc-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

Coauthor Index

1André Arnold [24]
2Didier Bégay [28]
3Jean-Marc Boï [1] [2]
4Baudouin Le Charlier [7]
5Serge Colin [25]
6Marc-Michel Corsini [5] [7] [8] [9] [10] [11] [14] [16] [22]
7Patrick Cousot [13]
8Moreno Falaschi [13]
9Gilberto Filé [13]
10Alain Griffault [8] [24]
11Frédéric Mesnard [25] [27]
12Kaninda Musumbu [5] [7]
13Albert Myers [32]
14Macha Nikolskaïa [23] [26]
15Odile Papini [12] [18]
16Gérald Point [24]
17David James Sherman [23]
18Poul Frederick Williams [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)