 | 2012 |
|---|
| 40 |       | Michael Mendler,
Thomas R. Shiple,
Gérard Berry:
Constructive Boolean circuits and the exactness of timed ternary simulation.
Formal Methods in System Design 40(3): 283-329 (2012) |
| 2011 |
|---|
| 39 | | Gérard Berry:
Challenges and potential solutions for complex embedded systems.
EMSOFT 2011: 1-2 |
| 2008 |
|---|
| 38 | | Rajesh Gupta,
Arvind,
Gérard Berry,
Forrest Brewer:
Advances in ESL Design.
IEEE Design & Test of Computers 25(6): 520-526 (2008) |
| 2007 |
|---|
| 37 | | Dumitru Potop-Butucaru,
Stephen A. Edwards,
Gérard Berry:
Compiling Esterel.
Springer 2007: I-XXI, 1-335 |
| 36 | | Gérard Berry:
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.
FMICS 2007: 2 |
| 2005 |
|---|
| 35 | | Gérard Berry:
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.
FASE 2005: 1 |
| 2004 |
|---|
| 34 | | Laurent Arditi,
Gérard Berry,
Michael Kishinevsky:
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.
FMCAD 2004: 128-143 |
| 33 | | Gérard Berry:
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems.
VLSI Design 2004: 24- |
| 2003 |
|---|
| 32 | | Gérard Berry,
Michael Kishinevsky,
Satnam Singh:
System Level Design and Verification Using a Synchronous Language.
ICCAD 2003: 433-440 |
| 2002 |
|---|
| 31 | | 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 |
|---|
| 30 |  | Gérard Berry,
Hubert Comon,
Alain Finkel:
Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings
Springer 2001 |
| 29 | | Gérard Berry,
Ellen Sentovich:
Multiclock Esterel.
CHARME 2001: 110-125 |
| 28 | | 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 |
| 27 | | Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future.
EMSOFT 2001: 50 |
| 2000 |
|---|
| 26 | | Gérard Berry:
The foundations of Esterel.
Proof, Language, and Interaction 2000: 425-454 |
| 25 | | Gérard Berry,
Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS.
Formal Methods in System Design 17(2): 135-161 (2000) |
| 24 | | 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 |
|---|
| 23 | | Gérard Berry:
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract).
CHARME 1999: 1 |
| 1997 |
|---|
| 22 | | Gérard Berry:
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design.
CAV 1997: 303 |
| 21 | | Ellen Sentovich,
Horia Toma,
Gérard Berry:
Efficient Latch Optimization Using Exclusive Sets.
DAC 1997: 8-11 |
| 20 | | Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.
TACAS 1997: 1-3 |
| 1996 |
|---|
| 19 | | Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract).
AMAST 1996: 225 |
| 18 | | Ellen Sentovich,
Horia Toma,
Gérard Berry:
Latch optimization in circuits generated from high-level descriptions.
ICCAD 1996: 428-435 |
| 1993 |
|---|
| 17 | | Gérard Berry:
Preemption in Concurrent Systems.
FSTTCS 1993: 72-93 |
| 1992 |
|---|
| 16 | | Gérard Berry,
Georges Gonthier:
The Esterel Synchronous Programming Language: Design, Semantics, Implementation.
Sci. Comput. Program. 19(2): 87-152 (1992) |
| 15 | | Gérard Berry,
Gérard Boudol:
The Chemical Abstract Machine.
Theor. Comput. Sci. 96(1): 217-248 (1992) |
| 1991 |
|---|
| 14 | | Gérard Berry:
Concurrent Abstract Machines (Abstract).
TAPSOFT, Vol.2 1991: 49 |
| 13 | | Gérard Berry,
Georges Gonthier:
Incremental Development of an HDLC Entity in Esterel.
Computer Networks and ISDN Systems 22(1): 35-49 (1991) |
| 1990 |
|---|
| 12 | | Gérard Berry,
Gérard Boudol:
The Chemical Abstract Machine.
POPL 1990: 81-94 |
| 1989 |
|---|
| 11 | | Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages.
IFIP Congress 1989: 11-17 |
| 1986 |
|---|
| 10 | | Gérard Berry,
Ravi Sethi:
From Regular Expressions to Deterministic Automata.
Theor. Comput. Sci. 48(3): 117-126 (1986) |
| 1984 |
|---|
| 9 | | Gérard Berry,
Laurent Cosserat:
The ESTEREL Synchronous Programming Language and its Mathematical Semantics.
Seminar on Concurrency 1984: 389-448 |
| 1981 |
|---|
| 8 | | Gérard Berry:
On the Definition of Lamda-Calculus Models.
ICFPC 1981: 218-230 |
| 1979 |
|---|
| 7 | | Gérard Berry,
Jean-Jacques Lévy:
A Survey of Some Syntactic Results in the lambda-Calculus.
MFCS 1979: 552-566 |
| 6 | | Gérard Berry,
Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs.
J. ACM 26(1): 148-175 (1979) |
| 1978 |
|---|
| 5 | | Gérard Berry:
Stable Models of Typed lambda-Calculi.
ICALP 1978: 72-89 |
| 1977 |
|---|
| 4 | | Gérard Berry,
Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs.
POPL 1977: 215-226 |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page