{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:19:14Z","timestamp":1744258754580,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_23","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"295-311","source":"Crossref","is-referenced-by-count":1,"title":["A Case for \u201cPiggyback\u201d Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Tremblay-Lessard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Java OpenJDK version 6, http:\/\/openjdk.java.net\/projects\/jdk6\/","key":"23_CR1"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1145\/1297027.1297070","volume-title":"OOPSLA","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., Steele Jr., G.L. (eds.) OOPSLA, pp. 589\u2013608. ACM Press, New York (2007)"},{"issue":"3","key":"23_CR3","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":"23_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA 2006: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA 2006: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 169\u2013190. ACM Press, New York (2006)"},{"doi-asserted-by":"crossref","unstructured":"Bodden, E., Chen, F., Ro\u015fu, G.: Dependent advice: a general approach to optimizing history-based aspects. In: Sullivan, K.J., Moreira, A., Schwanninger, C., Gray, J. (eds.) AOSD, pp. 3\u201314. ACM (2009)","key":"23_CR5","DOI":"10.1145\/1509239.1509243"},{"issue":"3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1093\/logcom\/exn077","volume":"20","author":"E. Bodden","year":"2010","unstructured":"Bodden, E., Hendren, L.J., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with Tracematches. J. Log. Comput.\u00a020(3), 707\u2013723 (2010)","journal-title":"J. Log. Comput."},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/978-3-540-73589-2_25","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L.J., Lhot\u00e1k, O.: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 525\u2013549. Springer, Heidelberg (2007)"},{"unstructured":"Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation. Computational Foundations of Conceptual Graphs. Springer (2009)","key":"23_CR8"},{"doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D., Ro\u015fu, G.: Efficient formalism-independent monitoring of parametric properties. In: ASE, pp. 383\u2013394. IEEE Computer Society (2009)","key":"23_CR9","DOI":"10.1109\/ASE.2009.50"},{"doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA \u2014 safer monitoring of real-time java programs (tool paper). In: Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 33\u201337. IEEE Computer Society (November 2009)","key":"23_CR10","DOI":"10.1109\/SEFM.2009.13"},{"doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Pistoia, M. (eds.): Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8. ACM (2008)","key":"23_CR11","DOI":"10.1145\/1513443.1513445"},{"doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246\u2013255 (2000)","key":"23_CR12","DOI":"10.1109\/SECPRI.2000.848461"},{"doi-asserted-by":"crossref","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Johnson, Gabriel [16], pp. 385\u2013402","key":"23_CR13","DOI":"10.1145\/1103845.1094841"},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S. Hall\u00e9","year":"2011","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. on Services Computing\u00a05(2), 192\u2013206 (2011)","journal-title":"IEEE Trans. on Services Computing"},{"doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Griffith, D., Ro\u015fu, G.: Garbage collection for monitoring parametric properties. In: Hall, M.W., Padua, D.A. (eds.) PLDI, pp. 415\u2013424. ACM (2011)","key":"23_CR15","DOI":"10.1145\/1993316.1993547"},{"volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005","year":"2005","unstructured":"Johnson, R.E., Gabriel, R.P. (eds.): Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20. ACM, San Diego (2005)","key":"23_CR16"},{"issue":"10","key":"23_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/383845.383858","volume":"44","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: Getting started with AspectJ. Commun. ACM\u00a044(10), 59\u201365 (2001)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Martin, M.C., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Johnson, Gabriel [16], pp. 365\u2013383","key":"23_CR18","DOI":"10.1145\/1103845.1094840"},{"issue":"2","key":"23_CR19","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10515-010-0063-y","volume":"17","author":"P.O. Meredith","year":"2010","unstructured":"Meredith, P.O., Jin, D., Chen, F., Ro\u015fu, G.: Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng.\u00a017(2), 149\u2013180 (2010)","journal-title":"Autom. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. International Journal on Software Techniques for Technology Transfer (to appear, 2011)","key":"23_CR20","DOI":"10.1007\/s10009-011-0198-6"},{"unstructured":"O\u2019Hair, K.: HPROF: A heap\/CPU profiling tool in J2SE 5.0 (2004), http:\/\/java.sun.com\/developer\/technicalArticles\/Programming\/HPROF.html","key":"23_CR21"},{"issue":"12","key":"23_CR22","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"issue":"4","key":"23_CR23","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."}],"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_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:23:24Z","timestamp":1744205004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}