SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Gérard Berry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Gérard Berry, Georges Gonthier
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. [Citation Graph (1, 0)][DBLP]
Sci. Comput. Program., 1992, v:19, n:2, pp:87-152 [Journal]
Gérard Berry
Constructive Semantics of Esterel: From Theory to Practice (Abstract). [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:225- [Conf]
Gérard Berry
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. [Citation Graph (0, 0)][DBLP]
CAV, 1997, pp:303- [Conf]
Gérard Berry
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). [Citation Graph (0, 0)][DBLP]
CHARME, 1999, pp:1- [Conf]
Gérard Berry, Ellen Sentovich
Multiclock Esterel. [Citation Graph (0, 0)][DBLP]
CHARME, 2001, pp:110-125 [Conf]
Gérard Berry, Laurent Cosserat
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. [Citation Graph (0, 0)][DBLP]
Seminar on Concurrency, 1984, pp:389-448 [Conf]
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. [Citation Graph (0, 0)][DBLP]
DAC, 2002, pp:576-577 [Conf]
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? [Citation Graph (0, 0)][DBLP]
DAC, 2001, pp:71-72 [Conf]
Ellen Sentovich, Horia Toma, Gérard Berry
Efficient Latch Optimization Using Exclusive Sets. [Citation Graph (0, 0)][DBLP]
DAC, 1997, pp:8-11 [Conf]
Gérard Berry
Synchronous Programming Techniques for Embedded Systems: Present and Future. [Citation Graph (0, 0)][DBLP]
EMSOFT, 2001, pp:50- [Conf]
Gérard Berry
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. [Citation Graph (0, 0)][DBLP]
FASE, 2005, pp:1- [Conf]
Laurent Arditi, Gérard Berry, Michael Kishinevsky
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. [Citation Graph (0, 0)][DBLP]
FMCAD, 2004, pp:128-143 [Conf]
Gérard Berry
Preemption in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1993, pp:72-93 [Conf]
Gérard Berry
Stable Models of Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP]
ICALP, 1978, pp:72-89 [Conf]
Gérard Berry, Bruno Courcelle
Program Equivalence and Canonical Forms in Stable Discrete Interpretations. [Citation Graph (0, 0)][DBLP]
ICALP, 1976, pp:168-188 [Conf]
Gérard Berry, Michael Kishinevsky, Satnam Singh
System Level Design and Verification Using a Synchronous Language. [Citation Graph (0, 0)][DBLP]
ICCAD, 2003, pp:433-440 [Conf]
Ellen Sentovich, Horia Toma, Gérard Berry
Latch optimization in circuits generated from high-level descriptions. [Citation Graph (0, 0)][DBLP]
ICCAD, 1996, pp:428-435 [Conf]
Gérard Berry
On the Definition of Lamda-Calculus Models. [Citation Graph (0, 0)][DBLP]
ICFPC, 1981, pp:218-230 [Conf]
Gérard Berry
Real Time Programming: Special Purpose or General Purpose Languages. [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1989, pp:11-17 [Conf]
Gérard Berry, Jean-Jacques Lévy
A Survey of Some Syntactic Results in the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
MFCS, 1979, pp:552-566 [Conf]
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP]
POPL, 1990, pp:81-94 [Conf]
G. Berry, J. J. Levy
Minimal and Optimal Computations of Recursive Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1977, pp:215-226 [Conf]
Gérard Berry
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. [Citation Graph (0, 0)][DBLP]
TACAS, 1997, pp:1-3 [Conf]
Gérard Berry
Concurrent Abstract Machines (Abstract). [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.2, 1991, pp:49- [Conf]
Gérard Berry
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. [Citation Graph (0, 0)][DBLP]
VLSI Design, 2004, pp:24-0 [Conf]
Gérard Berry, Georges Gonthier
Incremental Development of an HDLC Entity in Esterel. [Citation Graph (0, 0)][DBLP]
Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:35-49 [Journal]
Gérard Berry, Ellen Sentovich
An Implementation of Constructive Synchronous Programs in POLIS. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2000, v:17, n:2, pp:135-161 [Journal]
Gérard Berry
Bottom-Up Computation of Recursive Programs. [Citation Graph (0, 0)][DBLP]
ITA, 1976, v:10, n:1, pp:47-82 [Journal]
Gérard Berry
Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. [Citation Graph (0, 0)][DBLP]
ITA, 1977, v:11, n:2, pp:113-126 [Journal]
Gérard Berry, Jean-Jacques Lévy
Minimal and Optimal Computations of Recursive Programs. [Citation Graph (0, 0)][DBLP]
J. ACM, 1979, v:26, n:1, pp:148-175 [Journal]
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
ESTEREL: a formal method applied to avionic software development. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 2000, v:36, n:1, pp:5-25 [Journal]
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1992, v:96, n:1, pp:217-248 [Journal]
Gérard Berry, Ravi Sethi
From Regular Expressions to Deterministic Automata. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1986, v:48, n:3, pp:117-126 [Journal]
The foundations of Esterel. [Citation Graph (, )][DBLP]
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. [Citation Graph (, )][DBLP]
Advances in ESL Design. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.306secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP