A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. - Marc Poulhiès; Jacques Pulou; Christophe Rippert; Joseph Sifakis (Monterey Workshop, 2006)

Using BIP for Modeling and Verification of Networked Systems – A Case Study on TinyOS-based Networks. - Ananda Basu; Laurent Mounier; Marc Poulhiès; Jacques Pulou; Joseph Sifakis (NCA, 2007)

Think: View-Based Support of Non-functional Properties in Embedded Systems. - 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; et al. (ICESS, 2009)

Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système. (Design and Implementation of Component Based Systems. Towards a Unification of the Software Engineering and the System Paradigms). - Marc Poulhiès (2010)

Correct Implementation of Open Real-Time Systems. - Tesnim Abdellatif; Jacques Combaz; Marc Poulhiès (EUROMICRO-SEAA, 2011)

Time-critical computing on a single-chip massively parallel processor. - Benoît Dupont de Dinechin; Duco van Amstel; Marc Poulhiès; Guillaume Lager (DATE, 2014)