Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. - M. Moalla; Jacques Pulou; Joseph Sifakis (MFCS, 1978)

Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes. - Jacques Pulou (1979)

Efficient compilation of ESTEREL for real-time embedded systems. - Daniel Weil; Valérie Bertin; Etienne Closse; Michel Poize; Patrick Venier; Jacques Pulou (CASES, 2000)

Towards validated real-time software. - Valérie Bertin; Michel Poize; Jacques Pulou; Joseph Sifakis (ECRTS, 2000)

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. - Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CAV, 2001)

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. - Valérie Bertin; Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CDC, 2001)

SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. - Etienne Closse; Michel Poize; Jacques Pulou; Patrick Venier; Daniel Weil (SLAP@ETAPS, 2002)

Toward a Component-Based Embedded Java-Oriented Operating System. - Frédéric Dang Tran; Jean-Philippe Fassino; Olivier Lobry; Jacques Pulou; Nicolas Rivierre (OTM Workshops, 2004)

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. - Marc Poulhiès; Jacques Pulou; Christophe Rippert; Joseph Sifakis (Monterey Workshop, 2006)

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 (NCA, 2007)

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; et al. (ICESS, 2009)

A DSL for Specifying Autonomic Security Management Strategies. - Ruan He; Marc Lacoste; Jacques Pulou; Jean Leneutre (DPM/SETOP, 2010)

Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications. - Maxime Louvel; Jacques Pulou; Alain Plantec; Jean-Philippe Babau (ETFA, 2010)

A component-based run-time evolution infrastructure for resource-constrained embedded systems. - Juan F. Navas; Jean-Philippe Babau; Jacques Pulou (GPCE, 2010)

Jasmin: an alternative for secure modularity inside the digital home. - Matthieu Anne; Koutheir Attouchi; Dominique Henry de Villeneuve; Jacques Pulou (CBSE, 2012)

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. - 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 (Softw. Pract. Exp., 2012)

Components mobility for energy efficiency of digital home. - Rémi Druilhe; Matthieu Anne; Jacques Pulou; Laurence Duchien; Lionel Seinturier (CBSE, 2013)

Energy-driven consolidation in digital home. - Rémi Druilhe; Matthieu Anne; Jacques Pulou; Laurence Duchien; Lionel Seinturier (SAC, 2013)

Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. - Juan F. Navas; Jean-Philippe Babau; Jacques Pulou (Sci. Comput. Program., 2013)

Using Feature Models for Distributed Deployment in Extended Smart Home Architecture. - Amal Tahri; Laurence Duchien; Jacques Pulou (ECSA, 2015)