| 2020 | PLDI | HipHop.js: (A)Synchronous reactive web programming. | Grard Berry, Manuel Serrano |
| 2018 | SAC | Hiphop.js: a language to orchestrate web applications. | Colin Vidal, Grard Berry, Manuel Serrano |
| 2016 | ISoLA | Formally Unifying Modeling and Design for Embedded Systems - A Personal View. | Grard Berry |
| 2014 | ICDCIT | Hop and HipHop: Multitier Web Orchestration. | Grard Berry, Manuel Serrano |
| 2011 | EMSOFT | Challenges and potential solutions for complex embedded systems. | Grard Berry |
| 2007 | FMICS | Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. | Grard Berry |
| 2005 | FASE | Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. | Grard Berry |
| 2004 | FMCAD | Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. | Laurent Arditi, Grard Berry, Michael Kishinevsky |
| 2004 | VLSID | Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. | Grard Berry |
| 2003 | ICCAD | System Level Design and Verification Using a Synchronous Language. | Grard Berry, Michael Kishinevsky, Satnam Singh |
| 2002 | DAC | Formal verification methods: getting around the brick wall. | David L. Dill, Nate James, Shishpal Rawat, Grard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stlmarck, Curt Widdoes |
| 2001 | DAC | Panel: The Next HDL: If C++ is the Answer, What was the Question? | Rajesh K. Gupta, Shishpal Rawat, Ingrid Verbauwhede, Grard Berry, Ramesh Chandra, Daniel Gajski, Kris Konigsfeld, Patrick Schaumont |
| 2001 | EMSOFT | Synchronous Programming Techniques for Embedded Systems: Present and Future. | Grard Berry |
| 1997 | CAV | Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. | Grard Berry |
| 1997 | DAC | Efficient Latch Optimization Using Exclusive Sets. | Ellen Sentovich, Horia Toma, Grard Berry |
| 1997 | TACAS | Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. | Grard Berry |
| 1996 | DATE | Constructive Analysis of Cyclic Circuits. | Thomas R. Shiple, Grard Berry, Herv J. Touati |
| 1996 | ICCAD | Latch optimization in circuits generated from high-level descriptions. | Ellen Sentovich, Horia Toma, Grard Berry |
| 1993 | POPL | Communicating Reactive Processes. | Grard Berry, S. Ramesh, R. K. Shyamasundar |
| 1990 | POPL | The Chemical Abstract Machine. | Grard Berry, Grard Boudol |
| 1984 | CONCUR | The ESTEREL Synchronous Programming Language and its Mathematical Semantics. | Grard Berry, Laurent Cosserat |
| 1979 | MFCS | A Survey of Some Syntactic Results in the lambda-Calculus. | Grard Berry, Jean-Jacques Lvy |
| 1978 | ICALP | Stable Models of Typed lambda-Calculi. | Grard Berry |
| 1977 | POPL | Minimal and Optimal Computations of Recursive Programs. | Grard Berry, Jean-Jacques Lvy |
| 1976 | ICALP | Program Equivalence and Canonical Forms in Stable Discrete Interpretations. | Grard Berry, Bruno Courcelle |