Verification of Synchronous Sequential Machines Based on Symbolic Execution. - Olivier Coudert; Christian Berthet; Jean Christophe Madre (Automatic Verification Methods for Finite State Systems, 1989)

Automating the diagnosis and the rectification of design errors with PRIAM. - Jean Christophe Madre; Olivier Coudert; Jean-Paul Billon (ICCAD, 1989)

Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. - Olivier Coudert; Jean Christophe Madre; Christian Berthet (CAV, 1990)

Formal boolean manipulations for the verification of sequential machines. - Olivier Coudert; Christian Berthet; Jean Christophe Madre (EURO-DAC, 1990)

A Unified Framework for the Formal Verification of Sequential Circuits. - Olivier Coudert; Jean Christophe Madre (ICCAD, 1990)

New ideas on symbolic manipulations of finite state machines. - Christian Berthet; Olivier Coudert; Jean Christophe Madre (ICCD, 1990)

A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. - Jean Christophe Madre; Olivier Coudert (IJCAI, 1991)

Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. - Olivier Coudert; Jean Christophe Madre (DAC, 1992)

Symbolic Prime Generation for Multiple-Valued Functions. - Bill Lin 001; Olivier Coudert; Jean Christophe Madre (DAC, 1992)

A New Viewpoint on Two-Level Logic Minimization. - Olivier Coudert; Jean Christophe Madre; Henri Fraisse (DAC, 1993)

Towards a Symbolic Logic Minimization Algorithm. - Olivier Coudert; Jean Christophe Madre (VLSI Design, 1993)

Two-level logic minimization: an overview. - Olivier Coudert (Integr., 1994)

Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. - Olivier Coudert; Jean Christophe Madre (RAIRO Theor. Informatics Appl., 1994)

New Ideas for Solving Covering Problems. - Olivier Coudert; Jean Christophe Madre (DAC, 1995)

Doing Two-Level Logic Minimization 100 Times Faster. - Olivier Coudert (SODA, 1995)

The Implicit Set Paradigm: A New Approach to Finite State System Verification. - Olivier Coudert; Jean Christophe Madre (Formal Methods Syst. Des., 1995)

On Solving Covering Problems. - Olivier Coudert (DAC, 1996)

New Algorithms for Gate Sizing: A Comparative Study. - Olivier Coudert; Ramsey W. Haddad; Srilatha Manne (DAC, 1996)

Gate Sizing: A General Purpose Optimization Approach. - Olivier Coudert (ED&TC, 1996)

Exact Dichotomy-based Constrained Encodi. - Olivier Coudert; C.-J. Richard Shi (ICCD, 1996)

Integrated resynthesis for low power. - Olivier Coudert; Ramsey W. Haddad (ISLPED, 1996)

What is the state of the art in commercial EDA tools for low power? - Kurt Keutzer; Olivier Coudert; Ramsey W. Haddad (ISLPED, 1996)

Exact Coloring of Real-Life Graphs is Easy. - Olivier Coudert (DAC, 1997)

Solving graph optimization problems with ZBDDs. - Olivier Coudert (ED&TC, 1997)

Gate sizing for constrained delay/power/area optimization. - Olivier Coudert (IEEE Trans. Very Large Scale Integr. Syst., 1997)

A New Paradigm for Dichotomy-based Constrained Encoding. - Olivier Coudert (DATE, 1998)

A Performance Study of BDD-Based Model Checking. - Bwolen Yang; Randal E. Bryant; David R. O'Hallaron; Armin Biere; Olivier Coudert; Geert Janssen; Rajeev K. Ranjan 001; Fabio Somenzi (FMCAD, 1998)

Timing closure: the solution and its problems. - Raul Camposano; Olivier Coudert; Patrick Groeneveld; Leon Stok; Ralph H. J. M. Otten (ASP-DAC, 2000)

Web-based frameworks to enable CAD RD (abstract). - Olivier Coudert; Igor L. Markov; Christoph Meinel; Ellen Sentovich (DAC, 2000)

Incremental CAD. - Olivier Coudert; Jason Cong; Sharad Malik; Majid Sarrafzadeh (ICCAD, 2000)

Automatic Hierarchical Design: Fantasy or Reality? (Panel). - Rob A. Rutenbar; Olivier Coudert; Patrick Groeneveld; Jürgen Koehl; Scott Peterson; Vivek Raghavan; Naresh Soni (ICCAD, 2001)

Optimization in an Integrated Physical Design Flow (Tutorial Abstract). - Olivier Coudert (ISQED, 2002)

Timing and Design Closure in Physical Design Flows (invited). - Olivier Coudert (ISQED, 2002)

An efficient algorithm to verify generalized false paths. - Olivier Coudert (DAC, 2010)