| Verification of synchronous sequential machines based on symbolic execution O Coudert, C Berthet, JC Madre Automatic Verification Methods for Finite State Systems: International …, 1990 | 756 | 1990 |
| A unified framework for the formal verification of sequential circuits O Coudert, JC Madre The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, 39-50, 1990 | 437 | 1990 |
| Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. O Coudert, JC Madre DAC 92, 36-39, 1992 | 243 | 1992 |
| Proving circuit correctness using formal comparison between expected and extracted behaviour JC Madre, JP Billon DAC 88, 26, 1988 | 203 | 1988 |
| Verifying temporal properties of sequential machines without building their state diagrams O Coudert, JC Madre, C Berthet Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 194 | 1991 |
| Automating the Diagnosis and the Rectification of Design Errors with PRIAM JC Madre, O Coudert, JP Billon The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, 17-27, 1989 | 157 | 1989 |
| Fault tree analysis: 10/sup 20/prime implicants and beyond O Coudert, JC Madre Annual Reliability and Maintainability Symposium 1993 Proceedings, 240-245, 1993 | 144 | 1993 |
| New ideas for solving covering problems O Coudert, JC Madre Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 641-646, 1995 | 123 | 1995 |
| Metaprime: An interactive fault-tree analyzer O Coudert, JC Madre IEEE Transactions on Reliability 43 (1), 121-127, 1994 | 88 | 1994 |
| A new viewpoint on two-level logic minimization O Coudert, JC Madre, H Fraisse Proceedings of the 30th international Design Automation Conference, 625-630, 1993 | 82 | 1993 |
| A new method to compute prime and essential prime implicants of boolean functions O Coudert, JC Madre Advanced Research in VLSI and Parallel systems, 113-128, 1992 | 76 | 1992 |
| New ideas on symbolic manipulations of finite state machines C Berthet, O Coudert, JC Madre Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in …, 1990 | 76 | 1990 |
| A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. JC Madre, O Coudert IJCAI, 294-299, 1991 | 63 | 1991 |
| Comparison of triple-patterning decomposition algorithms using aperiodic tiling patterns C Cork, JC Madre, L Barnes Photomask and Next-Generation Lithography Mask Technology XV 7028, 970-976, 2008 | 45 | 2008 |
| Symbolic computation of the valid states of a sequential machine: algorithms and discussion O Coudert, JC Madre ACM Workshop on Formal Methods in VLSI Design, 1991 | 45 | 1991 |
| Implicit prime cover computation: An overview O Coudert, JC Madre, H Fraisse, H Touati Proc. of SASIMI'93, 1993 | 44 | 1993 |
| Original concepts of PRIAM, an industrial tool for efficient formal verification of combinational circuits JP Billon, JC Madre The Fusion of Hardware Design and Verification, 487-501, 1988 | 35 | 1988 |
| A practical approach to multiple-class retiming K Eckl, JC Madre, P Zepter, C Legl Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 237-242, 1999 | 34 | 1999 |
| Symbolic prime generation for multiple-valued functions B Lin, O Coudert, JC Madre [1992] Proceedings 29th ACM/IEEE Design Automation Conference, 40-44, 1992 | 32 | 1992 |
| Formal boolean manipulations for the verification of sequential machines O Coudert, C Berthet, JC Madre Proceedings of the European Design Automation Conference, 57, 58, 59, 60, 61 …, 1990 | 27 | 1990 |
