Jean Christophe Madre

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl
A Practical Approach to Multiple-Class Retiming. DAC (1999)
Olivier Coudert, Jean Christophe Madre
New Ideas for Solving Covering Problems. DAC (1995)
Olivier Coudert, Jean Christophe Madre
The Implicit Set Paradigm: A New Approach to Finite State System Verification. Formal Methods Syst. Des. 6 (2) (1995)
Olivier Coudert, Jean Christophe Madre
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. RAIRO Theor. Informatics Appl. 28 (2) (1994)
Olivier Coudert, Jean Christophe Madre, Henri Fraisse
A New Viewpoint on Two-Level Logic Minimization. DAC (1993)
Olivier Coudert, Jean Christophe Madre
Towards a Symbolic Logic Minimization Algorithm. VLSI Design (1993)
Bill Lin, Olivier Coudert, Jean Christophe Madre
Symbolic Prime Generation for Multiple-Valued Functions. DAC (1992)
Olivier Coudert, Jean Christophe Madre
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. DAC (1992)
Jean Christophe Madre, Olivier Coudert
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. IJCAI (1991)
Olivier Coudert, Jean Christophe Madre
A Unified Framework for the Formal Verification of Sequential Circuits. ICCAD (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. CAV (DIMACS/AMS volume) (1990)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Formal boolean manipulations for the verification of sequential machines. EURO-DAC (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. CAV (1990)
Christian Berthet, Olivier Coudert, Jean Christophe Madre
New ideas on symbolic manipulations of finite state machines. ICCD (1990)
Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon
Automating the diagnosis and the rectification of design errors with PRIAM. ICCAD (1989)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Verification of Synchronous Sequential Machines Based on Symbolic Execution. Automatic Verification Methods for Finite State Systems (1989)
Jean Christophe Madre, Jean-Paul Billon
Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. DAC (1988)