Gérard Berry - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2020

HipHop.js: (A)Synchronous reactive web programmingGérard Berry, Manuel Serrano. PLDI 2020: 533-545 [doi]

2018

Hiphop.js: a language to orchestrate web applicationsColin Vidal, Gérard Berry, Manuel Serrano. SAC 2018: 2193-2195 [doi]

2014

Hop and HipHop: Multitier Web OrchestrationGérard Berry, Manuel Serrano. icdcit 2014: 1-13 [doi]

2012

Constructive Boolean circuits and the exactness of timed ternary simulationMichael Mendler, Thomas R. Shiple, Gérard Berry. fmsd, 40(3):283-329, 2012. [doi]

Multitier programming in HopManuel Serrano, Gérard Berry. CACM, 55(8):53-59, 2012. [doi]

Multitier Programming in HopManuel Serrano, Gérard Berry. queue, 10(7):10, 2012. [doi]

2011

Challenges and potential solutions for complex embedded systemsGérard Berry. emsoft 2011: 1-2 [doi]

2008

Advances in ESL DesignRajesh Gupta, Arvind, Gérard Berry, Forrest Brewer. dt, 25(6):520-526, 2008. [doi]

2007

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and EsterelGérard Berry. fmics 2008: 2 [doi]

Circuit design and verication with Esterel v7 and Esterel StudioGérard Berry. hldvt 2007: 133-136 [doi]

Compiling EsterelDumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry. Springer, 2007. [doi]

2005

Esterel v7: From Verified Formal Specification to Efficient Industrial DesignsGérard Berry. FASE 2005: 1 [doi]

2004

Late Design Changes (ECOs) for Sequentially Optimized Esterel DesignsLaurent Arditi, Gérard Berry, Michael Kishinevsky. FMCAD 2004: 128-143 [doi]

Synchronous Methodology for Designing Hardware, Software and Mixed Embedded SystemsGérard Berry. vlsid 2004: 24 [doi]

2003

System Level Design and Verification Using a Synchronous LanguageGérard Berry, Michael Kishinevsky, Satnam Singh. iccad 2003: 433-440 [doi]

2002

Top-level validation of system-on-chip in Esterel StudioGérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy. hldvt 2002: 36-41 [doi]

Formal verification methods: getting around the brick wallDavid L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes. dac 2002: 576-577 [doi]

2001

2000

The foundations of EsterelGérard Berry. BIRTHDAY 2000: 425-454

An Implementation of Constructive Synchronous Programs in POLISGérard Berry, Ellen Sentovich. fmsd, 17(2):135-161, 2000.

ESTEREL: a formal method applied to avionic software developmentGérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone. SCP, 36(1):5-25, 2000.

1999

Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract)Gérard Berry. charme 1999: 1 [doi]

1997

Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous DesignGérard Berry. cav 1997: 303

Hardware and Software Synthesis, Optimization, and Verification from Esterel ProgramsGérard Berry. TACAS 1997: 1-3

Efficient Latch Optimization Using Exclusive SetsEllen Sentovich, Horia Toma, Gérard Berry. dac 1997: 8-11 [doi]

1996

Constructive Semantics of Esterel: From Theory to Practice (Abstract)Gérard Berry. amast 1996: 225

Latch optimization in circuits generated from high-level descriptionsEllen Sentovich, Horia Toma, Gérard Berry. iccad 1996: 428-435 [doi]

Constructive Analysis of Cyclic CircuitsThomas R. Shiple, Gérard Berry, Hervé J. Touati. date 1996: 328-333 [doi]

1993

Preemption in Concurrent SystemsGérard Berry. fsttcs 1993: 72-93

1992

The Esterel Synchronous Programming Language: Design, Semantics, ImplementationGérard Berry, Georges Gonthier. SCP, 19(2):87-152, 1992.

The Chemical Abstract MachineGérard Berry, Gérard Boudol. TCS, 96(1):217-248, 1992.

The Semantics of Pure EsterelGérard Berry. nato 1993: 361-409 [doi]

1991

Concurrent Abstract Machines (Abstract)Gérard Berry. tapsoft 1991: 49

Incremental Development of an HDLC Entity in EsterelGérard Berry, Georges Gonthier. cn, 22(1):35-49, 1991.

1990

The Chemical Abstract MachineGérard Berry, Gérard Boudol. POPL 1990: 81-94

1989

Real Time Programming: Special Purpose or General Purpose LanguagesGérard Berry. ifip 1989: 11-17

1986

From Regular Expressions to Deterministic AutomataGérard Berry, Ravi Sethi. TCS, 48(3):117-126, 1986.

1984

The ESTEREL Synchronous Programming Language and its Mathematical SemanticsGérard Berry, Laurent Cosserat. concur 1985: 389-448

1981

On the Definition of Lamda-Calculus ModelsGérard Berry. icfpc 1981: 218-230

Programming with concrete data structures and sequential algorithmsGérard Berry. fpca 1981: 49-58 [doi]

1979

A Survey of Some Syntactic Results in the lambda-CalculusGérard Berry, Jean-Jacques Lévy. mfcs 1979: 552-566

Minimal and Optimal Computations of Recursive ProgramsGérard Berry, Jean-Jacques Lévy. JACM, 26(1):148-175, 1979. [doi]

1978

Stable Models of Typed lambda-CalculiGérard Berry. icalp 1978: 72-89

1977

Calculs Ascendants du Programme d Ackermann: Analyse du Programme de J. ArsacGérard Berry. ita, 11(2):113-126, 1977.

1976

Program Equivalence and Canonical Forms in Stable Discrete InterpretationsGérard Berry, Bruno Courcelle. icalp 1976: 168-188

Bottom-Up Computation of Recursive ProgramsGérard Berry. ita, 10(1):47-82, 1976.

Sign in or sign up to see more results.

runs on WebDSL