{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T17:48:43Z","timestamp":1692121723690},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T00:00:00Z","timestamp":1622160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T00:00:00Z","timestamp":1622160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s10009-021-00614-2","type":"journal-article","created":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T13:02:49Z","timestamp":1622206969000},"page":"159-181","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications"],"prefix":"10.1007","volume":"24","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":[[2021,5,28]]},"reference":[{"key":"614_CR1","doi-asserted-by":"crossref","unstructured":"Aimal, S., Parveez, K., Saba, A., Batool, S., Arshad, H., Javaid, N.: Energy optimization techniques for demand-side management in smart homes. In: Advances in Intelligent Networking and Collaborative Systems, The 9th International Conference on Intelligent Networking and Collaborative Systems, INCoS-2017. Lecture Notes on Data Engineering and Communications Technologies, vol.\u00a08, pp. 515\u2013524. Springer (2017)","DOI":"10.1007\/978-3-319-65636-6_46"},{"key":"614_CR2","doi-asserted-by":"crossref","unstructured":"Alemdar, H.\u00d6., Ertan, H., Incel, \u00d6.D., Ersoy, C.: ARAS human activity datasets in multiple homes with multiple residents. In: 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2013. pp. 232\u2013235. IEEE (2013)","DOI":"10.4108\/icst.pervasivehealth.2013.252120"},{"key":"614_CR3","unstructured":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10\u201314, 2017. ACM (2017)"},{"key":"614_CR4","doi-asserted-by":"crossref","unstructured":"Bakhirkin, A., Ferr\u00e8re, T., Maler, O., Ulus, D.: On the quantitative semantics of regular expressions over real-valued signals. In: Abate, A., Geeraerts, G. (eds.) Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5\u20137, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10419, pp. 189\u2013206. Springer (2017)","DOI":"10.1007\/978-3-319-65765-3_11"},{"key":"614_CR5","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bloem, R., Nickovic, D., R\u00f6ck, F.: A counting semantics for monitoring LTL specifications over finite traces. CoRR abs. arXiv:1804.03237 (2018)","DOI":"10.1007\/978-3-319-96145-3_29"},{"key":"614_CR6","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Falcone, Y. (eds.): Lectures on Runtime Verification\u2014Introductory and Advanced Topics. Lecture Notes in Computer Science, vol. 10457. Springer (2018)","DOI":"10.1007\/978-3-319-75632-5"},{"key":"614_CR7","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., Zhang, Y.: First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. (2017)","DOI":"10.1007\/s10009-017-0454-5"},{"key":"614_CR8","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification\u2014Introductory and Advanced Topics, Lecture Notes in Computer Science, vol. 10457, pp. 1\u201333. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"614_CR9","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Grosu, R.: Monitoring with uncertainty. In: Bortolussi, L., Bujorianu, M.L., Pola, G. (eds.) Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. EPTCS, vol. 124, pp. 1\u20134 (2013)","DOI":"10.4204\/EPTCS.124.0"},{"issue":"1\u20132","key":"614_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10703-016-0242-y","volume":"49","author":"DA Basin","year":"2016","unstructured":"Basin, D.A., Caronni, G., Ereth, S., Harvan, M., Klaedtke, F., Mantel, H.: Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49(1\u20132), 75\u2013108 (2016)","journal-title":"Formal Methods Syst. Des."},{"key":"614_CR11","unstructured":"Basin, D.A., Klaedtke, F., Zalinescu, E.: Failure-aware runtime verification of distributed systems. In: Harsha, P., Ramalingam, G. (eds.) 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015. LIPIcs, vol.\u00a045, pp. 590\u2013603. Schloss Dagstuhl, Leibniz, Zentrum fuer Informatik (2015)"},{"issue":"1\u20132","key":"614_CR12","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s10703-016-0253-8","volume":"48","author":"A Bauer","year":"2016","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1\u20132), 46\u201393 (2016)","journal-title":"Formal Methods Syst. Des."},{"key":"614_CR13","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M.: The theory and practice of SALT. In: NASA Formal Methods\u2014Third International Symposium, NFM 2011. Proceedings. Lecture Notes in Computer Science, vol. 6617, pp. 13\u201340. Springer (2011)","DOI":"10.1007\/978-3-642-20398-5_3"},{"key":"614_CR14","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: The good, the bad, and the ugly, but how ugly is ugly? In: Sokolsky, O., Tasiran, S. (eds.) Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science, vol. 4839, pp. 126\u2013138. Springer (2007)","DOI":"10.1007\/978-3-540-77395-5_11"},{"issue":"3","key":"614_CR15","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651\u2013674 (2010)","journal-title":"J. Log. Comput."},{"issue":"4","key":"614_CR16","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."},{"key":"614_CR17","unstructured":"Bonakdarpour, B., Fraigniaud, P., Rajsbaum, S., Rosenblueth, D.A., Travers, C.: Decentralized asynchronous crash-resilient runtime verification. In: Desharnais, J., Jagadeesan, R. (eds.) 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Qu\u00e9bec City, Canada. LIPIcs, vol.\u00a059, pp. 16:1\u201316:15. Schloss Dagstuhl, Leibniz, Zentrum f\u00fcr Informatik (2016)"},{"key":"614_CR18","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.tcs.2016.04.019","volume":"631","author":"L Bozzelli","year":"2016","unstructured":"Bozzelli, L., S\u00e1nchez, C.: Foundations of boolean stream runtime verification. Theor. Comput. Sci. 631, 118\u2013138 (2016)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"614_CR19","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 Trans. Syst. Man Cybern. Part B"},{"key":"614_CR20","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"},{"issue":"6","key":"614_CR21","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1109\/TSMCC.2012.2198883","volume":"42","author":"L Chen","year":"2012","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)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"issue":"1\u20132","key":"614_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10703-016-0251-x","volume":"49","author":"C Colombo","year":"2016","unstructured":"Colombo, C., Falcone, Y.: Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49(1\u20132), 109\u2013158 (2016)","journal-title":"Formal Methods Syst. Des."},{"key":"614_CR23","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":"614_CR24","doi-asserted-by":"crossref","unstructured":"Crowley, J.L., Coutaz, J.: An ecological view of smart home technologies. In: De Ruyter, B., Kameas, A., Chatzimisios, P., Mavrommati, I. (eds.) Ambient Intelligence, pp. 1\u201316. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-26005-1_1"},{"key":"614_CR25","doi-asserted-by":"crossref","unstructured":"Cumin, J., Lefebvre, G., Ramparany, F., Crowley, J.L.: A dataset of routine daily activities in an instrumented home. In: Ubiquitous Computing and Ambient Intelligence\u201411th International Conference, UCAmI 2017, Proceedings. Lecture Notes in Computer Science, vol. 10586, pp. 413\u2013425. Springer (2017)","DOI":"10.1007\/978-3-319-67585-5_43"},{"key":"614_CR26","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174. IEEE Computer Society (2005)"},{"key":"614_CR27","doi-asserted-by":"crossref","unstructured":"Decker, N., Dreyer, B., Gottschling, P., Hochberger, C., Lange, A., Leucker, M., Scheffel, T., Wegener, S., Weiss, A.: Online analysis of debug trace data for embedded systems. In: 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018, pp. 851\u2013856. IEEE (2018)","DOI":"10.23919\/DATE.2018.8342124"},{"key":"614_CR28","unstructured":"El-Hokayem, A., Falcone, Y.: THEMIS Smart Home Artifact Repository, gitlab.inria.fr\/monitoring\/themis-rv18smarthome"},{"key":"614_CR29","unstructured":"El-Hokayem, A., Falcone, Y.: Monitoring decentralized specifications. In: Antoine El-Hokayem and Yli\u00e8s Falcone [3], pp. 125\u2013135"},{"key":"614_CR30","unstructured":"El-Hokayem, A., Falcone, Y.: THEMIS: a tool for decentralized monitoring algorithms. In: Antoine El-Hokayem and Yli\u00e8s Falcone [3], pp. 372\u2013375"},{"key":"614_CR31","doi-asserted-by":"publisher","unstructured":"El-Hokayem, A., Falcone, Y.: Bringing runtime verification home. In: Colombo, C., Leucker, M. (eds.) Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11237, pp. 222\u2013240. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7","DOI":"10.1007\/978-3-030-03769-7"},{"key":"614_CR32","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: On the monitoring of decentralized specifications: semantics, properties, analysis, and simulation. ACM Trans. Softw. Eng. Methodol. 29(1), 1:1\u20131:57 (2020)","DOI":"10.1145\/3355181"},{"key":"614_CR33","unstructured":"Falcone, Y.: You should better enforce than verify. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N. (eds.) Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6418, pp. 89\u2013105. Springer (2010)"},{"key":"614_CR34","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.\u00a034, pp. 141\u2013175. IOS Press (2013)"},{"key":"614_CR35","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2016.02.008","volume":"123","author":"Y Falcone","year":"2016","unstructured":"Falcone, Y., J\u00e9ron, T., Marchand, H., Pinisetty, S.: Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123, 2\u201341 (2016)","journal-title":"Sci. Comput. Program."},{"key":"614_CR36","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Mariani, L., Rollet, A., Saha, S.: Runtime failure prevention and reaction. In: Bartocci and Falcone [6], pp. 103\u2013134","DOI":"10.1007\/978-3-319-75632-5_4"},{"issue":"3","key":"614_CR37","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10703-011-0114-4","volume":"38","author":"Y Falcone","year":"2011","unstructured":"Falcone, Y., Mounier, L., Fernandez, J., Richier, J.: Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38(3), 223\u2013262 (2011)","journal-title":"Formal Methods Syst. Des."},{"key":"614_CR38","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Nazarpour, H., Jaber, M., Bozga, M., Bensalem, S.: Tracing distributed component-based systems, a brief overview. In: Colombo, C., Leucker, M. (eds.) Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10\u201313, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11237, pp. 417\u2013425. Springer (2018)","DOI":"10.1007\/978-3-030-03769-7_24"},{"key":"614_CR39","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Pinisetty, S.: On the runtime enforcement of timed properties. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification\u201419th International Conference, RV 2019, Porto, Portugal, October 8\u201311, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11757, pp. 48\u201369. Springer (2019)","DOI":"10.1007\/978-3-030-32079-9_4"},{"key":"614_CR40","doi-asserted-by":"crossref","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: Stream runtime verification for real-time event-streams. In: Colombo, C., Leucker, M. (eds.) Runtime Verification\u201418th International Conference, RV 2018, Limassol, Cyprus, November 10\u201313, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11237, pp. 282\u2013298. Springer (2018)","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"614_CR41","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Gros, R., Belta, C.: Spatel: A novel spatial-temporal logic and its applications to networked systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp. 189\u2013198. HSCC \u201915, ACM, New York, NY, USA (2015)","DOI":"10.1145\/2728606.2728633"},{"key":"614_CR42","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. AAAI Workshops, vol. WS-16-01. AAAI Press (2016)"},{"key":"614_CR43","unstructured":"Havelund, K., Goldberg, A.: Verify your runs. In: Meyer, B., Woodcock, J. (eds.) Verified Software: Theories, Tools, Experiments, First IFIP TC 2\/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science, vol. 4171, pp. 374\u2013383. Springer (2005)"},{"key":"614_CR44","unstructured":"Institute for Software Engineering and Programming Languages: LamaConv\u2014Logics and Automata Converter Library. http:\/\/www.isp.uni-luebeck.de\/lamaconv"},{"key":"614_CR45","doi-asserted-by":"crossref","unstructured":"van Kasteren, T., Englebienne, G., Kr\u00f6se, B.J.A.: Transferring knowledge of activity recognition across sensor networks. In: Pervasive Computing, 8th International Conference, Pervasive 2010. Proceedings. Lecture Notes in Computer Science, vol. 6030, pp. 283\u2013300. Springer (2010)","DOI":"10.1007\/978-3-642-12654-3_17"},{"issue":"12","key":"614_CR46","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":"614_CR47","doi-asserted-by":"crossref","unstructured":"Kazemlou, S., Bonakdarpour, B.: Crash-resilient decentralized synchronous runtime verification. In: 37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2\u20135, 2018. pp. 207\u2013212. IEEE Computer Society (2018)","DOI":"10.1109\/SRDS.2018.00032"},{"key":"614_CR48","doi-asserted-by":"crossref","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 - activity recognition using model checking. In: Modeling and Using Context\u201410th International and Interdisciplinary Conference, CONTEXT 2017, Proceedings. Lecture Notes in Computer Science, vol. 10257, pp. 175\u2013188. Springer (2017)","DOI":"10.1007\/978-3-319-57837-8_14"},{"issue":"5","key":"614_CR49","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"614_CR50","doi-asserted-by":"crossref","unstructured":"Leucker, M., Schmitz, M., \u00e0\u00a0Tellinghusen, D.: Runtime verification for interconnected medical devices. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications\u20147th International Symposium, ISoLA 2016, Proceedings, Part II. Lecture Notes in Computer Science, vol. 9953, pp. 380\u2013387 (2016)","DOI":"10.1007\/978-3-319-47169-3_29"},{"issue":"11","key":"614_CR51","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\u2014recent advances and research challenges. Sensors 17(11), 2496 (2017)","journal-title":"Sensors"},{"key":"614_CR52","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Proceedings. Lecture Notes in Computer Science, vol. 5014, pp. 148\u2013164. Springer (2008)","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"614_CR53","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25\u201329, 2015. pp. 494\u2013503. IEEE Computer Society (2015)","DOI":"10.1109\/IPDPS.2015.95"},{"key":"614_CR54","doi-asserted-by":"crossref","unstructured":"Ogale, V.A., Garg, V.K.: Detecting temporal logic predicates on distributed computations. In: Pelc, A. (ed.) Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24\u201326, 2007, Proceedings. Lecture Notes in Computer Science, vol. 4731, pp. 420\u2013434. Springer (2007)","DOI":"10.1007\/978-3-540-75142-7_32"},{"key":"614_CR55","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October\u20131 November 1977. pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"614_CR56","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N.M., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) Stabilization, Safety, and Security of Distributed Systems\u201413th International Symposium, SSS 2011, Grenoble, France, October 10\u201312, 2011. Proceedings. Lecture Notes in Computer Science, vol. 6976, pp. 386\u2013400. Springer (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"614_CR57","series-title":"Addison-Wesley component software series","volume-title":"Component software\u2014beyond object-oriented programming","author":"CA Szyperski","year":"2002","unstructured":"Szyperski, C.A., Gruntz, D., Murer, S.: Component software\u2014beyond object-oriented programming. Addison-Wesley component software series, 2nd edn. Addison-Wesley, London (2002)","edition":"2"},{"key":"614_CR58","doi-asserted-by":"crossref","unstructured":"Tapia, E.M., Intille, S.S., Larson, K.: Activity recognition in the home using simple and ubiquitous sensors. In: Pervasive Computing, Second International Conference, PERVASIVE 2004, Vienna, Austria, April 21\u201323, 2004, Proceedings. Lecture Notes in Computer Science, vol. 3001, pp. 158\u2013175. Springer (2004)","DOI":"10.1007\/978-3-540-24646-6_10"},{"issue":"1","key":"614_CR59","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 Consumer Electron. Mag. 7(1), 68\u201376 (2018)","journal-title":"IEEE Consumer Electron. Mag."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00614-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00614-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00614-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T23:59:13Z","timestamp":1672271953000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00614-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,28]]},"references-count":59,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["614"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00614-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,28]]},"assertion":[{"value":"4 May 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 May 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}