S. Chakravarthy, Composite Events for Active Databases : Semantics, Contexts and Detection, Proceedings of the 20th International Conference on Very Large Data Bases. VLDB '94, 1994.

J. C. Unai-alegre, A. , and T. Clark, Engineering context-aware systems and applications: A survey, Journal of Systems and Software 117.Supplement C, pp.55-83, 2016.
DOI : 10.1016/j.jss.2016.02.010

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

D. Anicic, P. Fodor, S. Rudolph, R. Stühmer, N. Stojanovic et al., A Rule-Based Language for Complex Event Processing and Reasoning, Web Reasoning and Rule Systems : Fourth International Conference, 2010.
DOI : 10.1007/978-3-642-15918-3_5

C. Juan, C. D. Augusto, and . Nugent, The Use of Temporal Reasoning and Management of Complex Events in Smart Homes, Proceedings of the 16th European Conference on Artificial Intelligence. ECAI'04, pp.778-782, 2004.

R. Baecker, K. Sellen, S. Crosskey, V. Boscart, and B. Barbosa-neves, Technology to reduce social isolation and loneliness, Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, ASSETS '14, 2014.
DOI : 10.1145/2661334.2661375

F. J. Ballesteros, E. Soriano, K. Leal-algara-et-gorka-guardiola, and . Muzquiz, Plan B: An Operating System for Ubiquitous Computing Environments, Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM'06), pp.13-17, 2006.
DOI : 10.1109/PERCOM.2006.43

L. Barkhuus and A. Dey, Is Context-Aware Computing Taking Control away from the User? Three Levels of Interactivity Examined, Ubiquitous Computing : 5th International Conference Proceedings, pp.149-156, 2003.
DOI : 10.1007/978-3-540-39653-6_12

C. Bauer, A Comparison and Validation of 13 Context Meta-Models, 2012.

C. Beckmann, S. Consolvo, and A. English, Some Assembly Required: Supporting End-User Sensor Installation in Domestic Ubiquitous Computing Environments, UbiComp 2004 : Ubiquitous Computing . Sous la dir. de Nigel Davies, ElizabethD. Mynatt et Itiro Siio. T. 3205. Lecture Notes in Computer Science, 2004.
DOI : 10.1007/978-3-540-30119-6_7

J. Bengtsson and W. Yi, Timed Automata : Semantics , Algorithms and Tools In : Lectures on Concurrency and Petri Nets : Advances in Petri Nets, pp.87-124, 2004.

V. Bergua, J. Bouisson, J. Dartigues, J. Swendsen, C. Fabrigoule et al., Restriction in Instrumental Activities of Daily Living in Older Persons: Association with Preferences for Routines and Psychological Vulnerability, The International Journal of Aging and Human Development 77, pp.309-329, 2013.
DOI : 10.2190/AG.69.1.b

B. Bertran, J. Bruneau, D. Cassou, N. Loriant, E. Balland et al., DiaSuite: A tool suite to develop Sense/Compute/Control applications, Science of Computer Programming, vol.79, 2014.
DOI : 10.1016/j.scico.2012.04.001

URL : https://hal.archives-ouvertes.fr/hal-00702909

M. Botts, G. Percivall, C. Reed, and J. Davidson, GeoSensor Networks In : sous la dir. de Silvia Nittel, Alexandros Labrinidis et Anthony Stefanidis OGC®Sensor Web Enablement : Overview and High Level Architecture, pp.175-190, 2008.

J. Bruneau, W. Jouve, and C. Consel, DiaSim : A parameterized simulator for pervasive computing applications, Mobile and Ubiquitous Systems : Networking Services , MobiQuitous, 2009. MobiQuitous '09. 6th Annual International, pp.1-10, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403421

A. Brush, B. Lee, R. Mahajan, S. Agarwal, S. Saroiu et al., Home automation in the wild, Proceedings of the 2011 annual conference on Human factors in computing systems, CHI '11, pp.2115-2124, 2011.
DOI : 10.1145/1978942.1979249

L. Caroux, C. Consel, L. Dupuy, and H. Sauzéon, Verification of daily activities of older adults, Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, ASSETS '14, pp.43-50, 2014.
DOI : 10.1145/2661334.2661360

URL : https://hal.archives-ouvertes.fr/hal-01015280

A. Carteron, C. Consel, and N. Volanschi, Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), p.2016, 2016.
DOI : 10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0029

