Jacques Pulou

Publication Activity (10 Years)

Years Active: 1978-2015
Publications (10 Years): 2

Top Venues

ECSA

CoRR

SAC

Sci. Comput. Program.

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Amal Tahri, Laurence Duchien, Jacques Pulou
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture. CoRR (2015)
Amal Tahri, Laurence Duchien, Jacques Pulou
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture. ECSA (2015)
Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier
Components mobility for energy efficiency of digital home. CBSE (2013)
Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier
Energy-driven consolidation in digital home. SAC (2013)
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. Sci. Comput. Program. 78 (8) (2013)
Matthieu Anne, Koutheir Attouchi, Dominique Henry de Villeneuve, Jacques Pulou
Jasmin: an alternative for secure modularity inside the digital home. CBSE (2012)
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
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42 (12) (2012)
Ruan He, Marc Lacoste, Jacques Pulou, Jean Leneutre
A DSL for Specifying Autonomic Security Management Strategies. DPM/SETOP (2010)
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
A component-based run-time evolution infrastructure for resource-constrained embedded systems. GPCE (2010)
Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau
Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications. ETFA (2010)
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)
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)
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)
Frédéric Dang Tran, Jean-Philippe Fassino, Olivier Lobry, Jacques Pulou, Nicolas Rivierre
Toward a Component-Based Embedded Java-Oriented Operating System. OTM Workshops (2004)
Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV (2001)
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC (2001)
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou
Efficient compilation of ESTEREL for real-time embedded systems. CASES (2000)
Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis
Towards validated real-time software. ECRTS (2000)
M. Moalla, Jacques Pulou, Joseph Sifakis
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. MFCS (1978)

Jacques Pulou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jacques Pulou