Jacques Pulou

21 papers A* 1B 5C 1Misc 2Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2015 B conf
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture.
ECSA
Amal Tahri, Laurence Duchien, Jacques Pulou
2015 J jnl
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture.
CoRR
Amal Tahri, Laurence Duchien, Jacques Pulou
2013 — conf
Components mobility for energy efficiency of digital home.
CBSE
Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier
2013 Misc conf
Energy-driven consolidation in digital home.
SAC
Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier
2013 J jnl
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework.
Sci. Comput. Program.
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
2012 J jnl
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw. Pract. Exp.
Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan F. Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
2012 — conf
Jasmin: an alternative for secure modularity inside the digital home.
CBSE
Matthieu Anne, Koutheir Attouchi, Dominique Henry de Villeneuve, Jacques Pulou
2010 — conf
A DSL for Specifying Autonomic Security Management Strategies.
DPM/SETOP
Ruan He, Marc Lacoste, Jacques Pulou, Jean Leneutre
2010 B conf
A component-based run-time evolution infrastructure for resource-constrained embedded systems.
GPCE
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
2010 C conf
Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications.
ETFA
Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau
2009 — conf
Think: View-Based Support of Non-functional Properties in Embedded Systems.
ICESS
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
2007 B conf
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
NCA
Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
2006 — conf
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
Monterey Workshop
Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis
2004 — conf
Toward a Component-Based Embedded Java-Oriented Operating System.
OTM Workshops
Frédéric Dang Tran, Jean-Philippe Fassino, Olivier Lobry, Jacques Pulou, Nicolas Rivierre
2002 — conf
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.
SLAP
Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
2001 A* conf
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
CAV
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2001 — conf
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.
CDC
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2000 Misc conf
Efficient compilation of ESTEREL for real-time embedded systems.
CASES
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou
2000 B conf
Towards validated real-time software.
ECRTS
Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis
1979 — —
Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes.
Jacques Pulou
1978 B conf
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
MFCS
M. Moalla, Jacques Pulou, Joseph Sifakis