Christian Berthet

14 papers A* 3C 1Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Approximation of LRU Caches Miss Rate: Application to Power-law Popularities. CoRR Christian Berthet
2017	J	`jnl`	Contributions to the Generalized Coupon Collector and LRU Problems. CoRR Christian Berthet
2017	J	`jnl`	On Von Schelling Formula for the Generalized Coupon Collector Problem. CoRR Christian Berthet
2016	J	`jnl`	Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation. CoRR Christian Berthet
2012	—	`conf`	Peak power estimation using activity measured on emulator. ICECS Christian Berthet, Philippe Georgelin, Janvier Ntyame, Mathieu Raffin
2002	A*	`conf`	Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry. DAC Christian Berthet
1996	A*	`conf`	Functional Verification Methodology of Chameleon Processor. DAC 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
1992	—	`conf`	Synthesis of VHDL arrays on RAM cells. EURO-DAC Christian Berthet, Jérôme Rampon, L. Sponga
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	—	`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	J	`jnl`	An Algebraic Model for Asynchronous Circuits Verification. IEEE Trans. Computers Christian Berthet, Eduard Cerny