Jacques Pulou

According to our database1, Jacques Pulou authored at least 20 papers between 1978 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Using Feature Models for Distributed Deployment in Extended Smart Home Architecture.
Proceedings of the Software Architecture - 9th European Conference, 2015

Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework.
Sci. Comput. Program., 2013

Energy-driven consolidation in digital home.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Components mobility for energy efficiency of digital home.
Proceedings of the CBSE'13, 2013

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw. Pract. Exp., 2012

Jasmin: an alternative for secure modularity inside the digital home.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

A component-based run-time evolution infrastructure for resource-constrained embedded systems.
Proceedings of the Generative Programming And Component Engineering, 2010

Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

A DSL for Specifying Autonomic Security Management Strategies.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010

Think: View-Based Support of Non-functional Properties in Embedded Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Toward a Component-Based Embedded Java-Oriented Operating System.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.
Proceedings of the Synchronous Languages, Applications, and Programming, 2002

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Towards validated real-time software.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Efficient compilation of ESTEREL for real-time embedded systems.
Proceedings of the 2000 International Conference on Compilers, 2000

Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes.
PhD thesis, 1979

Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978