default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGérard Berry
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[p1]Gérard Berry:
The French School of Programming: A Personal View. The French School of Programming 2024: 1-13- 2020
- [c37]Gérard Berry, Manuel Serrano:
HipHop.js: (A)Synchronous reactive web programming. PLDI 2020: 533-545
2010 – 2019
- 2019
- [i2]Gérard Berry, Lionel Rieg:
Towards Coq-verified Esterel Semantics and Compiling. CoRR abs/1909.12582 (2019) - 2018
- [c36]Colin Vidal, Gérard Berry, Manuel Serrano:
Hiphop.js: a language to orchestrate web applications. SAC 2018: 2193-2195 - 2016
- [c35]Gérard Berry:
Formally Unifying Modeling and Design for Embedded Systems - A Personal View. ISoLA (2) 2016: 134-149 - 2014
- [c34]Gérard Berry, Manuel Serrano:
Hop and HipHop: Multitier Web Orchestration. ICDCIT 2014: 1-13 - 2013
- [i1]Gérard Berry, Manuel Serrano:
Hop and HipHop : Multitier Web Orchestration. CoRR abs/1312.0078 (2013) - 2012
- [j14]Manuel Serrano, Gérard Berry:
Multitier programming in Hop. Commun. ACM 55(8): 53-59 (2012) - [j13]Michael Mendler, Thomas R. Shiple, Gérard Berry:
Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods Syst. Des. 40(3): 283-329 (2012) - [j12]Manuel Serrano, Gérard Berry:
Multitier Programming in Hop. ACM Queue 10(7): 10 (2012) - 2011
- [c33]Gérard Berry:
Challenges and potential solutions for complex embedded systems. EMSOFT 2011: 1-2
2000 – 2009
- 2008
- [j11]Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
:
Advances in ESL Design. IEEE Des. Test Comput. 25(6): 520-526 (2008) - 2007
- [b1]Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry:
Compiling Esterel. Springer 2007, ISBN 978-0-387-70626-9, pp. I-XXI, 1-335 - [c32]Gérard Berry:
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2 - [c31]Gérard Berry:
Circuit design and verication with Esterel v7 and Esterel Studio. HLDVT 2007: 133-136 - 2005
- [c30]Gérard Berry:
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1 - 2004
- [c29]Laurent Arditi, Gérard Berry, Michael Kishinevsky:
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143 - [c28]Gérard Berry:
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24- - 2003
- [c27]Gérard Berry, Michael Kishinevsky, Satnam Singh:
System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440 - 2002
- [c26]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 - [c25]Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy:
Top-level validation of system-on-chip in Esterel Studio. HLDVT 2002: 36-41 - 2001
- [c24]Gérard Berry, Ellen Sentovich:
Multiclock Esterel. CHARME 2001: 110-125 - [c23]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 - [c22]Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT 2001: 50 - [e1]Gérard Berry, Hubert Comon, Alain Finkel:
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 [contents] - 2000
- [j10]Gérard Berry, Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. 17(2): 135-161 (2000) - [j9]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) - [c21]Gérard Berry:
The foundations of Esterel. Proof, Language, and Interaction 2000: 425-454
1990 – 1999
- 1999
- [c20]Gérard Berry:
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME 1999: 1 - 1997
- [c19]Gérard Berry:
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV 1997: 303 - [c18]Ellen Sentovich, Horia Toma, Gérard Berry:
Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11 - [c17]Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3 - 1996
- [c16]Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225 - [c15]Thomas R. Shiple, Gérard Berry, Hervé J. Touati:
Constructive Analysis of Cyclic Circuits. ED&TC 1996: 328-333 - [c14]Ellen Sentovich, Horia Toma, Gérard Berry:
Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435 - 1993
- [c13]Gérard Berry:
Preemption in Concurrent Systems. FSTTCS 1993: 72-93 - [c12]Gérard Berry, S. Ramesh, R. K. Shyamasundar:
Communicating Reactive Processes. POPL 1993: 85-98 - 1992
- [j8]Gérard Berry, Georges Gonthier:
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992) - [j7]Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992) - [c11]Gérard Berry:
The Semantics of Pure Esterel. NATO ASI PDC 1992: 361-409 - 1991
- [j6]Gérard Berry, Georges Gonthier:
Incremental Development of an HDLC Entity in Esterel. Comput. Networks ISDN Syst. 22(1): 35-49 (1991) - [c10]Gérard Berry:
Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 1991: 49 - 1990
- [c9]Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. POPL 1990: 81-94
1980 – 1989
- 1989
- [c8]Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17 - 1986
- [j5]Gérard Berry, Ravi Sethi:
From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. 48(3): 117-126 (1986) - 1984
- [c7]Gérard Berry, Laurent Cosserat:
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency 1984: 389-448 - 1982
- [j4]Gérard Berry, Pierre-Louis Curien:
Sequential Algorithms on Concrete Data Structures. Theor. Comput. Sci. 20: 265-321 (1982) - 1981
- [c6]Gérard Berry:
Programming with concrete data structures and sequential algorithms. FPCA 1981: 49-58 - [c5]Gérard Berry:
On the Definition of Lamda-Calculus Models. ICFPC 1981: 218-230
1970 – 1979
- 1979
- [j3]Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. J. ACM 26(1): 148-175 (1979) - [c4]Gérard Berry, Jean-Jacques Lévy:
A Survey of Some Syntactic Results in the lambda-Calculus. MFCS 1979: 552-566 - 1978
- [c3]Gérard Berry:
Stable Models of Typed lambda-Calculi. ICALP 1978: 72-89 - 1977
- [j2]Gérard Berry:
Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. RAIRO Theor. Informatics Appl. 11(2): 113-126 (1977) - [c2]Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. POPL 1977: 215-226 - 1976
- [j1]Gérard Berry:
Bottom-Up Computation of Recursive Programs. RAIRO Theor. Informatics Appl. 10(1): 47-82 (1976) - [c1]Gérard Berry, Bruno Courcelle:
Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
