| 2015 | ECSA | Using Feature Models for Distributed Deployment in Extended Smart Home Architecture. | Amal Tahri, Laurence Duchien, Jacques Pulou |
| 2013 | SAC | Energy-driven consolidation in digital home. | Rmi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier |
| 2010 | ESORICS | A DSL for Specifying Autonomic Security Management Strategies. | Ruan He, Marc Lacoste, Jacques Pulou, Jean Leneutre |
| 2010 | ETFA | Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications. | Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau |
| 2010 | GPCE | A component-based run-time evolution infrastructure for resource-constrained embedded systems. | Juan F. Navas, Jean-Philippe Babau, Jacques Pulou |
| 2007 | NCA | Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. | Ananda Basu, Laurent Mounier, Marc Poulhis, Jacques Pulou, Joseph Sifakis |
| 2001 | CAV | 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 |
| 2000 | CASES | Efficient compilation of ESTEREL for real-time embedded systems. | Daniel Weil, Valrie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou |
| 2000 | ECRTS | Towards validated real-time software. | Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
| 1978 | MFCS | Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. | M. Moalla, Jacques Pulou, Joseph Sifakis |