Functional Back-Ends within the Lambda-Sigma Calculus. - Thérèse Hardin; Luc Maranget; Bruno Pagano (ICFP, 1996)

X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. - Bruno Pagano (CADE, 1998)

CamIL: Un compilateur Objective Caml vers .NET. - Emmanuel Chailloux; Raphaël Montelatici; Bruno Pagano (RIVF, 2004)

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

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)

A type-based analysis of causality loops in hybrid systems modelers. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Bruno Pagano; Marc Pouzet (HSCC, 2014)

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)