URL : https://hal.archives-ouvertes.fr/hal-01319059

A. Carteron, C. Consel, and N. Volanschi, A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development, IEEE International Conference on Pervasive Computing and Communications (PerCom), 2018.

D. Cassou, J. Bruneau, C. Consel, and E. Balland, Toward a Tool-Based Development Methodology for Pervasive Computing Applications, IEEE Transactions on Software Engineering, vol.38, issue.6, pp.1445-1463, 2012.
DOI : 10.1109/TSE.2011.107

V. Sharma-chakravarthy, E. Krishnaprasad, S. Anwar, and . Kim, Composite Events for Active Databases : Semantics, Contexts and Detection, Proceedings of the 20th International Conference on Very Large Data Bases. VLDB '94, 1994.

M. Chan, D. Estève, C. Escriba, and E. Campo, A review of smart homes???Present state and future challenges, Computer Methods and Programs in Biomedicine, vol.91, issue.1, 2008.
DOI : 10.1016/j.cmpb.2008.02.001

L. Chen, J. Hoey, C. D. Nugent, D. J. Cook, and Z. Yu, Sensor-Based Activity Recognition, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), 2012.

L. Chen, C. D. Nugent, and H. Wang, A Knowledge-Driven Approach to Activity Recognition in Smart Homes, IEEE Transactions on Knowledge and Data Engineering, vol.24, issue.6, 2012.
DOI : 10.1109/TKDE.2011.51

S. Chetan, A. Ranganathan, and R. Campbell, Towards fault tolerance pervasive computing, IEEE Technology and Society Magazine, vol.241, pp.38-44, 2005.
DOI : 10.1109/mtas.2005.1407746

C. Consel, L. Dupuy, and H. Sauzéon, A Unifying Notification System To Scale Up Assistive Services, Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, ASSETS '15, pp.77-87, 2015.
DOI : 10.1093/geronb/57.3.P246

URL : https://hal.archives-ouvertes.fr/hal-01225637

J. Diane, . Cook, S. Aaron, . Crandall, L. Brian et al., CASAS : A smart home in a box, 2013.

J. Coutaz, L. James, and . Crowley, A First-Person Experience with End-User Development for Smart Homes, IEEE Pervasive Computing, vol.15, issue.2, pp.26-39, 2016.
DOI : 10.1109/MPRV.2016.24

URL : https://hal.archives-ouvertes.fr/hal-01422364

J. Coutaz, L. James, S. Crowley, D. Dobson, and . Garlan, Context is key, Communications of the ACM, vol.48, issue.3, pp.49-53, 2005.
DOI : 10.1145/1047671.1047703

J. Coutaz, E. Fontaine, N. Mandran, and A. Demeure, DisQo, Proceedings of the 6th Nordic Conference on Human-Computer Interaction Extending Boundaries, NordiCHI '10, pp.615-618, 2010.
DOI : 10.1145/1868914.1868987

URL : https://hal.archives-ouvertes.fr/hal-00953313

J. Criel, L. Claeys, and L. Trappeniers, Deconstructing Casensa: The CAEMP context-aware empowering platform, Bell Labs Technical Journal, vol.16, issue.1, pp.35-53, 2011.
DOI : 10.1002/bltj.20484

G. Cugola and A. Margara, Processing flows of information, ACM Computing Surveys, vol.44, issue.3, 2012.
DOI : 10.1145/2187671.2187677

K. Anind and . Dey, Understanding and Using Context " . In : Personal Ubiquitous Comput, 2001.

J. Durick, T. Robertson, M. Brereton, F. Vetere, and B. Nansen, Dispelling ageing myths in technology design, Proceedings of the 25th Australian Computer-Human Interaction Conference on Augmentation, Application, Innovation, Collaboration, OzCHI '13, pp.467-476, 2013.
DOI : 10.1145/2541016.2541040

W. , K. Edwards, . Rebeccae, and . Grinter, At Home with Ubiquitous Computing : Seven Challenges, English. In : Ubicomp 2001 : Ubiquitous Computing, 2001.

J. Feminella, D. Pisharoty, and K. Whitehouse, Piloteur, Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, BuildSys '14, pp.110-119, 2014.
DOI : 10.1145/2528282.2528285

A. Gamatié, Synchronous Programming : Overview " . In : Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification, pp.21-39, 2010.

D. Gay, P. Levis, M. Robert-von-behren, E. Welsh, D. Brewer et al., The nesC Language : A Holistic Approach to Networked Embedded Systems, 2003.

