{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:07:40Z","timestamp":1648940860926},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,11,25]],"date-time":"2014-11-25T00:00:00Z","timestamp":1416873600000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10009-014-0360-z","type":"journal-article","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T15:31:23Z","timestamp":1417534283000},"page":"121-123","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Runtime verification: the application perspective"],"prefix":"10.1007","volume":"17","author":[{"given":"Yli\u00e8s","family":"Falcone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lenore D.","family":"Zuck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,25]]},"reference":[{"key":"360_CR1","doi-asserted-by":"crossref","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: FM 2012, 18th International Symposium on Formal Methods, Paris, France, 27\u201331 August 2012. Lecture Notes in Computer Science, vol. 7436, pp. 65\u201379 (2012)","DOI":"10.1007\/978-3-642-32759-9_9"},{"issue":"3","key":"360_CR2","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D.E., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. J. Log. Comput. 20(3), 675\u2013706 (2010)","journal-title":"J. Log. Comput."},{"key":"360_CR3","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Schedulability of Herschel\u2013Planck revisited using statistical model checking. In: STTT (2014)","DOI":"10.1007\/s10009-014-0331-4"},{"key":"360_CR4","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Fernandez, J.-C., Mounier, L.: Runtime verification of safety-progress properties. In: Bensalem, S., Peled, D. (eds.) Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, 26\u201328 June 2009. Selected Papers. Lecture Notes in Computer Science, vol. 5779, pp. 40\u201359. Springer, New York (2009)","DOI":"10.1007\/978-3-642-04694-0_4"},{"key":"360_CR5","unstructured":"Falcone, Y., Havelund, K., Reger, G.: 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, vol. 34. Information and Communication Security, pp. 141\u2013175. IOS Press, Amsterdam (2013)"},{"key":"360_CR6","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Vallet, J., Tremblay-Lessard, R.: On piggyback runtime monitoring of object-oriented programs. In: STTT (2014)","DOI":"10.1007\/s10009-014-0326-1"},{"key":"360_CR7","doi-asserted-by":"crossref","unstructured":"Havelund, K.: Rule-based runtime verification revisited. In: STTT (2014)","DOI":"10.1007\/978-3-642-40787-1_19"},{"key":"360_CR8","doi-asserted-by":"crossref","unstructured":"Havelund, K., Goldberg, A.: Verify your runs. In: Meyer, B., Woodcock, J. (eds.) VSTTE. Lecture Notes in Computer Science, vol. 4171, pp. 374\u2013383. Springer, New York (2005)","DOI":"10.1007\/978-3-540-69149-5_40"},{"issue":"5","key":"360_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2008","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Progr. 78(5), 293\u2013303 (2008)","journal-title":"J. Log. Algebraic Progr."},{"key":"360_CR10","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.) Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2012, Amirandes, Heraclion, Crete, 15\u201318 October 2012. Lecture Notes in Computer Science. Springer, New York (2012)","DOI":"10.1007\/978-3-642-34026-0"},{"key":"360_CR11","doi-asserted-by":"crossref","unstructured":"Nouri, A., Bensalem, S., Bozga, B.D.M., Jegourel, C.,Legay, A.: Statistical model checking QOS properties of systems with SBIP. In: STTT (2014)","DOI":"10.1007\/s10009-014-0313-6"},{"key":"360_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Zaks, A.: PSL model checking and run-time verification via testers. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM. Lecture Notes in Computer Science, vol. 4085, pp. 573\u2013586. Springer, New York (2006)","DOI":"10.1007\/11813040_38"},{"key":"360_CR13","unstructured":"Runtime Verification: http:\/\/www.runtime-verification.org (2001\u20132014). Accessed 4 Jan 2014"},{"key":"360_CR14","unstructured":"Younes, H.L.S.: Verification and planning for stochastic processes with asynchronous events. PhD thesis, Carnegie Mellon (2005)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0360-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0360-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0360-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T02:14:03Z","timestamp":1566094443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0360-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,25]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["360"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0360-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,25]]}}}