{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:51:36Z","timestamp":1764053496146,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,7,18]],"date-time":"2017-07-18T00:00:00Z","timestamp":1500336000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Austrian Science Fund (AT)","award":["S11405-N23"],"award-info":[{"award-number":["S11405-N23"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10703-017-0287-6","type":"journal-article","created":{"date-parts":[[2017,7,18]],"date-time":"2017-07-18T08:13:14Z","timestamp":1500365594000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Introduction to the special issue on runtime verification"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8004-6601","authenticated-orcid":false,"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,18]]},"reference":[{"key":"287_CR1","doi-asserted-by":"publisher","unstructured":"Ahrendt W, Chimento JM, Pace GJ, Schneider G (2017) Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-017-0274-y","DOI":"10.1007\/s10703-017-0274-y"},{"key":"287_CR2","doi-asserted-by":"publisher","unstructured":"Bartocci E, Bortolussi L, Nenzi L (2013) A temporal logic approach to modular design of synthetic biological circuits. In: Proceedings of CMSB 2013: the 11th international conference on computational methods in systems biology, pp 164\u2013177. doi:\n                        10.1007\/978-3-642-40708-6_13","DOI":"10.1007\/978-3-642-40708-6_13"},{"key":"287_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0454-5","author":"E Bartocci","year":"2017","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 (2017) First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int J Softw Tools Technol Transf. doi:\n                        10.1007\/s10009-017-0454-5","journal-title":"Int J Softw Tools Technol Transf"},{"key":"287_CR4","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1004591","author":"E Bartocci","year":"2016","unstructured":"Bartocci E, Li\u00f3 P (2016) Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol. doi:\n                        10.1371\/journal.pcbi.1004591","journal-title":"PLoS Comput Biol"},{"key":"287_CR5","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 (2016) Foundations of boolean stream runtime verification. Theor Comput Sci 631:118\u2013138. doi:\n                        10.1016\/j.tcs.2016.04.019","journal-title":"Theor Comput Sci"},{"key":"287_CR6","doi-asserted-by":"publisher","unstructured":"Bufo S, Bartocci E, Sanguinetti G, Borelli M, Lucangelo U, Bortolussi L (2014) Temporal logic based monitoring of assisted ventilation in intensive care patients. In: Steffen B, Margaria T (eds) Proceedings of ISoLA 2014: 6th international symposium on leveraging applications of formal methods, verification and validation, LNCS, vol 8803, pp 391\u2013403. doi:\n                        10.1007\/978-3-662-45231-8","DOI":"10.1007\/978-3-662-45231-8"},{"key":"287_CR7","doi-asserted-by":"publisher","unstructured":"Cameron F, Fainekos GE, Maahs DM, Sankaranarayanan S (2015) Towards a verified artificial pancreas: challenges and solutions for runtime verification. In: Proceedings of RV 2015: the 6th international conference on runtime verification, LNCS, vol 9333, pp 3\u201317. Springer. doi:\n                        10.1007\/978-3-319-23820-3_1","DOI":"10.1007\/978-3-319-23820-3_1"},{"key":"287_CR8","doi-asserted-by":"publisher","unstructured":"Deshmukh JV, Donz\u00e9 A, Ghosh S, Jin X, Juniwal G, Seshia SA (2017) Robust online monitoring of signal temporal logic. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-017-0286-7","DOI":"10.1007\/s10703-017-0286-7"},{"key":"287_CR9","doi-asserted-by":"publisher","unstructured":"Donz\u00e9 A, Ferr\u00e8re T, Maler O (2013) Efficient robust monitoring for STL. In: Proceedings of CAV 2013: the 25th international conference on computer aided verification, LNCS, vol 8044, pp 264\u2013279. Springer. doi:\n                        10.1007\/978-3-642-39799-8_19","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"287_CR10","doi-asserted-by":"publisher","unstructured":"Donz\u00e9 A, Maler O, Bartocci E, Nickovic D, Grosu R, Smolka SA (2012) On temporal logic and signal processing. In: Chakraborty S , Mukund M (eds) Proceedings of ATVA 2012: 10th international symposium on automated technology for verification and analysis, Thiruvananthapuram, October 3\u20136. Lecture notes in computer science, vol 7561, pp 92\u2013106. Springer. doi:\n                        10.1007\/978-3-642-33386-6_9","DOI":"10.1007\/978-3-642-33386-6_9"},{"key":"287_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.3233\/978-1-61499-207-3-141","volume-title":"Engineering dependable software systems, NATO science for peace and security series, D: information and communication security","author":"Y Falcone","year":"2013","unstructured":"Falcone Y, Havelund K, Reger G (2013) A tutorial on runtime verification. In: Broy M, Peled D, Kalus G (eds) Engineering dependable software systems, NATO science for peace and security series, D: information and communication security, vol 34. IOS Press, Amsterdam, pp 141\u2013175. doi:\n                        10.3233\/978-1-61499-207-3-141"},{"key":"287_CR12","doi-asserted-by":"publisher","unstructured":"Francalanza A, Aceto L, Ingolfsdottir A (2017) Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-017-0273-z","DOI":"10.1007\/s10703-017-0273-z"},{"key":"287_CR13","doi-asserted-by":"publisher","unstructured":"Jaksic S, Bartocci E, Grosu R, Kloibhofer R, Nguyen T, Nickovic D (2015) From signal temporal logic to FPGA monitors. In: Proceedings of MEMOCODE 2015: the 13th ACM\u2013IEEE international conference on formal methods and models for system design. ACM, pp 218\u2013227. doi:\n                        10.1109\/MEMCOD.2015.7340489","DOI":"10.1109\/MEMCOD.2015.7340489"},{"key":"287_CR14","doi-asserted-by":"publisher","unstructured":"Kassem A, Falcone Y, Lafourcade P (2017) Formal analysis and offline monitoring of electronic exams. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-017-0280-0","DOI":"10.1007\/s10703-017-0280-0"},{"issue":"2&3","key":"287_CR15","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(90)90038-J","volume":"72","author":"KG Larsen","year":"1990","unstructured":"Larsen KG (1990) Proof systems for satisfiability in hennessy-milner logic with recursion. Theor Comput Sci 72(2&3):265\u2013288. doi:\n                        10.1016\/0304-3975(90)90038-J","journal-title":"Theor Comput Sci"},{"issue":"5","key":"287_CR16","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 (2009) A brief account of runtime verification. J Log Algebr Program 78(5):293\u2013303. doi:\n                        10.1016\/j.jlap.2008.08.004","journal-title":"J Log Algebr Program"},{"issue":"3","key":"287_CR17","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-012-0247-9","volume":"15","author":"O Maler","year":"2013","unstructured":"Maler O, Nickovic D (2013) Monitoring properties of analog and mixed-signal circuits. STTT 15(3):247\u2013268. doi:\n                        10.1007\/s10009-012-0247-9","journal-title":"STTT"},{"key":"287_CR18","doi-asserted-by":"publisher","unstructured":"Moosbrugger PC, Rozier KY, Schumann J (2017) R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods in Syst Des. doi:\n                        10.1007\/s10703-017-0275-x","DOI":"10.1007\/s10703-017-0275-x"},{"key":"287_CR19","doi-asserted-by":"publisher","unstructured":"Phan D, Yang J, Grosu R, Smolka SA, Stoller SD (2017) Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-016-0265-4","DOI":"10.1007\/s10703-016-0265-4"},{"key":"287_CR20","doi-asserted-by":"publisher","unstructured":"Pinisetty S, Preoteasa V, Tripakis S, J\u00e9ron T, Falcone Y, Marchand H (2017) Predictive runtime enforcement. Formal Methods Syst Des. doi:\n                        10.1007\/s10703-017-0271-1","DOI":"10.1007\/s10703-017-0271-1"},{"key":"287_CR21","doi-asserted-by":"publisher","unstructured":"Rodionova A, Bartocci E, Nickovic D, Grosu R (2016) Temporal logic as filtering. In: Proceedings of HSCC 2016: the 19th international conference on hybrid systems, pp 11\u201320. ACM. doi:\n                        10.1145\/2883817","DOI":"10.1145\/2883817"},{"issue":"4","key":"287_CR22","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha L (2001) Using simplicity to control complexity. IEEE Softw 18(4):20\u201328. doi:\n                        10.1109\/MS.2001.936213","journal-title":"IEEE Softw"},{"key":"287_CR23","doi-asserted-by":"publisher","unstructured":"Tuncali CE, Pavlic TP, Fainekos GE (2016) Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. In: Proceedings of ITSC 2016: the 19th IEEE international conference on intelligent transportation, pp 1470\u20131475. IEEE. doi:\n                        10.1109\/ITSC.2016.7795751","DOI":"10.1109\/ITSC.2016.7795751"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-017-0287-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0287-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0287-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T10:31:17Z","timestamp":1502447477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-017-0287-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,18]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["287"],"URL":"https:\/\/doi.org\/10.1007\/s10703-017-0287-6","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2017,7,18]]}}}