Static safety analysis for non-uniform service availability in Actors. - Jean-Louis Colaço; Marc Pantel; Fabien Dagnat; Patrick Sallé (FMOODS, 1999)

Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. - Jean-Louis Colaço; Marc Pouzet (SLAP@ETAPS, 2002)

Clocks as First Class Abstract Types. - Jean-Louis Colaço; Marc Pouzet (EMSOFT, 2003)

Towards a higher-order synchronous data-flow language. - Jean-Louis Colaço; Alain Girault; Grégoire Hamon; Marc Pouzet (EMSOFT, 2004)

Type-based initialization analysis of a synchronous dataflow language. - Jean-Louis Colaço; Marc Pouzet (Int. J. Softw. Tools Technol. Transf., 2004)

A conservative extension of synchronous data-flow with state machines. - Jean-Louis Colaço; Bruno Pagano; Marc Pouzet (EMSOFT, 2005)

Mixing signals and modes in synchronous data-flow systems. - Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (EMSOFT, 2006)

Clock-directed modular code generation for synchronous data-flow languages. - Dariusz Biernacki; Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (LCTES, 2008)

Certified Development Tools Implementation in Objective Caml. - Bruno Pagano; Olivier Andrieu; Benjamin Canou; Emmanuel Chailloux; Jean-Louis Colaço; Thomas Moniot; Philippe Wang (PADL, 2008)

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. - Bruno Pagano; Olivier Andrieu; Thomas Moniot; Benjamin Canou; Emmanuel Chailloux; Philippe Wang; Pascal Manoury; Jean-Louis Colaço (ICFP, 2009)

Synchronous objects with scheduling policies: introducing safe shared memory in lustre. - Paul Caspi; Jean-Louis Colaço; Léonard Gérard; Marc Pouzet; Pascal Raymond (LCTES, 2009)

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. - Timothy Bourke; Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (CC, 2015)

SCADE 6: A formal language for embedded critical software development (invited paper). - Jean-Louis Colaço; Bruno Pagano; Marc Pouzet (TASE, 2017)

A Synchronous Look at the Simulink Standard Library. - Timothy Bourke; Francois Carcenac; Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2017)

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. - Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (FDL, 2018)

Building a Hybrid Systems Modeler on Synchronous Languages Principles. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Jean-Louis Colaço; Cédric Pasteur; Marc Pouzet (Proc. IEEE, 2018)

An overview of Scade, a synchronous language for safety-critical software (keynote). - Jean-Louis Colaço (REBLS@SPLASH, 2020)

Polymorphic Types with Polynomial Sizes. - Jean-Louis Colaço; Baptiste Pauget; Marc Pouzet (ARRAY@PLDI, 2023)

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. - Jean-Louis Colaço; Michael Mendler; Baptiste Pauget; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2023)