Bruno Pagano

According to our database, Bruno Pagano authored at least 11 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.

Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

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: A formal language for embedded critical software development (invited paper).

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2015

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.

Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

A type-based analysis of causality loops in hybrid systems modelers.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang

Proceedings of the Practical Aspects of Declarative Languages, 2008

2005

A conservative extension of synchronous data-flow with state machines.

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

Proceedings of the EMSOFT 2005, 2005

2004

CamIL: Un compilateur Objective Caml vers .NET.

Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano

Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004

1998

X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.

Bruno Pagano

Proceedings of the Automated Deduction, 1998

1996

Functional Back-Ends within the Lambda-Sigma Calculus.

Thérèse Hardin, Luc Maranget, Bruno Pagano

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996