An Algebraic Model for Asynchronous Circuits Verification. - Christian Berthet; Eduard Cerny (IEEE Trans. Computers, 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)

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)

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

Synthesis of VHDL arrays on RAM cells. - Christian Berthet; Jérôme Rampon; L. Sponga (EURO-DAC, 1992)

Functional Verification Methodology of Chameleon Processor. - Françoise Casaubieilh; Anthony McIsaac; Mike Benjamin; Mike Bartley; François Pogodalla; Frédéric Rocheteau; Mohamed Belhadj; Jeremy Eggleton; Gérard Mas; Geoff Barrett; Christian Berthet (DAC, 1996)

Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry. - Christian Berthet (DAC, 2002)

Peak power estimation using activity measured on emulator. - Christian Berthet; Philippe Georgelin; Janvier Ntyame; Mathieu Raffin (ICECS, 2012)

Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation. - Christian Berthet (CoRR, 2016)

On Von Schelling Formula for the Generalized Coupon Collector Problem. - Christian Berthet (CoRR, 2017)

Approximation of LRU Caches Miss Rate: Application to Power-law Popularities. - Christian Berthet (CoRR, 2017)

Contributions to the Generalized Coupon Collector and LRU Problems. - Christian Berthet (CoRR, 2017)