Travelled to:1 × Israel
1 × Italy
1 × The Netherlands
2 × United Kingdom
4 × USA
Collaborated with:∅ G.Boudol J.Lévy B.Courcelle E.Sentovich H.Toma D.L.Dill N.James S.Rawat L.Fix H.Foster R.K.Ranjan G.Stålmarck C.Widdoes
Talks about:abstract (3) program (3) optim (3) esterel (2) verifi (2) machin (2) formal (2) effici (2) design (2) verif (2)
Person: Gérard Berry
DBLP: Berry:G=eacute=rard
Facilitated 1 volumes:
EdContributed to:
2005
200219971997
1997
1990
197819771976
1991Wrote 10 papers:
- FASE-2005-Berry #design #industrial #performance #specification
- Esterel v7: From Verified Formal Specification to Efficient Industrial Designs (GB), p. 1.
- DAC-2002-DillJRBFFRSW #verification
- Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.
- CAV-1997-Berry #design #verification
- Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design (GB), p. 303.
- DAC-1997-SentovichTB #optimisation #performance #set #using
- Efficient Latch Optimization Using Exclusive Sets (ES, HT, GB), pp. 8–11.
- TACAS-1997-Berry #hardware #optimisation #source code #synthesis #verification
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs (GB), pp. 1–3.
- POPL-1990-BerryB #automaton
- The Chemical Abstract Machine (GB, GB), pp. 81–94.
- ICALP-1978-Berry #modelling #λ-calculus
- Stable Models of Typed λ-Calculi (GB), pp. 72–89.
- POPL-1977-BerryL #recursion #source code
- Minimal and Optimal Computations of Recursive Programs (GB, JJL), pp. 215–226.
- ICALP-1976-BerryC #canonical #equivalence
- Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.
- ADC-1991-Berry #automaton #concurrent
- Concurrent Abstract Machines (Abstract) (GB), p. 49.