B. Greenstein, E. Kohler, and D. Estrin, A sensor network application construction kit (SNACK), Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, 2004.
DOI : 10.1145/1031495.1031505

R. Gummadi, O. Gnawali, and R. Govindan, Macro-programming Wireless Sensor Networks Using Kairos, Proceedings of the First IEEE International Conference on Distributed Computing in Sensor Systems. DCOSS'05, pp.126-140, 2005.
DOI : 10.1007/11502593_12

URL : http://www.cs.usc.edu/Research/TechReports/05-848.pdf

S. Hausmann, The Language Dura : A Declarative Event Query Language for Reactive Event Processing, 2014.

S. Helmer and F. Persia, High-Level Surveillance Event Detection Using an Interval-Based Query Language, 2016 IEEE Tenth International Conference on Semantic Computing (ICSC), 2016.
DOI : 10.1109/ICSC.2016.19

K. Henricksen, J. Indulska-et-andry-rakotonirainy, and . English, Modeling Context Information in Pervasive Computing Systems, 2002.
DOI : 10.1007/3-540-45866-2_14

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler et al., System Architecture Directions for Networked Sensors, In : SIGARCH Comput. Archit. News, vol.28, 2000.

D. Hong, J. Ortiz, K. Whitehouse, and D. Culler, Towards Automatic Spatial Verification of Sensor Placement in Buildings, Proceedings of the 5th ACM Workshop on Embedded Systems For Energy-Efficient Buildings, BuildSys'13, 2013.
DOI : 10.1145/2528282.2528302

R. F. Hoque, S. M. Dickerson, M. Preum, A. Hanson, J. A. Barth et al., Holmes: A Comprehensive Anomaly Detection System for Daily In-home Activities, 2015 International Conference on Distributed Computing in Sensor Systems, pp.40-51, 2015.
DOI : 10.1109/DCOSS.2015.20

J. Huang and M. Cakmak, Supporting mental model accuracy in trigger-action programming, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '15, pp.215-225, 2015.
DOI : 10.1007/978-3-642-12654-3_4

A. and R. Reiners, The Energy Aware Smart Home, 5th International Conference on Future Information Technology, 2010.

E. Jovanov, A. Milenkovic, C. Otto, and P. C. De-groen, A wireless body area network of intelligent motion sensors for computer assisted physical rehabilitation, In : Journal of NeuroEngineering and Rehabilitation, vol.2, pp.1743-1746, 2005.

F. Kawsar, T. Nakajima, and K. Fujinami, Deploy spontaneously, Proceedings of the 10th international conference on Ubiquitous computing, UbiComp '08, pp.2008-99, 2008.
DOI : 10.1145/1409635.1409673

J. Kaye, Making Pervasive Computing Technology Pervasive for Health & Wellness in Aging, Public Policy & Aging Report, vol.18, issue.4, 2017.
DOI : 10.1258/jtt.2012.120219

A. Jeffrey, . Kaye, A. Shoshana, N. Maxwell, . Mattek et al., Intelligent systems for assessing aging changes : home-based, unobtrusive, and continuous assessment of aging, 2011.

C. Narayanan, D. J. Krishnan, and . Cook, Activity recognition on streaming sensor data, Pervasive and Mobile ComputingPart B, vol.10, pp.138-154, 2014.

L. Matthew, K. Lee-et-anind, and . Dey, Sensor-based observations of daily living for aging in place, In : Personal and Ubiquitous Computing, vol.191, pp.27-43, 2015.

M. Li, M. Mani, E. A. Rundensteiner, and T. Lin, Complex event pattern detection over streams with interval-based temporal semantics, Proceedings of the 5th ACM international conference on Distributed event-based system, DEBS '11, pp.291-302, 1145.
DOI : 10.1145/2002259.2002297

E. W. Lin, Software Sensors : Design and Implementation of a Programming Model and Middleware for Sensor Networks, 2004.

D. Lussier-desrochers, H. Sauzéon, C. Consel, E. Balland, J. Roux et al., Analysis of how people with intellectual disabilities organize information using computerized guidance, Disability and Rehabilitation : Assistive Technology, 2016.
DOI : 10.1080/09602010343000183

URL : https://hal.archives-ouvertes.fr/hal-01251888

S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong, The design of an acquisitional query processor for sensor networks, Proceedings of the 2003 ACM SIGMOD international conference on on Management of data , SIGMOD '03, 2003.
DOI : 10.1145/872757.872817

