S. Aimal, K. Parveez, A. Saba, S. Batool, H. Arshad et al., Energy optimization techniques for demand-side management in smart homes, The 9th International Conference on Intelligent Networking and Collaborative Systems, INCoS-2017, vol.8, pp.515-524, 2017.

, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017.

E. Bartocci and Y. Falcone, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762298

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker et al., First international competition on runtime verification: rules, benchmarks, tools, and final results of crv 2014, International Journal on Software Tools for Technology Transfer, 2017.
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, pp.1-33, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762297

A. Bauer, M. Leucker, and C. Schallhart, Runtime verification for LTL and TLTL, ACM Trans. Softw. Eng. Methodol, vol.20, issue.4, p.14, 2011.

O. Brdiczka, J. L. Crowley, and P. Reignier, Learning situation models in a smart home, IEEE Trans. Systems, Man, and Cybernetics, vol.39, issue.1, pp.56-63, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01253466

B. Chen, Z. Fan, and F. Cao, Activity recognition based on streaming sensor data for assisted living in smart homes, 2015 International Conference on Intelligent Environments, IE 2015, pp.124-127, 2015.

L. Chen, J. Hoey, C. D. Nugent, D. J. Cook, and Z. Yu, Sensor-based activity recognition, IEEE Trans. Systems, Man, and Cybernetics, Part C, vol.42, issue.6, pp.790-808, 2012.

S. Cotard, S. Faucou, J. Béchennec, A. Queudet, and Y. Trinquet, A data flow monitoring service based on runtime verification for AUTOSAR, 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, pp.1508-1515, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01713202

J. L. Crowley and J. Coutaz, An ecological view of smart home technologies, Ambient Intelligence, pp.1-16, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01211137

J. Cumin, G. Lefebvre, F. Ramparany, and J. L. Crowley, A dataset of routine daily activities in an instrumented home, Ubiquitous Computing and Ambient Intelligence-11th International Conference, vol.10586, pp.413-425, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01639673

D. Angelo, B. Sankaranarayanan, S. Sánchez, C. Robinson, W. Finkbeiner et al., LOLA: runtime monitoring of synchronous systems, 12th International Symposium on Temporal Representation and Reasoning, pp.166-174, 2005.

N. Decker, B. Dreyer, P. Gottschling, C. Hochberger, A. Lange et al., Online analysis of debug trace data for embedded systems, 2018 Design, Automation & Test in Europe Conference &, pp.851-856, 2018.

A. El-hokayem and Y. Falcone, THEMIS Smart Home Artifact Repository

A. El-hokayem and Y. Falcone, Monitoring decentralized specifications, Antoine ElHokayem andYlì es Falcone, pp.125-135
URL : https://hal.archives-ouvertes.fr/hal-01653725

A. El-hokayem and Y. Falcone, THEMIS: a tool for decentralized monitoring algorithms, Antoine El-Hokayem andYlì es Falcone, pp.372-375
URL : https://hal.archives-ouvertes.fr/hal-01653727

A. El-hokayem and Y. Falcone, Bringing runtime verification home-A case study on the hierarchical monitoring of smart homes, 2018.

A. El-hokayem and Y. Falcone, Bringing Runtime Verification Home-A case study on the Hierarchical Monitoring of Smart Homes, 2018.

Y. Falcone, K. Havelund, and G. Reger, Engineering Dependable Software Systems, NATO science for peace and security series, d: information and communication security, vol.34, pp.141-175, 2013.

S. Hallé, S. Gaboury, and B. Bouchard, Activity recognition through complex event processing: First findings, Artificial Intelligence Applied to Assistive Technologies and Smart Environments, Papers from the 2016 AAAI Workshop. AAAI Workshops, 2016.

T. Van-kasteren, G. Englebienne, and B. J. Kröse, Transferring knowledge of activity recognition across sensor networks, Pervasive Computing, 8th International Conference, Pervasive 2010. Proceedings, vol.6030, pp.283-300, 2010.

S. Katz, Assessing self-maintenance: Activities of daily living, mobility, and instrumental activities of daily living, Journal of the American Geriatrics Society, vol.31, issue.12, pp.721-727, 1983.

P. Lago, F. Lang, C. Roncancio, C. Jiménez-guarín, R. Mateescu et al., The ContextAct@A4H real-life dataset of daily-living activities-activity recognition using model checking, Modeling and Using Context-10th International and Interdisciplinary Conference, vol.10257, pp.175-188, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01551418

M. Leucker, M. Schmitz, and D. Tellinghusen, Runtime verification for interconnected medical devices, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications-7th International Symposium, vol.9953, pp.380-387, 2016.
DOI : 10.1007/978-3-319-47169-3_29

S. Majumder, E. Aghayi, M. Noferesti, H. Memarzadeh-tehran, T. Mondal et al., Smart homes for elderly healthcare-recent advances and research challenges, Sensors, vol.17, issue.11, p.2496, 2017.
DOI : 10.3390/s17112496

URL : https://doi.org/10.3390/s17112496

R. Mateescu and D. Thivolle, A model checking language for concurrent value-passing systems, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Proceedings, vol.5014, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12

URL : https://hal.archives-ouvertes.fr/inria-00315312

E. M. Tapia, S. S. Intille, and K. Larson, Activity recognition in the home using simple and ubiquitous sensors, Pervasive Computing, Second International Conference, PERVASIVE, vol.3001, pp.158-175, 2004.
DOI : 10.1007/978-3-540-24646-6_10

URL : http://www.cs.virginia.edu/~jl3aq/courses/CS651/8-30/Activity Recognition in the Home Using Simple and Ubiquitous Sensors.pdf

H. Thapliyal, R. K. Nath, and S. P. Mohanty, Smart home environment for mild cognitive impairment population: Solutions to improve care and quality of life, IEEE Consumer Electronics Magazine, vol.7, issue.1, pp.68-76, 2018.
DOI : 10.1109/mce.2017.2755340