Gérard Berry

	2008
36		Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer: Advances in ESL Design. IEEE Design & Test of Computers 25(6): 520-526 (2008)
	2007
35		Gérard Berry: Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2
	2005
34		Gérard Berry: Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1
	2004
33		Laurent Arditi, Gérard Berry, Michael Kishinevsky: Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143
32		Gérard Berry: Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24-
	2003
31		Gérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440
	2002
30		David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577
	2001
29		Gérard Berry, Hubert Comon, Alain Finkel: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings Springer 2001
28		Gérard Berry, Ellen Sentovich: Multiclock Esterel. CHARME 2001: 110-125
27		Rajesh K. Gupta, Shishpal Rawat, Ingrid Verbauwhede, Gérard Berry, Ramesh Chandra, Daniel Gajski, Kris Konigsfeld, Patrick Schaumont: Panel: The Next HDL: If C++ is the Answer, What was the Question? DAC 2001: 71-72
26		Gérard Berry: Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT 2001: 50
	2000
25		Gérard Berry: The foundations of Esterel. Proof, Language, and Interaction 2000: 425-454
24		Gérard Berry, Ellen Sentovich: An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods in System Design 17(2): 135-161 (2000)
23		Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36(1): 5-25 (2000)
	1999
22		Gérard Berry: Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME 1999: 1
	1997
21		Gérard Berry: Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV 1997: 303
20		Ellen Sentovich, Horia Toma, Gérard Berry: Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11
19		Gérard Berry: Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3
	1996
18		Gérard Berry: Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225
17		Ellen Sentovich, Horia Toma, Gérard Berry: Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435
	1993
16		Gérard Berry: Preemption in Concurrent Systems. FSTTCS 1993: 72-93
	1992
15		Gérard Berry, Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992)
14		Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992)
	1991
13		Gérard Berry: Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 1991: 49
12		Gérard Berry, Georges Gonthier: Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991)
	1990
11		Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. POPL 1990: 81-94
	1989
10		Gérard Berry: Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17
	1986
9		Gérard Berry, Ravi Sethi: From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. 48(3): 117-126 (1986)
	1984
8		Gérard Berry, Laurent Cosserat: The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency 1984: 389-448
	1981
7		Gérard Berry: On the Definition of Lamda-Calculus Models. ICFPC 1981: 218-230
	1979
6		Gérard Berry, Jean-Jacques Lévy: A Survey of Some Syntactic Results in the lambda-Calculus. MFCS 1979: 552-566
5		Gérard Berry, Jean-Jacques Lévy: Minimal and Optimal Computations of Recursive Programs. J. ACM 26(1): 148-175 (1979)
	1978
4		Gérard Berry: Stable Models of Typed lambda-Calculi. ICALP 1978: 72-89
	1977
3		Gérard Berry: Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. ITA 11(2): 113-126 (1977)
	1976
2		Gérard Berry, Bruno Courcelle: Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188
1		Gérard Berry: Bottom-Up Computation of Recursive Programs. ITA 10(1): 47-82 (1976)

Coauthor Index

1	Laurent Arditi	[33]
2	Arvind	[36]
3	Amar Bouali	[23]
4	Gérard Boudol	[11] [14]
5	Forrest Brewer	[36]
6	Ramesh Chandra	[27]
7	Hubert Comon-Lundh (Hubert Comon)	[29]
8	Laurent Cosserat	[8]
9	Bruno Courcelle	[2]
10	David L. Dill	[30]
11	Alain Finkel	[29]
12	Limor Fix	[30]
13	Xavier Fornari	[23]
14	Harry Foster	[30]
15	Daniel Gajski (Daniel D. Gajski)	[27]
16	Georges Gonthier	[12] [15]
17	Rajesh K. Gupta (Rajesh Gupta)	[27] [36]
18	Nate James	[30]
19	Michael Kishinevsky	[31] [33]
20	Kris Konigsfeld	[27]
21	Emmanuel Ledinot	[23]
22	Jean-Jacques Lévy	[5] [6]
23	Eric Nassor	[23]
24	Rajeev K. Ranjan	[30]
25	Shishpal Rawat	[27] [30]
26	Patrick Schaumont	[27]
27	Ellen Sentovich (Ellen M. Sentovich)	[17] [20] [24] [28]
28	Ravi Sethi	[9]
29	Robert de Simone	[23]
30	Satnam Singh	[31]
31	Gunnar Stålmarck	[30]
32	Horia Toma	[17] [20]
33	Ingrid Verbauwhede	[27]
34	Curt Widdoes	[30]

Colors in the list of coauthors