BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Berry:G=eacute=rard

Facilitated 1 volumes:

CAV 2001Ed

Contributed to:

FASE 20052005
DAC 20022002
CAV 19971997
DAC 19971997
TACAS 19971997
POPL 19901990
ICALP 19781978
POPL 19771977
ICALP 19761976
TAPSOFT, Vol.2: ADC 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.