Asynchronous synthesis techniques for coordinating autonomic managers in the cloud, Science of Computer Programming, vol.146, pp.87-103, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01630717
Enhanced healthcare provision through assisted decision-making in a smart home environment. 2nd Workshop on Artificial Inteligence Techniques for Ambient Inteligence, 2007. ,
Rule-based intelligence for domotic environments. Automation in Construction, vol.19, pp.183-196, 2010. ,
A case study in safe design of ECA rules for IoT ,
Coordination of ECA Rules by Verification and Control. Coordination Models and, pp.33-48, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01290066
Contracts for modular discrete controller synthesis, ACM Sigplan Notices, pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00476910
Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, vol.23, pp.385-418, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00863286
Towards industrial Internet of Things: An efficient and interoperable communication framework, pp.2198-2204, 2015. ,
This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18), 2018. ,
, , pp.783-790
Synchronous Programming: Overview. Designing Embedded Systems with the SIGNAL Programming Language, pp.21-39, 2010. ,
Activforms: Active formal models for self-adaptation, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.125-134, 2014. ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
SystemJ: A GALS language for system level design, Systems & Structures, vol.36, issue.4, pp.317-344, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00753512
Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems, vol.10, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Practical design of globallyasynchronous locally-synchronous systems, pp.52-59, 2000. ,
Improving context-awareness in selfadaptation using the DYNAMICO reference model, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.153-162, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00796275
A framework for evaluating quality-driven self-adaptive software systems, Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems, pp.80-89, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00578337
DYNAMICO: A reference model for governing control objectives and context relevance in selfadaptive software systems. Software Engineering for SelfAdaptive Systems II, pp.265-293, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00713315
FORMS: a formal reference model for self-adaptation, p.205, 2010. ,
Context-aware hybrid reasoning framework for pervasive healthcare. Personal and Ubiquitous Computing, vol.18, pp.865-881, 2014. ,
Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure. Ambient Intelligence, pp.174-190, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091140
Discrete Control for the Internet of Things and Smart Environments, 8th International Workshop on Feedback Computing, 2013. ,