dblp.uni-trier.dewww.uni-trier.de

Gérard Berry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
35EEGérard Berry: Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2
2005
34EEGérard Berry: Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1
2004
33EELaurent Arditi, Gérard Berry, Michael Kishinevsky: Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143
32EEGérard Berry: Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24-
2003
31EEGérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440
2002
30EEDavid 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
28EEGérard Berry, Ellen Sentovich: Multiclock Esterel. CHARME 2001: 110-125
27EERajesh 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
26EEGé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
22EEGé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
20EEEllen 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
17EEEllen 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
5EEGé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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)