Marc Poulhiès

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems

Jacques Pulou, Joseph Sifakis, Christophe Rippert, 2006, Monterey Workshop.

Think: View-Based Support of Non-functional Properties in Embedded Systems

Maxime Louvel, Jacques Pulou, Marc Lacoste, 2009, 2009 International Conference on Embedded Software and Systems.

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks

Jacques Pulou, Joseph Sifakis, Ananda Basu, 2007, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).

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, Marc Poulhiès, 2010 .

Time-critical computing on a single-chip massively parallel processor

Benoît Dupont de Dinechin, Marc Poulhiès, Duco van Amstel, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).