Cédric Pasteur

12 papers A* 1B 3C 3Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2018 J jnl
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proc. IEEE
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
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
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
2015 C conf
ReactiveML, ten years later.
PPDP
Louis Mandel, Cédric Pasteur, Marc Pouzet
2015 J jnl
Time refinement in a functional synchronous language.
Sci. Comput. Program.
Louis Mandel, Cédric Pasteur, Marc Pouzet
2014 — conf
Exécution efficace de programmes ReactiveML.
JFLA
Louis Mandel, Cédric Pasteur
2014 B conf
Reactivity of Cooperative Systems - Application to ReactiveML.
SAS
Louis Mandel, Cédric Pasteur
2013 — —
Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel.
Cédric Pasteur
2013 C conf
Time refinement in a functional synchronous language.
PPDP
Louis Mandel, Cédric Pasteur, Marc Pouzet
2012 B conf
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler.
LCTES
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
2010 A* conf
GenoM3: Building middleware-independent robotic components.
ICRA
Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, François Felix Ingrand