Gérard Berry

According to our database1, Gérard Berry authored at least 46 papers between 1976 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Hiphop.js: a language to orchestrate web applications.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Hop and HipHop: Multitier Web Orchestration.
Proceedings of the Distributed Computing and Internet Technology, 2014

Multitier Programming in Hop.
ACM Queue, 2012

Constructive Boolean circuits and the exactness of timed ternary simulation.
Formal Methods in System Design, 2012

Multitier programming in Hop.
Commun. ACM, 2012

Challenges and potential solutions for complex embedded systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Advances in ESL Design.
IEEE Design & Test of Computers, 2008

Circuit design and verication with Esterel v7 and Esterel Studio.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Compiling Esterel.
Springer, ISBN: 978-0-387-70626-9, 2007

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

System Level Design and Verification Using a Synchronous Language.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Top-level validation of system-on-chip in Esterel Studio.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Formal verification methods: getting around the brick wall.
Proceedings of the 39th Design Automation Conference, 2002

Synchronous Programming Techniques for Embedded Systems: Present and Future.
Proceedings of the Embedded Software, First International Workshop, 2001

Panel: The Next HDL: If C++ is the Answer, What was the Question?
Proceedings of the 38th Design Automation Conference, 2001

Multiclock Esterel.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

ESTEREL: a formal method applied to avionic software development.
Sci. Comput. Program., 2000

An Implementation of Constructive Synchronous Programs in POLIS.
Formal Methods in System Design, 2000

The foundations of Esterel.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract).
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Efficient Latch Optimization Using Exclusive Sets.
Proceedings of the 34st Conference on Design Automation, 1997

Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Latch optimization in circuits generated from high-level descriptions.
ICCAD, 1996

Constructive Analysis of Cyclic Circuits.
Proceedings of the 1996 European Design and Test Conference, 1996

Constructive Semantics of Esterel: From Theory to Practice (Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996

Preemption in Concurrent Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

The Esterel Synchronous Programming Language: Design, Semantics, Implementation.
Sci. Comput. Program., 1992

The Semantics of Pure Esterel.
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

Incremental Development of an HDLC Entity in Esterel.
Computer Networks and ISDN Systems, 1991

Concurrent Abstract Machines (Abstract).
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The Chemical Abstract Machine.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Real Time Programming: Special Purpose or General Purpose Languages.
IFIP Congress, 1989

From Regular Expressions to Deterministic Automata.
Theor. Comput. Sci., 1986

The ESTEREL Synchronous Programming Language and its Mathematical Semantics.
Proceedings of the Seminar on Concurrency, 1984

On the Definition of Lamda-Calculus Models.
Proceedings of the Formalization of Programming Concepts, 1981

Programming with concrete data structures and sequential algorithms.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

A Survey of Some Syntactic Results in the lambda-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Stable Models of Typed lambda-Calculi.
Proceedings of the Automata, 1978

Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac.
ITA, 1977

Minimal and Optimal Computations of Recursive Programs.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

Bottom-Up Computation of Recursive Programs.
ITA, 1976

Program Equivalence and Canonical Forms in Stable Discrete Interpretations.
ICALP, 1976