{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T01:21:43Z","timestamp":1775265703728,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030037680","type":"print"},{"value":"9783030037697","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03769-7_13","type":"book-chapter","created":{"date-parts":[[2018,11,7]],"date-time":"2018-11-07T07:09:20Z","timestamp":1541574560000},"page":"222-240","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Bringing Runtime Verification Home"],"prefix":"10.1007","author":[{"given":"Antoine","family":"El-Hokayem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,8]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes on Data Engineering and Communications Technologies","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-319-65636-6_46","volume-title":"Advances in Intelligent Networking and Collaborative Systems","author":"S Aimal","year":"2018","unstructured":"Aimal, S., Parveez, K., Saba, A., Batool, S., Arshad, H., Javaid, N.: Energy optimization techniques for demand-side management in smart homes. In: Barolli, L., Woungang, I., Hussain, O.K. (eds.) INCoS 2017. LNDECT, vol. 8, pp. 515\u2013524. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-65636-6_46"},{"key":"13_CR2","unstructured":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, 10\u201314 July 2017. ACM (2017)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5","volume-title":"Lectures on Runtime Verification","year":"2018","unstructured":"Bartocci, E., Falcone, Y. (eds.): Lectures on Runtime Verification. LNCS, vol. 10457. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bartocci, E., et al.: First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transfer (2017)","DOI":"10.1007\/s10009-017-0454-5"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-75632-5_1","volume-title":"Lectures on Runtime Verification","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 1\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TSMCB.2008.923526","volume":"39","author":"O. Brdiczka","year":"2009","unstructured":"Brdiczka, O., Crowley, J.L., Reignier, P.: Learning situation models in a smart home. IEEE Trans. Syst. Man Cybern. Part B 39(1), 56\u201363 (2009)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Chen, B., Fan, Z., Cao, F.: Activity recognition based on streaming sensor data for assisted living in smart homes. In: 2015 International Conference on Intelligent Environments, IE 2015, pp. 124\u2013127. IEEE (2015)","DOI":"10.1109\/IE.2015.25"},{"key":"13_CR9","unstructured":"Chen, L., Hoey, J., Nugent, C.D., Cook, D.J., Yu, Z.: Sensor-based activity recognition. IEEE Trans. Syst. Man Cybern. Part C 42(6), 790\u2013808 (2012)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Cotard, S., Faucou, S., B\u00e9chennec, J., Queudet, A., Trinquet, Y.: A data flow monitoring service based on runtime verification for AUTOSAR. In: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, pp. 1508\u20131515. IEEE Computer Society (2012)","DOI":"10.1109\/HPCC.2012.220"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-26005-1_1","volume-title":"Ambient Intelligence","author":"JL Crowley","year":"2015","unstructured":"Crowley, J.L., Coutaz, J.: An ecological view of smart home technologies. In: De Ruyter, B., Kameas, A., Chatzimisios, P., Mavrommati, I. (eds.) AmI 2015. LNCS, vol. 9425, pp. 1\u201316. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26005-1_1"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-319-67585-5_43","volume-title":"Ubiquitous Computing and Ambient Intelligence","author":"J Cumin","year":"2017","unstructured":"Cumin, J., Lefebvre, G., Ramparany, F., Crowley, J.L.: A dataset of routine daily activities in an instrumented home. In: Ochoa, S.F., Singh, P., Bravo, J. (eds.) UCAmI 2017. LNCS, vol. 10586, pp. 413\u2013425. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67585-5_43"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174. IEEE Computer Society (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Decker, N., et al.: Online analysis of debug trace data for embedded systems. In: 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, pp. 851\u2013856. IEEE (2018)","DOI":"10.23919\/DATE.2018.8342124"},{"key":"13_CR15","unstructured":"El-Hokayem, A., Falcone, Y.: THEMIS Smart Home Artifact Repository. https:\/\/gitlab.inria.fr\/monitoring\/themis-rv18smarthome"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: Monitoring decentralized specifications. In: El-Hokayem, A., Falcone, Y. (eds.) [2], pp. 125\u2013135","DOI":"10.1145\/3092703.3092723"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: THEMIS: a tool for decentralized monitoring algorithms. In: El-Hokayem, A., Falcone, Y. (eds.) [2], pp. 372\u2013375","DOI":"10.1145\/3092703.3098224"},{"key":"13_CR18","unstructured":"El-Hokayem, A., Falcone, Y.: Bringing runtime verification home - a case study on the hierarchical monitoring of smart homes. CoRR abs\/1808.05487 (2018). http:\/\/arxiv.org\/abs\/1808.05487"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: Bringing Runtime Verification Home - A case study on the Hierarchical Monitoring of Smart Homes. CoRR abs\/1808.05487 (2018)","DOI":"10.1007\/978-3-030-03769-7_13"},{"key":"13_CR20","unstructured":"Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 34, pp. 141\u2013175. IOS press (2013)"},{"key":"13_CR21","unstructured":"Hall\u00e9, S., Gaboury, S., Bouchard, B.: Activity recognition through complex event processing: First findings. In: Artificial Intelligence Applied to Assistive Technologies and Smart Environments, Papers from the 2016 AAAI Workshop, vol. WS-16-01. AAAI Press (2016)"},{"key":"13_CR22","unstructured":"Institute for Software Engineering and Programming Languages: LamaConv - Logics and Automata Converter Library. http:\/\/www.isp.uni-luebeck.de\/lamaconv"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-12654-3_17","volume-title":"Pervasive Computing","author":"TLM Kasteren van","year":"2010","unstructured":"van Kasteren, T.L.M., Englebienne, G., Kr\u00f6se, B.J.A.: Transferring knowledge of activity recognition across sensor networks. In: Flor\u00e9en, P., Kr\u00fcger, A., Spasojevic, M. (eds.) Pervasive 2010. LNCS, vol. 6030, pp. 283\u2013300. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12654-3_17"},{"issue":"12","key":"13_CR24","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1111\/j.1532-5415.1983.tb03391.x","volume":"31","author":"S Katz","year":"1983","unstructured":"Katz, S.: Assessing self-maintenance: activities of daily living, mobility, and instrumental activities of daily living. J. Am. Geriatr. Soc. 31(12), 721\u2013727 (1983)","journal-title":"J. Am. Geriatr. Soc."},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-57837-8_14","volume-title":"Modeling and Using Context","author":"P Lago","year":"2017","unstructured":"Lago, P., Lang, F., Roncancio, C., Jim\u00e9nez-Guar\u00edn, C., Mateescu, R., Bonnefond, N.: The ContextAct@A4H real-life dataset of daily-living activities. In: Br\u00e9zillon, P., Turner, R., Penco, C. (eds.) CONTEXT 2017. LNCS (LNAI), vol. 10257, pp. 175\u2013188. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57837-8_14"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-47169-3_29","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"M Leucker","year":"2016","unstructured":"Leucker, M., Schmitz, M., \u00e0 Tellinghusen, D.: Runtime verification for interconnected medical devices. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 380\u2013387. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_29"},{"issue":"11","key":"13_CR27","doi-asserted-by":"publisher","first-page":"2496","DOI":"10.3390\/s17112496","volume":"17","author":"S Majumder","year":"2017","unstructured":"Majumder, S., Aghayi, E., Noferesti, M., Memarzadeh-Tehran, H., Mondal, T., Pang, Z., Deen, M.J.: Smart homes for elderly healthcare - recent advances and research challenges. Sensors 17(11), 2496 (2017)","journal-title":"Sensors"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68237-0_12"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24646-6_10","volume-title":"Pervasive Computing","author":"EM Tapia","year":"2004","unstructured":"Tapia, E.M., Intille, S.S., Larson, K.: Activity recognition in the home using simple and ubiquitous sensors. In: Ferscha, A., Mattern, F. (eds.) Pervasive 2004. LNCS, vol. 3001, pp. 158\u2013175. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24646-6_10"},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MCE.2017.2755340","volume":"7","author":"H Thapliyal","year":"2018","unstructured":"Thapliyal, H., Nath, R.K., Mohanty, S.P.: Smart home environment for mild cognitive impairment population: solutions to improve care and quality of life. IEEE Consum. Electron. Mag. 7(1), 68\u201376 (2018)","journal-title":"IEEE Consum. Electron. Mag."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03769-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T00:16:45Z","timestamp":1775261805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03769-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030037680","9783030037697"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03769-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv2018.isp.uni-luebeck.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"49","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 tool papers were also accepted and included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}