Cédric Pasteur

Publication Activity (10 Years)

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

Top Venues

PPDP

ACM Trans. Embed. Comput. Syst.

FDL

Sci. Comput. Program.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

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)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106 (9) (2018)
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)
Louis Mandel, Cédric Pasteur, Marc Pouzet
ReactiveML, ten years later. PPDP (2015)
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)
Louis Mandel, Cédric Pasteur, Marc Pouzet
Time refinement in a functional synchronous language. Sci. Comput. Program. 111 (2015)
Louis Mandel, Cédric Pasteur
Exécution efficace de programmes ReactiveML. JFLA (2014)
Louis Mandel, Cédric Pasteur
Reactivity of Cooperative Systems - Application to ReactiveML. SAS (2014)
Louis Mandel, Cédric Pasteur, Marc Pouzet
Time refinement in a functional synchronous language. PPDP (2013)
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. LCTES (2012)
Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, François Felix Ingrand
GenoM3: Building middleware-independent robotic components. ICRA (2010)

Cédric Pasteur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cédric Pasteur