| 2018 | FDL | Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. | Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2017 | TASE | SCADE 6: A formal language for embedded critical software development (invited paper). | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2015 | CC | A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. | Timothy Bourke, Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2009 | ICFP | 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 Colao |
| 2008 | PADL | Certified Development Tools Implementation in Objective Caml. | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colao, Thomas Moniot, Philippe Wang |
| 2005 | EMSOFT | A conservative extension of synchronous data-flow with state machines. | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 1998 | CADE | X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. | Bruno Pagano |
| 1996 | ICFP | Functional Back-Ends within the Lambda-Sigma Calculus. | Thrse Hardin, Luc Maranget, Bruno Pagano |