According to our database1, Gérard Berry authored at least 46 papers between 1976 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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
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.
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.
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.
Program Equivalence and Canonical Forms in Stable Discrete Interpretations.