Gérard Berry

Manuel Serrano, Gérard Berry: Multitier programming in Hop. Commun. ACM 55(8): 53-59 (2012)

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)

Manuel Serrano, Gérard Berry: Multitier Programming in Hop. ACM Queue 10(7): 10 (2012)

Gérard Berry: Challenges and potential solutions for complex embedded systems. EMSOFT 2011: 1-2

Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer: Advances in ESL Design. IEEE Design & Test of Computers 25(6): 520-526 (2008)

Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry: Compiling Esterel. Springer 2007, isbn 978-0-387-70626-9, pp. I-XXI, 1-335

Gérard Berry: Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2

Gérard Berry: Circuit design and verication with Esterel v7 and Esterel Studio. HLDVT 2007: 133-136

Gérard Berry: Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1

Laurent Arditi, Gérard Berry, Michael Kishinevsky: Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143

Gérard Berry: Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24-

Gérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440

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

Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy: Top-level validation of system-on-chip in Esterel Studio. HLDVT 2002: 36-41

Gérard Berry, Ellen Sentovich: Multiclock Esterel. CHARME 2001: 110-125

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

Gérard Berry: Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT 2001: 50

Gérard Berry, Hubert Comon, Alain Finkel (Eds.): Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Lecture Notes in Computer Science 2102, Springer 2001, isbn 3-540-42345-1

Gérard Berry, Ellen Sentovich: An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods in System Design 17(2): 135-161 (2000)

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)

Gérard Berry: The foundations of Esterel. Proof, Language, and Interaction 2000: 425-454

Gérard Berry: Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME 1999: 1

Gérard Berry: Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV 1997: 303

Ellen Sentovich, Horia Toma, Gérard Berry: Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11

Gérard Berry: Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3

Gérard Berry: Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225

Ellen Sentovich, Horia Toma, Gérard Berry: Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435

Gérard Berry: Preemption in Concurrent Systems. FSTTCS 1993: 72-93

Gérard Berry, Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992)

Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992)

Gérard Berry, Georges Gonthier: Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991)

Gérard Berry: Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 1991: 49

Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. POPL 1990: 81-94

Gérard Berry: Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17

Gérard Berry, Ravi Sethi: From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. 48(3): 117-126 (1986)

Gérard Berry, Laurent Cosserat: The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency 1984: 389-448

Gérard Berry: On the Definition of Lamda-Calculus Models. ICFPC 1981: 218-230

Gérard Berry, Jean-Jacques Lévy: Minimal and Optimal Computations of Recursive Programs. J. ACM 26(1): 148-175 (1979)

Gérard Berry, Jean-Jacques Lévy: A Survey of Some Syntactic Results in the lambda-Calculus. MFCS 1979: 552-566

Gérard Berry: Stable Models of Typed lambda-Calculi. ICALP 1978: 72-89

Gérard Berry: Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. ITA 11(2): 113-126 (1977)

Gérard Berry, Jean-Jacques Lévy: Minimal and Optimal Computations of Recursive Programs. POPL 1977: 215-226

Gérard Berry: Bottom-Up Computation of Recursive Programs. ITA 10(1): 47-82 (1976)

Gérard Berry, Bruno Courcelle: Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188