Gérard Berry
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2014
- [c33]
- 2013
- [i1]Gérard Berry, Manuel Serrano:
Hop and HipHop : Multitier Web Orchestration. CoRR abs/1312.0078 (2013) - 2012
- [j13]
- [j12]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) - [j11]
- 2011
- [c32]
2000 – 2009
- 2008
- [j10]Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer:
Advances in ESL Design. IEEE Design & Test of Computers 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 - [c31]Gérard Berry:
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2 - [c30]
- 2005
- [c29]Gérard Berry:
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1 - 2004
- [c28]Laurent Arditi, Gérard Berry, Michael Kishinevsky:
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143 - [c27]Gérard Berry:
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24- - 2003
- [c26]Gérard Berry, Michael Kishinevsky, Satnam Singh:
System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440 - 2002
- [c25]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 - [c24]Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy:
Top-level validation of system-on-chip in Esterel Studio. HLDVT 2002: 36-41 - 2001
- [c23]
- [c22]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 - [c21]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
- [j9]Gérard Berry, Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods in System Design 17(2): 135-161 (2000) - [j8]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) - [c20]
1990 – 1999
- 1999
- [c19]Gérard Berry:
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME 1999: 1 - 1997
- [c18]Gérard Berry:
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV 1997: 303 - [c17]Ellen Sentovich, Horia Toma, Gérard Berry:
Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11 - [c16]Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3 - 1996
- [c15]Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225 - [c14]Thomas R. Shiple, Gérard Berry, Hervé J. Touati:
Constructive Analysis of Cyclic Circuits. ED&TC 1996: 328-333 - [c13]Ellen Sentovich, Horia Toma, Gérard Berry:
Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435 - 1993
- [c12]
- 1992
- [j7]Gérard Berry, Georges Gonthier:
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992) - [j6]Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992) - [c11]
- 1991
- [j5]Gérard Berry, Georges Gonthier:
Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991) - [c10]
- 1990
- [c9]
1980 – 1989
- 1989
- [c8]Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17 - 1986
- [j4]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 - 1981
- [c6]
- [c5]
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]
- 1977
- [j2]Gérard Berry:
Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. ITA 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]
- [c1]Gérard Berry, Bruno Courcelle:
Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-02-06 22:24 CET by the dblp team