Marc Poulhiès

According to our database, Marc Poulhiès authored at least 6 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Benoît Dupont de Dinechin, Duco van Amstel, Marc Poulhiès, Guillaume Lager

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2011

Correct Implementation of Open Real-Time Systems.

Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

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

PhD thesis, 2010

2009

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, Stéphane Seyvoz, Julien Tous, Thomas Watteyne

Proceedings of the International Conference on Embedded Software and Systems, 2009

2007

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

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2006

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

Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006