Marc Poulhiès

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c4		Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès: Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA 2011: 57-64
	2009
c3		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: 147-156
	2007
c2		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: 257-260
	2006
c1		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: 75-96

Coauthor Index

Last update Thu May 23 10:15:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page