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.

Timeline

1980
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
1
1
1
2
1
3
1
1
1
1
1
2
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2013
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

2012
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

2010
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

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

2007
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

2006
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

2004
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

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

2001
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

2000
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

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

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


  Loading...