Marc Poulhiès

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Parallel Computers

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Benoît Dupont de Dinechin, Duco van Amstel, Marc Poulhiès, Guillaume Lager
Time-critical computing on a single-chip massively parallel processor. DATE (2014)
Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès
Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA (2011)
Matthieu Anne, Ruan He, Tahar Jarboui, Marc Lacoste, Olivier Lobry, Guirec Lorant, Maxime Louvel, Juan F. Navas, Vincent Olive, Juraj Polakovic, Marc Poulhiès, Jacques Pulou, Stéphane Seyvoz, Julien Tous, Thomas Watteyne
Think: View-Based Support of Non-functional Properties in Embedded Systems. ICESS (2009)
Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA (2007)
Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop (2006)