ask others

Gérard Berry

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icdcit/BerryS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdcit/BerryS14
Gérard Berry, Manuel Serrano:
Hop and HipHop: Multitier Web Orchestration. ICDCIT 2014: 1-13
2013
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BerryS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BerryS13
Gérard Berry, Manuel Serrano:
Hop and HipHop : Multitier Web Orchestration. CoRR abs/1312.0078 (2013)
2012
[j13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/cacm/SerranoB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cacm/SerranoB12
Manuel Serrano, Gérard Berry:
Multitier programming in Hop. Commun. ACM 55(8): 53-59 (2012)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/MendlerSB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/MendlerSB12
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/queue/SerranoB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/queue/SerranoB12
Manuel Serrano, Gérard Berry:
Multitier Programming in Hop. ACM Queue 10(7): 10 (2012)
2011
[c32]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/Berry11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/Berry11
Gérard Berry:
Challenges and potential solutions for complex embedded systems. EMSOFT 2011: 1-2

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j10]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/dt/GuptaABB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dt/GuptaABB08
Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer:
Advances in ESL Design. IEEE Design & Test of Computers 25(6): 520-526 (2008)
2007
[b1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/daglib/0023221
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/daglib/0023221
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/Berry07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmics/Berry07
Gérard Berry:
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS 2007: 2
[c30]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/hldvt/Berry07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hldvt/Berry07
Gérard Berry:
Circuit design and verication with Esterel v7 and Esterel Studio. HLDVT 2007: 133-136
2005
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/Berry05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/Berry05
Gérard Berry:
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE 2005: 1
2004
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/ArditiBK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/ArditiBK04
Laurent Arditi, Gérard Berry, Michael Kishinevsky:
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143
[c27]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/vlsid/Berry04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vlsid/Berry04
Gérard Berry:
Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design 2004: 24-
2003
[c26]
- view
  - electronic edition @ ieeecomputersociety.org
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/iccad/BerryKS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iccad/BerryKS03
Gérard Berry, Michael Kishinevsky, Satnam Singh:
System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440
2002
[c25]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/dac/DillJRBFFRSW02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/DillJRBFFRSW02
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/hldvt/BerryBBD02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hldvt/BerryBBD02
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/charme/BerryS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/charme/BerryS01
Gérard Berry, Ellen Sentovich:
Multiclock Esterel. CHARME 2001: 110-125
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/dac/GuptaRVBCGKS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/GuptaRVBCGKS01
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/emsoft/Berry01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/Berry01
Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT 2001: 50
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/2001
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/2001
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BerryS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BerryS00
Gérard Berry, Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods in System Design 17(2): 135-161 (2000)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BerryBFLNS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BerryBFLNS00
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]
- no documents available
- export record
  dblp key:
  - conf/birthday/Berry00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Berry00
Gérard Berry:
The foundations of Esterel. Proof, Language, and Interaction 2000: 425-454

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/charme/Berry99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/charme/Berry99
Gérard Berry:
Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME 1999: 1
1997
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Berry97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/Berry97
Gérard Berry:
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV 1997: 303
[c17]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/dac/SentovichTB97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/SentovichTB97
Ellen Sentovich, Horia Toma, Gérard Berry:
Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Berry97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Berry97
Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3
1996
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Berry96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Berry96
Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST 1996: 225
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/date/ShipleBT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/ShipleBT96
Thomas R. Shiple, Gérard Berry, Hervé J. Touati:
Constructive Analysis of Cyclic Circuits. ED&TC 1996: 328-333
[c13]
- view
- export record
  dblp key:
  - conf/iccad/SentovichTB96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iccad/SentovichTB96
Ellen Sentovich, Horia Toma, Gérard Berry:
Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435
1993
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Berry93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Berry93
Gérard Berry:
Preemption in Concurrent Systems. FSTTCS 1993: 72-93
1992
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BerryG92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BerryG92
Gérard Berry, Georges Gonthier:
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BerryB92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BerryB92
Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nato/Berry92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nato/Berry92
Gérard Berry:
The Semantics of Pure Esterel. NATO ASI PDC 1992: 361-409
1991
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cn/BerryG91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cn/BerryG91
Gérard Berry, Georges Gonthier:
Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/Berry91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/Berry91
Gérard Berry:
Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 1991: 49
1990
[c9]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/BerryB90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BerryB90
Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. POPL 1990: 81-94

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c8]
- no documents available
- export record
  dblp key:
  - conf/ifip/Berry89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip/Berry89
Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17
1986
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BerryS86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BerryS86
Gérard Berry, Ravi Sethi:
From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. 48(3): 117-126 (1986)
1984
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BerryC84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BerryC84
Gérard Berry, Laurent Cosserat:
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency 1984: 389-448
1981
[c6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/fpca/Berry81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fpca/Berry81
Gérard Berry:
Programming with concrete data structures and sequential algorithms. FPCA 1981: 49-58
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfpc/Berry81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfpc/Berry81
Gérard Berry:
On the Definition of Lamda-Calculus Models. ICFPC 1981: 218-230

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1979
[j3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/jacm/BerryL79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jacm/BerryL79
Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. J. ACM 26(1): 148-175 (1979)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BerryL79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BerryL79
Gérard Berry, Jean-Jacques Lévy:
A Survey of Some Syntactic Results in the lambda-Calculus. MFCS 1979: 552-566
1978
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/Berry78
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/Berry78
Gérard Berry:
Stable Models of Typed lambda-Calculi. ICALP 1978: 72-89
1977
[j2]
- no documents available
- export record
  dblp key:
  - journals/ita/Berry77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Berry77
Gérard Berry:
Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. ITA 11(2): 113-126 (1977)
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/BerryL77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BerryL77
Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. POPL 1977: 215-226
1976
[j1]
- no documents available
- export record
  dblp key:
  - journals/ita/Berry76
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Berry76
Gérard Berry:
Bottom-Up Computation of Recursive Programs. ITA 10(1): 47-82 (1976)
[c1]
- no documents available
- export record
  dblp key:
  - conf/icalp/BerryC76
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/BerryC76
Gérard Berry, Bruno Courcelle:
Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188

Coauthor Index

see FAQ

maintained by

at