{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:10Z","timestamp":1725487210206},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73035-4_23","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:08:08Z","timestamp":1183136888000},"page":"217-225","source":"Crossref","is-referenced-by-count":2,"title":["A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring"],"prefix":"10.1007","author":[{"given":"A.","family":"Rugnone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Poli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. D.","family":"Nugent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tamburini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Paggetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"State of the Art and Future Challenges","author":"A. Lymberis","year":"2004","unstructured":"Lymberis, A., de Rossi, D.: Wearable eHealth Systems for Personalised Health Management. In: State of the Art and Future Challenges, vol.\u00a0108, IOS Press, Amsterdam (2004)"},{"key":"23_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/11788485","volume-title":"Designing Smart Homes","author":"J.C. Augusto","year":"2006","unstructured":"Augusto, J.C., Nugent, C.D.: Designing Smart Homes, The Role of Artificial Intelligence. In: Augusto, J.C., Nugent, C.D. (eds.) Designing Smart Homes. LNCS (LNAI), vol.\u00a04008, Springer, Heidelberg (2006)"},{"key":"23_CR3","first-page":"3","volume-title":"Proc. of the 3rd International Conference on Smart Homes and Health Telematic (ICOST\u201905)","author":"J. Bauchet","year":"2005","unstructured":"Bauchet, J., Mayers, A.: Modelisation of adls in its environment for cognitive assistance. In: Proc. of the 3rd International Conference on Smart Homes and Health Telematic (ICOST\u201905), Sherbrooke, Canada, pp. 3\u201310. IOS Press, Amsterdam (2005)"},{"key":"23_CR4","unstructured":"Bouchard, B., Giroux, S., Bouzouane, A.: A logical approach to adl recognition for alzheimer\u2019s patients. In: Proc. of the 4th International Conference on Smart Homes and Health Telematic (ICOST\u201906), pp. 1\u20138 (2006)"},{"key":"23_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1008615614281","volume":"10","author":"E.M. Clarke","year":"1997","unstructured":"Clarke, E.M., Grumberg, O., Hamaguchi, K.: Another look at ltl model checking. Formal Methods in System Design\u00a010(1), 47\u201371 (1997)","journal-title":"Formal Methods in System Design"},{"issue":"11","key":"23_CR8","first-page":"1261","volume":"9","author":"D. Drusinsky","year":"2003","unstructured":"Drusinsky, D., Shing, M.T.: Monitoring temporal logic specifications combined with time series constraints. J. UCS\u00a09(11), 1261\u20131276 (2003)","journal-title":"J. UCS"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M. Kim","year":"2004","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Formal Methods in System Design\u00a024(2), 129\u2013155 (2004)","journal-title":"Formal Methods in System Design"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-30232-2_23","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"P. Naldurg","year":"2004","unstructured":"Naldurg, P., Sen, K., Thati, P.: A temporal logic based framework for intrusion detection. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 359\u2013376. Springer, Heidelberg (2004)"},{"key":"23_CR11","unstructured":"Paggetti, C., Tamburini, E.: Remote management of integrated home care services: the dghome platform. In: Press, I. (ed.) From Smart Homes to Smart Care: Icost (2005), pp. 298\u2013302 (2005)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-36577-X_3","volume-title":"TACAS","author":"M. Benedetti","year":"2003","unstructured":"Benedetti, M., Cimatti, A.: Bounded model checking for past ltl. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 18\u201333. Springer, Heidelberg (2003)"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/948496.948513","volume-title":"AVI","author":"M. Lusini","year":"1998","unstructured":"Lusini, M., Vicario, E.: Engineering the usability of visual formalisms: a case study in real time logics. In: Catarci, T., Costabile, M.F., Santucci, G., Tarantino, L. (eds.) AVI, pp. 114\u2013123. ACM Press, New York (1998)"}],"container-title":["Lecture Notes in Computer Science","Pervasive Computing for Quality of Life Enhancement"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73035-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:10:06Z","timestamp":1605762606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73035-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730347"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73035-4_23","relation":{},"subject":[]}}