Ambient Intelligence: The Confluence of Ubiquitous/Pervasive Computing and Artificial Intelligence, Intelligent Computing Everywhere, pp.213-234, 2007. ,
DOI : 10.1007/978-1-84628-943-9_11
A survey of software engineering best practices for the development of smart applications in ambient intelligence, JAISE, vol.4, issue.3, pp.149-162, 2012. ,
A survey of programming languages and platforms for multi-agent systems A multi-agent approach to controlling a smart environment, Designing Smart Homes, ser, pp.33-44, 2006. ,
Multi-agent Designs for Ambient Systems, Proceedings of the First International Conference on Ambient Media and Systems, pp.1-10, 2008. ,
DOI : 10.4108/ICST.AMBISYS2008.2925
Planning with time limits in bdi agent programming languages, Proceedings of CATS'07, pp.131-139, 2007. ,
A Higher-order Agent Model with Contextual Management for Ambient Systems, Transactions on Computational Collective Intelligence XVI, ser ,
URL : https://hal.archives-ouvertes.fr/hal-01070775
A Survey of Context-Aware Mobile Computing Research, Dartmouth College, 2000. ,
Developing context-aware pervasive computing applications: Models and approach, Pervasive and Mobile Computing, vol.2, issue.1, pp.37-64, 2006. ,
DOI : 10.1016/j.pmcj.2005.07.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8031
Sémantique de maximalité : Application au raffinement d'actions en LOTOS, Ph.D. dissertation, LAAS- CNRS, 1996. ,
Relating Maximality-based Semantics to Action Refinement in Process Algebras, IFIP TC6/WG6.1, Int. Conf. on FORTE'94, pp.293-308, 1995. ,
DOI : 10.1007/978-0-387-34878-0_24
Using maximality-based labelled transition system as a model for petri nets, pp.440-446, 2009. ,
Actions duration in timed models, Proceedings of ACIT'2006, 2006. ,
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000. ,
DOI : 10.1016/S0140-3664(99)00240-6
Formal specification and analysis of intelligent agents for model-based medicine usage management, Computers in Biology and Medicine, vol.43, issue.5, pp.444-457, 2013. ,
DOI : 10.1016/j.compbiomed.2013.01.021
Formal Design of Ambient Intelligence Applications, Computer, vol.43, issue.12, pp.60-68, 2010. ,
DOI : 10.1109/MC.2010.335
Design Time Methodology for the Formal Verification of Intelligent Domotic Environments, 2011. ,
DOI : 10.1007/978-3-642-19937-0_2
Towards a calculus for distribu-ted, real-time and mobile systems, Journal of Software, vol.7, issue.3, pp.564-574, 2012. ,