Skip to content
cs-conference-ranking.org

Antoine Rauzy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

11

Active years

1990–2013

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2013INDINThe AltaRica 3.0 project for model-based safety assessment.Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Lela Kloul
1998FMCADAlmana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.Macha Nikolskaa, Antoine Rauzy, David James Sherman
1996TACASUsing the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).Antoine Rauzy
1995CAVToupie = µ-Calculus + Constraints.Antoine Rauzy
1995CPPolynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?Antoine Rauzy
1995ECSQARURevision in Extended Propositional Calculus.Odile Papini, Antoine Rauzy
1994ESOPSymbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.Marc-Michel Corsini, Antoine Rauzy
1994ICLPNotes on the Design of an Open Boolean Solver.Antoine Rauzy
1993ECSQARUA Mixed Approach of Revision in Propositional Calculus.Odile Papini, Antoine Rauzy
1993ICLPSafety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.Marc-Michel Corsini, Antoine Rauzy
1993LPARYet Another Application for Topie: Verification of Mutual Exclusion Algorithms.Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
1992SASThe Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991ECSQARUKnowledge Extraction in Trivalued Propositional Logic.Antoine Rauzy
1990AIMSATwo Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages.Jean-Marc Bo, Antoine Rauzy