Jean Christophe Madre

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