{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:02:39Z","timestamp":1743022959876,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_29","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"380-387","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Verification for Interconnected Medical Devices"],"prefix":"10.1007","author":[{"given":"Martin","family":"Leucker","sequence":"first","affiliation":[]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[]},{"given":"Danilo","family":"\u00e0 Tellinghusen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-20398-5_3","volume-title":"NASA Formal Methods","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M.: The theory and practice of SALT. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 13\u201340. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20398-5_3"},{"issue":"4","key":"29_CR2","doi-asserted-by":"crossref","first-page":"14:1","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:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"29_CR3","unstructured":"Birkle, M., Bergh, B.: OR.NET: Ein Projekt auf dem Weg zur sicheren dynamischen Vernetzung in OP und Klinik. In: Jahrestagung der Gesellschaft f\u00fcr Informatik e.V. (GI), vol. 208, pp. 1235\u20131236. GI (2012)"},{"key":"29_CR4","unstructured":"Gregorczyk, D., Bu\u00dfhaus, T., Fischer, S.: Systems, signals and devices (SSD). In: SDD, pp. 1\u20136. IEEE (2012)"},{"key":"29_CR5","unstructured":"Gregorczyk, D., Fischer, S., Busshaus, T., Schlichting, S., P\u00f6hlsen, S.: Workshop on medical cyber-physical systems. In: MedCPS. OASIcs, vol. 36, pp. 15\u201327. Dagstuhl (2014)"},{"key":"29_CR6","volume-title":"Basiswissen Medizinische Software","author":"C Johner","year":"2011","unstructured":"Johner, C., Wittorf, S., H\u00f6lzer-Kl\u00fcpfel, M.: Basiswissen Medizinische Software. dpunkt.verlag, Heidelberg (2011)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Kasparick, M., Schlichting, S., Golatowski, F., Timmermann, D.: Medical DPWS: new IEEE 11073 standard for safe and interoperable medical device communication. In: Standards for Communications and Networking (CSCN), pp. 212\u2013217, October 2015","DOI":"10.1109\/CSCN.2015.7390446"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Kasparick, M., Schlichting, S., Golatowski, F., Timmermann, D.: New IEEE 11073 standards for interoperable, networked point-of-care medical devices. In: IEEE Engineering in Medicine and Biology Society (EMBC), pp. 1721\u20131724, August 2015","DOI":"10.1109\/EMBC.2015.7318709"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-53956-5_13","volume-title":"Foundations of Health Information Engineering and Systems","author":"F K\u00fchn","year":"2014","unstructured":"K\u00fchn, F., Leucker, M.: OR.NET: safe interconnection of medical devices. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol. 8315, pp. 188\u2013198. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-53956-5_13"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-29860-8_4","volume-title":"Runtime Verification","author":"M Leucker","year":"2012","unstructured":"Leucker, M.: Teaching runtime verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 34\u201348. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_4"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-75292-9_20","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"M Leucker","year":"2007","unstructured":"Leucker, M., S\u00e1nchez, C.: Regular linear temporal logic. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 291\u2013305. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75292-9_20"},{"issue":"5","key":"29_CR12","doi-asserted-by":"crossref","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. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"key":"29_CR13","unstructured":"Leucker, M., Schmitz, M.: Secured SOA for the safe interconnection of medical devices (position paper). In: CEUR Workshop Proceedings Software Engineering (SE), vol. 1337, pp. 11\u201314 (2015). CEUR-WS.org"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Foundations of Computer Science (FOCS), pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, C., Samborski-Forlese, J.: Efficient regular linear temporal logic using dualization and stratification. In: Temporal Representation and Reasoning (TIME), pp. 13\u201320. IEEE Computer Society (2012)","DOI":"10.1109\/TIME.2012.25"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:08:39Z","timestamp":1568434119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}