H. Alemdar, H. Ertan, O. D. Incelt, and C. Ersoy, ARAS Human Activity Datasets in Multiple Homes with Multiple Residents, Proceedings of the ICTs for improving Patients Rehabilitation Research Techniques, pp.232-235, 2013.
DOI : 10.4108/icst.pervasivehealth.2013.252120

A. Brush, J. Krumm, and J. Scott, Activity Recognition Research: The Good, the Bad, and the Future, Pervasive 2010 Workshop: How to do Good Research in Activity Recognition, pp.1-3, 2010.

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), vol.42, issue.6, pp.790-808, 2012.

C. Baier and J. P. , Principles of Model Checking, 2008.

A. S. Crandall, N. C. Krishnan, B. L. Thomas, and D. J. Cook, Casas: A smart home in a box, Computer, vol.46, pp.62-69, 2013.

H. Garavel, . Open, and . Caesar, An Open Software Architecture for Verification, Simulation , and Testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), pp.68-84, 1998.
DOI : 10.1007/bfb0054165
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and R. Mateescu, SEQ.OPEN: A Tool for Efficient Trace-Based Verification, Proceedings of the 11th International SPIN Workshop on Model Checking of Software, pp.150-155, 2004.
DOI : 10.1007/978-3-540-24732-6_11

E. Garcia, Learning from Imbalanced Data, IEEE Transactions on Knowledge and Data Engineering, vol.21, issue.9, pp.1263-1284, 2009.

S. Helal, W. Mann, H. El-zabadani, J. King, Y. Kaddoura et al., The Gator tech smart house: A programmable pervasive space, Computer, vol.38, issue.3, pp.50-60, 2005.
DOI : 10.1109/mc.2005.107

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

N. C. Krishnan and D. J. Cook, Activity recognition on streaming sensor data, Pervasive and Mobile Computing, vol.10, pp.138-154, 2014.
DOI : 10.1016/j.pmcj.2012.07.003
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3979570

P. Lago, C. Jiménez-guarín, and C. Roncancio, Contextualized behavior patterns for change reasoning in Ambient Assisted Living: A formal model, Expert Systems, vol.8, issue.3
DOI : 10.1016/S0019-9958(65)90241-X

P. Lago, C. Jiménez-guarín, and C. Roncancio, A Case Study on the Analysis of Behavior Patterns and Pattern Changes in Smart Environments, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, vol.8868, pp.296-303, 2014.
DOI : 10.1007/978-3-319-13105-4_43

B. Logan, J. Healey, M. Philipose, E. M. Tapia, and S. Intille, A Long-Term Evaluation of Sensing Modalities for Activity Recognition, Proceedings of the 9th International Conference on Ubiquitous Computing, pp.483-50007, 2007.
DOI : 10.1007/978-3-540-74853-3_28

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

P. Rashidi, Stream Sequence Mining for Human Activity Discovery, Plan, Activity, and Intent Recognition, pp.123-148, 2014.
DOI : 10.1016/B978-0-12-398532-3.00005-1

D. Riboni, L. Pareschi, L. Radaelli, and C. Bettini, Is ontology-based activity recognition really effective?, 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), pp.427-431, 2011.
DOI : 10.1109/PERCOMW.2011.5766927
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.2931

N. D. Rodríguez, M. P. Cuéllar, J. Lilius, and M. D. Calvo-flores, A survey on ontologies for human behavior recognition, ACM Computing Surveys, vol.46, issue.4, pp.1-4333, 2014.
DOI : 10.1016/j.bspc.2007.09.001

E. M. Tapia, S. S. Intille, and K. Larson, Activity Recognition in the Home Using Simple and Ubiquitous Sensors, In: Pervasive Computing. Lecture Notes in Computer Science, vol.3001, pp.158-175, 2004.
DOI : 10.1007/978-3-540-24646-6_10

T. L. Van-kasteren, G. Englebienne, and B. J. Kröse, Transferring Knowledge of Activity Recognition across Sensor Networks, Lecture Notes in Computer Science LNCS, vol.6030, pp.283-300, 2010.
DOI : 10.1007/978-3-642-12654-3_17