Bruno Pagano

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 3

Top Topics

Formal Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. FDL (2018)
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
SCADE 6: A formal language for embedded critical software development (invited paper). TASE (2017)
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
A Synchronous Look at the Simulink Standard Library. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. CC (2015)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
A type-based analysis of causality loops in hybrid systems modelers. HSCC (2014)
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP (2009)
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
Certified Development Tools Implementation in Objective Caml. PADL (2008)
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
A conservative extension of synchronous data-flow with state machines. EMSOFT (2005)
Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano
CamIL: Un compilateur Objective Caml vers .NET. RIVF (2004)
Bruno Pagano
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. CADE (1998)
Thérèse Hardin, Luc Maranget, Bruno Pagano
Functional Back-Ends within the Lambda-Sigma Calculus. ICFP (1996)