S. Mennicken, J. Vermeulen, and E. M. Huang, From today's augmented houses to tomorrow's smart homes, Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '14 Adjunct, 2014.
DOI : 10.1145/2632048.2636076

K. Murao, H. Mogari, T. Terada, and M. Tsukamoto, Evaluation function of sensor position for activity recognition considering wearability, Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication, UbiComp '13 Adjunct, pp.623-632, 2013.
DOI : 10.1145/2494091.2495983

J. Nehmer, M. Becker, A. Karshmer, and R. Lamm, Living assistance systems, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134293

P. Patel and D. Cassou, Enabling highlevel application development for the Internet of Things, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01107498

C. Perera, A. Zaslavsky, P. Christen, and D. Georgakopoulos, Context Aware Computing for The Internet of Things: A Survey, IEEE Communications Surveys Tutorials 16, 2014.
DOI : 10.1109/SURV.2013.042313.00197

M. Philipose, K. P. Fishkin, M. Perkowitz, D. J. Patterson, D. Fox et al., Inferring Activities from Interactions with Objects, IEEE Pervasive Computing, vol.3, issue.4, 2004.
DOI : 10.1109/MPRV.2004.7

Y. Qin, Z. Quan, N. J. Sheng, S. Falkner, H. Dustdar et al., When things matter: A survey on data-centric internet of things, Journal of Network and Computer Applications, vol.64, 2016.
DOI : 10.1016/j.jnca.2015.12.016

A. Ranganathan, S. Chetan, J. Al-muhtadi, R. H. Campbell, and M. D. Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Third IEEE International Conference on Pervasive Computing and Communications, pp.7-16, 2005.
DOI : 10.1109/PERCOM.2005.26

P. Rashidi and A. Mihailidis, A survey on ambientassisted living tools for older adults, 2013.

M. Resnick, J. Maloney, A. Monroy-hernández, N. Rusk, E. Eastmond et al., Scratch, Communications of the ACM, vol.52, issue.11, pp.60-67, 2009.
DOI : 10.1145/1592761.1592779

M. Román, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell et al., A middleware infrastructure for active spaces, Pervasive ComputingPervasive Computing Middleware, 2002.
DOI : 10.1109/MPRV.2002.1158281

N. Rosen, R. Sattar, R. W. Lindeman, R. Simha, and B. Narahari, HomeOS : Context- Aware Home Connectivity, Proceedings of the International Conference on Wireless Networks, ICWN '04, Volume 2 & Proceedings of the International Conference on Pervasive Computing and Communications, pp.739-744, 2004.

D. Sadoun, C. Dubois, Y. Ghamri-doudane, and B. Grau, An Ontology for the Conceptualization of an Intelligent Environment and Its Operation, 2011 10th Mexican International Conference on Artificial Intelligence, pp.16-22, 2011.
DOI : 10.1109/MICAI.2011.32

URL : https://hal.archives-ouvertes.fr/hal-00808002

A. Sheth, C. Henson, S. Satya, and . Sahoo, Semantic Sensor Web, IEEE Internet Computing 12, pp.78-83, 2008.
DOI : 10.1109/MIC.2008.87

J. A. Stankovic, I. Lee, A. Mok, and R. Rajkumar, Opportunities and obligations for physical computing systems, Computer, vol.38, issue.11, 2005.
DOI : 10.1109/MC.2005.386

R. Sugihara, K. Rajesh, and . Gupta, Programming models for sensor networks, ACM Transactions on Sensor Networks, vol.4, issue.2, 2008.
DOI : 10.1145/1340771.1340774

D. Surie, O. Laguionie, and T. Pederson, Wireless sensor networking of everyday objects in a smart home environment, 2008 International Conference on Intelligent Sensors, Sensor Networks and Information Processing, pp.189-194, 2008.
DOI : 10.1109/ISSNIP.2008.4761985

M. Weiser, Some Computer Science Issues in Ubiquitous Computing, Commun. ACM, vol.367, pp.75-84, 1993.

K. Whitehouse, C. Sharp, E. Brewer, and D. Culler, Hood, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, 2004.
DOI : 10.1145/990064.990079

K. Whitehouse, F. Zhao, and J. Liu, Wireless Sensor Networks : Third European Workshop Semantic Streams : A Framework for Composable Semantic Interpretation of Sensor Data, 2006.