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