Bruno Pagano

12 papers A 3B 1C 2Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combined All-Atom Simulations and Biophysical Assays Uncover Loop-Driven Stabilization in the HRAS i-motif.
J. Chem. Inf. Model.
Alhadji Malloum, Valentina Arciuolo, Pavlína Pokorná, Luca Grisanti, Bruno Pagano, Jussara Amato, Alessandra Magistrato
2018 C conf
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.
FDL
Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017 J jnl
A Synchronous Look at the Simulink Standard Library.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017 Misc conf
SCADE 6: A formal language for embedded critical software development (invited paper).
TASE
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2015 B conf
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.
CC
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2014 — conf
A type-based analysis of causality loops in hybrid systems modelers.
HSCC
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
2009 A conf
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
ICFP
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2008 C conf
Certified Development Tools Implementation in Objective Caml.
PADL
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
2005 Misc conf
A conservative extension of synchronous data-flow with state machines.
EMSOFT
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2004 — conf
CamIL: Un compilateur Objective Caml vers .NET.
RIVF
Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano
1998 A conf
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.
CADE
Bruno Pagano
1996 A conf
Functional Back-Ends within the Lambda-Sigma Calculus.
ICFP
Thérèse Hardin, Luc Maranget, Bruno Pagano