Gérard Berry

Publication Activity (10 Years)

Years Active: 1976-2020
Publications (10 Years): 4

Top Topics

Web Technologies

Object Oriented Programming

Web Applications

Consumer Electronics

Top Venues

Publications

Gérard Berry, Manuel Serrano
HipHop.js: (A)Synchronous reactive web programming. PLDI (2020)
Gérard Berry, Lionel Rieg
Towards Coq-verified Esterel Semantics and Compiling. CoRR (2019)
Colin Vidal, Gérard Berry, Manuel Serrano
Hiphop.js: a language to orchestrate web applications. SAC (2018)
Gérard Berry
Formally Unifying Modeling and Design for Embedded Systems - A Personal View. ISoLA (2) (2016)
Gérard Berry, Manuel Serrano
Hop and HipHop: Multitier Web Orchestration. ICDCIT (2014)
Gérard Berry, Manuel Serrano
Hop and HipHop : Multitier Web Orchestration. CoRR (2013)
Michael Mendler, Thomas R. Shiple, Gérard Berry
Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods Syst. Des. 40 (3) (2012)
Manuel Serrano, Gérard Berry
Multitier Programming in Hop. ACM Queue 10 (7) (2012)
Manuel Serrano, Gérard Berry
Multitier programming in Hop. Commun. ACM 55 (8) (2012)
Gérard Berry
Challenges and potential solutions for complex embedded systems. EMSOFT (2011)
Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
Advances in ESL Design. IEEE Des. Test Comput. 25 (6) (2008)
Gérard Berry
Circuit design and verication with Esterel v7 and Esterel Studio. HLDVT (2007)
Gérard Berry
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS (2007)
Gérard Berry
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE (2005)
Laurent Arditi, Gérard Berry, Michael Kishinevsky
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD (2004)
Gérard Berry
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design (2004)
Gérard Berry, Michael Kishinevsky, Satnam Singh
System Level Design and Verification Using a Synchronous Language. ICCAD (2003)
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)
Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy
Top-level validation of system-on-chip in Esterel Studio. HLDVT (2002)
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)
Gérard Berry
Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT (2001)
Gérard Berry, Ellen Sentovich
Multiclock Esterel. CHARME (2001)
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) (2000)
Gérard Berry, Ellen Sentovich
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. 17 (2) (2000)
Gérard Berry
The foundations of Esterel. Proof, Language, and Interaction (2000)
Gérard Berry
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME (1999)
Ellen Sentovich, Horia Toma, Gérard Berry
Efficient Latch Optimization Using Exclusive Sets. DAC (1997)
Gérard Berry
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS (1997)
Gérard Berry
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV (1997)
Ellen Sentovich, Horia Toma, Gérard Berry
Latch optimization in circuits generated from high-level descriptions. ICCAD (1996)
Gérard Berry
Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST (1996)
Thomas R. Shiple, Gérard Berry, Hervé J. Touati
Constructive Analysis of Cyclic Circuits. ED&TC (1996)
Gérard Berry, S. Ramesh, R. K. Shyamasundar
Communicating Reactive Processes. POPL (1993)
Gérard Berry
Preemption in Concurrent Systems. FSTTCS (1993)
Gérard Berry
The Semantics of Pure Esterel. NATO ASI PDC (1992)
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. Theor. Comput. Sci. 96 (1) (1992)
Gérard Berry, Georges Gonthier
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19 (2) (1992)
Gérard Berry, Georges Gonthier
Incremental Development of an HDLC Entity in Esterel. Comput. Networks ISDN Syst. 22 (1) (1991)
Gérard Berry
Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 (1991)
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. POPL (1990)
Gérard Berry
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress (1989)
Gérard Berry, Ravi Sethi
From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. 48 (3) (1986)
Gérard Berry, Laurent Cosserat
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency (1984)
Gérard Berry, Pierre-Louis Curien
Sequential Algorithms on Concrete Data Structures. Theor. Comput. Sci. 20 (1982)
Gérard Berry
On the Definition of Lamda-Calculus Models. ICFPC (1981)
Gérard Berry
Programming with concrete data structures and sequential algorithms. FPCA (1981)
Gérard Berry, Jean-Jacques Lévy
Minimal and Optimal Computations of Recursive Programs. J. ACM 26 (1) (1979)
Gérard Berry, Jean-Jacques Lévy
A Survey of Some Syntactic Results in the lambda-Calculus. MFCS (1979)
Gérard Berry
Stable Models of Typed lambda-Calculi. ICALP (1978)
Gérard Berry, Jean-Jacques Lévy
Minimal and Optimal Computations of Recursive Programs. POPL (1977)
Gérard Berry
Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. RAIRO Theor. Informatics Appl. 11 (2) (1977)
Gérard Berry
Bottom-Up Computation of Recursive Programs. RAIRO Theor. Informatics Appl. 10 (1) (1976)
Gérard Berry, Bruno Courcelle
Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP (1976)