{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:30Z","timestamp":1725702570799},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_21","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"284-291","source":"Crossref","is-referenced-by-count":3,"title":["Runtime Verification: The Application Perspective"],"prefix":"10.1007","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","reference":[{"key":"21_CR1","unstructured":"Ahrendt, W., Pace, G., Schneider, G.: A unified approach for static and runtime verification: framework and applications. In: Margaria, Steffen [22]"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Johnson, R.E., Gabriel, R.P. (eds.) OOPSLA, pp. 345\u2013364. ACM (2005)","DOI":"10.1145\/1103845.1094839"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H. Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 68\u201384. Springer, Heidelberg (2012)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-21437-0_7","volume-title":"FM 2011: Formal Methods","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K.: TraceContract: A Scala DSL for Trace Analysis. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 57\u201372. Springer, Heidelberg (2011)"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","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.\u00a020(3), 675\u2013706 (2010)","journal-title":"J. Log. Comput."},{"key":"21_CR6","unstructured":"Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A., Nouri, A.: Sbip: A statistical model checking extension for BIP. In: Margaria, Steffen [22]"},{"key":"21_CR7","unstructured":"Blech, J.O., Falcone, Y., Rue\u00df, H., Sch\u00e4etz, B.: Behavioral Specification based Runtime Monitors for OSGi Services. In: Margaria, Steffen [22]"},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10009-010-0183-5","volume":"14","author":"E. Bodden","year":"2012","unstructured":"Bodden, E., Hendren, L.J.: The Clara framework for hybrid typestate analysis. STTT\u00a014(3), 307\u2013326 (2012)","journal-title":"STTT"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-00768-2_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Chen","year":"2009","unstructured":"Chen, F., Ro\u015fu, G.: Parametric Trace Slicing and Monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 246\u2013261. Springer, Heidelberg (2009)"},{"key":"21_CR10","unstructured":"David, A., Larsen, K.G., Legay, A., Seadwards, S., Poulsen, D.: Systems biology, runtime verification and more. In: Margaria, Steffen [22]"},{"key":"21_CR11","unstructured":"Dimitrova, R., Finkbeiner, B., Rabe, M.: Monitoring temporal information flow. In: Margaria, Steffen [22]"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","first-page":"200","volume-title":"FACS 2010","author":"J. Dormoy","year":"2010","unstructured":"Dormoy, J., Kouchnarenko, O., Lanoix, A.: Using Temporal Logic for Dynamic Reconfigurations of Components. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol.\u00a06921, pp. 200\u2013217. Springer, Heidelberg (2010)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime Verification of Component-Based Systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"21_CR14","unstructured":"Hall\u00e9, S., Tremblay-Lessard, R.: A case for \u201cpiggyback\u201d runtime monitoring. In: Margaria, Steffen [22]"},{"key":"21_CR15","unstructured":"Hartmanns, A., Hermanns, H.: Modelling and decentralised runtime control of self-stabilising power micro grids. In: Margaria, Steffen [22]"},{"key":"21_CR16","unstructured":"Havelund, K.: What does AI have to do with RV. In: Margaria, Steffen [22]"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-540-69149-5_40","volume-title":"Verified Software: Theories, Tools, Experiments","author":"K. Havelund","year":"2008","unstructured":"Havelund, K., Goldberg, A.: Verify Your Runs. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 374\u2013383. Springer, Heidelberg (2008)"},{"key":"21_CR18","unstructured":"Hinrichs, T., Sistla, P.A., Zuck, L.D.: Model checking meets run-time verification. In: Voronkov, A., Korovina, M. (eds.) HOWARD-60: Proceedings of the Higher-Order Workshop on Automated Runtime verification and Debugging (to appear, 2012)"},{"issue":"3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-010-0184-4","volume":"14","author":"X. Huang","year":"2012","unstructured":"Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with controllable overhead. STTT\u00a014(3), 327\u2013347 (2012)","journal-title":"STTT"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-16612-9_22","volume-title":"Runtime Verification","author":"C.H.P. Kim","year":"2010","unstructured":"Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing Configurations to Monitor in a Software Product Line. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 285\u2013299. Springer, Heidelberg (2010)"},{"issue":"5","key":"21_CR21","doi-asserted-by":"publisher","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. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2008)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"21_CR22","series-title":"LNCS","volume-title":"ISoLA 2012, Part I","author":"T. Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: ISoLA 2012, Part I. LNCS, vol.\u00a07609. Springer, Heidelberg (2012)"},{"key":"21_CR23","unstructured":"Mounier, L., Sifakis, E.: Dynamic information-flow analysis for multi-threaded applications. In: Margaria, Steffen [22]"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/11813040_38","volume-title":"FM 2006: Formal Methods","author":"A. Pnueli","year":"2006","unstructured":"Pnueli, A., Zaks, A.: PSL Model Checking and Run-Time Verification Via Testers. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 573\u2013586. Springer, Heidelberg (2006)"},{"key":"21_CR25","unstructured":"Razavi, N., Holzer, A., Farzan, A.: Bounded-interference sequentialization for testing concurrent programs. In: Margaria, Steffen [22]"},{"key":"21_CR26","unstructured":"Runtime Verification (2001-2012), \n                    \n                      http:\/\/www.runtime-verification.org"},{"issue":"1","key":"21_CR27","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"4","key":"21_CR28","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V. Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. Electr. Notes Theor. Comput. Sci.\u00a0144(4), 109\u2013124 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11547662_24","volume-title":"Static Analysis","author":"T. Terauchi","year":"2005","unstructured":"Terauchi, T., Aiken, A.: Secure Information Flow as a Safety Problem. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 352\u2013367. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:18Z","timestamp":1620132078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}