Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. - Jean Christophe Madre; Jean-Paul Billon (DAC, 1988)

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)

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)

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

A Practical Approach to Multiple-Class Retiming. - Klaus Eckl; Jean Christophe Madre; Peter Zepter; Christian Legl (DAC, 1999)