D. A. Basin, F. Klaedtke, and E. Zalinescu, The MonPoly monitoring tool, RVCuBES, pp.19-28, 2017.

D. A. Basin, S. Krstic, and D. Traytel, Aerial: Almost event-rate independent algorithms for monitoring metric regular properties, RV-CuBES, pp.29-36, 2017.

A. Bauer, M. Leucker, and C. Schallhart, Runtime verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.20, issue.4, p.14, 2011.

C. Consel, L. Dupuy, and H. Sauzéon, HomeAssist: An assisted living platform for aging in place based on an interdisciplinary approach, Proceedings of the 8th International Conference on Applied Human Factors and Ergonomics, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01541939

. Springer, , 2017.

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

A. El-hokayem and Y. Falcone, Bringing runtime verification home, International Conference on Runtime Verification, pp.222-240, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01882411

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, International and Interdisciplinary Conference on Modeling and Using Context, pp.175-188, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01551418

E. Letier, J. Kramer, J. Magee, and S. Uchitel, Fluent temporal logic for discretetime event-based models, ACM SIGSOFT Software Engineering Notes, vol.30, pp.70-79, 2005.

P. Thati and G. Ro?u, Monitoring algorithms for metric temporal logic specifications, Electronic Notes in Theoretical Computer Science, vol.113, pp.145-162, 2005.

N. Volanschi and B. Serpette, Scaling up RV-based activity detection, pp.sub- mitted, 2019.

N. Volanschi, B. Serpette, A. Carteron, and C. Consel, A language for online state processing of binary sensors, applied to ambient assisted living, Proc. ACM Interact. Mob. Wearable Ubiquitous Technol, vol.2, issue.4, pp.1-192, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01947742

N. Volanschi, B. Serpette, and C. Consel, Implementing a semi-causal domainspecific language for context detection over binary sensors, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp.66-78, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01956179