{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:37:19Z","timestamp":1753889839818,"version":"3.41.2"},"reference-count":34,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2012,2,23]],"date-time":"2012-02-23T00:00:00Z","timestamp":1329955200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"name":"National Science Foundation","award":["0720512"],"award-info":[{"award-number":["0720512"]}]},{"name":"National Science Foundation","award":["0916893"],"award-info":[{"award-number":["0916893"]}]},{"name":"National Science Foundation","award":["0509321"],"award-info":[{"award-number":["0509321"]}]},{"name":"National Science Foundation","award":["0448501"],"award-info":[{"award-number":["0448501"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Analysis of execution traces plays a fundamental role in many program\nanalysis approaches, such as runtime verification, testing, monitoring, and\nspecification mining. Execution traces are frequently parametric, i.e., they\ncontain events with parameter bindings. Each parametric trace usually consists\nof many meaningful trace slices merged together, each slice corresponding to\none parameter binding. This gives a semantics-based solution to parametric\ntrace analysis. A general-purpose parametric trace slicing technique is\nintroduced, which takes each event in the parametric trace and dispatches it to\nits corresponding trace slices. This parametric trace slicing technique can be\nused in combination with any conventional, non-parametric trace analysis\ntechnique, by applying the later on each trace slice. As an instance, a\nparametric property monitoring technique is then presented. The presented\nparametric trace slicing and monitoring techniques have been implemented and\nextensively evaluated. Measurements of runtime overhead confirm that the\ngenerality of the discussed techniques does not come at a performance expense\nwhen compared with existing parametric trace monitoring systems.<\/jats:p>","DOI":"10.2168\/lmcs-8(1:9)2012","type":"journal-article","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T10:03:11Z","timestamp":1346925791000},"source":"Crossref","is-referenced-by-count":24,"title":["Semantics and Algorithms for Parametric Monitoring"],"prefix":"10.46298","volume":"Volume 8, Issue 1","author":[{"given":"Grigore","family":"Rosu","sequence":"first","affiliation":[]},{"given":"Feng","family":"Chen","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,2,23]]},"reference":[{"key":"10.2168\/LMCS-8(1:9)2012_tracematches-oopsla","doi-asserted-by":"crossref","unstructured":"C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhotak, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Adding trace matching with free variables to AspectJ. InOOPSLA'05, 2005.","DOI":"10.1145\/1094811.1094839"},{"key":"10.2168\/LMCS-8(1:9)2012_aspectj","doi-asserted-by":"crossref","unstructured":"P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhotak, O. Lhotak, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. ABC: an extensible AspectJ compiler. InAspect-Oriented Software Development (AOSD'05), pages 87-98. ACM, 2005.","DOI":"10.1145\/1052898.1052906"},{"key":"10.2168\/LMCS-8(1:9)2012_oopsla07abc","doi-asserted-by":"crossref","unstructured":"P. Avgustinov, J. Tibble, and O. de Moor. Making trace monitoring feasible. In R. P. Gabriel, editor,OOPSLA'07. ACM, 2007.","DOI":"10.1145\/1297027.1297070"},{"key":"10.2168\/LMCS-8(1:9)2012_DBLP:conf\/vmcai\/BarringerGHS04","doi-asserted-by":"crossref","unstructured":"H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. InVMCAI, volume 2937 ofLNCS, pages 44-57, 2004.","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"10.2168\/LMCS-8(1:9)2012_DBLP:conf\/rv\/BarringerRH07","doi-asserted-by":"crossref","unstructured":"H. Barringer, D. E. Rydeheard, and K. Havelund. Rule systems for run-time monitoring: From Eagle to RuleR. InRuntime Verification (RV'07), volume 4839 ofLNCS, pages 111-125, 2007.","DOI":"10.1007\/978-3-540-77395-5_10"},{"key":"10.2168\/LMCS-8(1:9)2012_bauer-leucker-schallhart-2010-tosem","doi-asserted-by":"crossref","unstructured":"A. Bauer, M. Leucker, and C. Schallhart. Runtime verification for LTL and TLTL.ACM Transactions on Software Engineering and Methodology, 20, 2011.","DOI":"10.1145\/2000799.2000800"},{"key":"10.2168\/LMCS-8(1:9)2012_DaCapo:paper","doi-asserted-by":"crossref","unstructured":"S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovi\u00c4\u0087, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. InOOPSLA'06, pages 169-190. ACM, 2006.","DOI":"10.1145\/1167473.1167488"},{"key":"10.2168\/LMCS-8(1:9)2012_jlo","unstructured":"E. Bodden. J-lo, a tool for runtime-checking temporal assertions. Master's thesis, RWTH Aachen University, 2005."},{"key":"10.2168\/LMCS-8(1:9)2012_bodden-chen-rosu-2009-aosd","doi-asserted-by":"crossref","unstructured":"E. Bodden, F. Chen, and G. Rosu. Dependent advice: A general approach to optimizing history-based aspects. InAOSD'09, pages 3-14. ACM, 2009.","DOI":"10.1145\/1509239.1509243"},{"key":"10.2168\/LMCS-8(1:9)2012_tm-static-ecoop","doi-asserted-by":"crossref","unstructured":"E. Bodden, L. Hendren, and O. Lhot\u00e1k. A staged static program analysis to improve the performance of runtime monitoring. InEuropean Conference on Object Oriented Programming (ECOOP'07), volume 4609 ofLNCS, pages 525-549. Springer, 2007.","DOI":"10.1007\/978-3-540-73589-2_25"},{"key":"10.2168\/LMCS-8(1:9)2012_clara","doi-asserted-by":"crossref","unstructured":"E. Bodden, P. Lam, and L. Hendren. Clara: A framework for partially evaluating finite-state runtime monitors ahead of time. InRuntime Verification (RV'10), volume 6418 ofLNCS, pages 183-197. Springer, 2010.","DOI":"10.1007\/978-3-642-16612-9_15"},{"key":"10.2168\/LMCS-8(1:9)2012_chen-meredith-jin-rosu-2009-ase","doi-asserted-by":"crossref","unstructured":"F. Chen, P. Meredith, D. Jin, and G. Rosu. Efficient formalism-independent monitoring of parametric properties. InASE'09. IEEE\/ACM, 2009.","DOI":"10.1109\/ASE.2009.50"},{"key":"10.2168\/LMCS-8(1:9)2012_chen-rosu-2007-oopsla","doi-asserted-by":"crossref","unstructured":"F. Chen and G. Rosu. MOP: An Efficient and Generic Runtime Verification Framework. InOOPSLA'07, pages 569-588. ACM, 2007.","DOI":"10.1145\/1297027.1297069"},{"key":"10.2168\/LMCS-8(1:9)2012_chen-rosu-2008-tr-a","unstructured":"F. Chen and G. Rosu. Mining Parametric State-Based Specifications from Executions. Technical Report UIUCDCS-R-2008-3000, Dept. of Computer Science at UIUC, 2008."},{"key":"10.2168\/LMCS-8(1:9)2012_chen-rosu-2009-tacas","doi-asserted-by":"crossref","unstructured":"F. Chen and G. Rosu. Parametric trace slicing and monitoring. InTACAS'09, volume 5505 ofLNCS, pages 246-261, 2009.","DOI":"10.1007\/978-3-642-00768-2_23"},{"key":"10.2168\/LMCS-8(1:9)2012_damm01lscs","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"10.2168\/LMCS-8(1:9)2012_dwyer-purandare-person-2010-rv","doi-asserted-by":"crossref","unstructured":"M. Dwyer, R. Purandare, and S. Person. Runtime verification in context: Can optimizing error detection improve fault diagnosis. InRuntime Verification (RV'10), volume 6418 ofLNCS, pages 36-50. Springer, 2010.","DOI":"10.1007\/978-3-642-16612-9_4"},{"key":"10.2168\/LMCS-8(1:9)2012_ptql-oopsla","doi-asserted-by":"crossref","unstructured":"S. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. InOOPSLA'05, 2005.","DOI":"10.1145\/1094811.1094841"},{"key":"10.2168\/LMCS-8(1:9)2012_jin-meredith-griffith-rosu-2011-pldi","doi-asserted-by":"crossref","unstructured":"D. Jin, P. O. Meredith, D. Griffith, and G. Rosu. Garbage collection for monitoring parametric properties. InProgramming Language Design and Implementation (PLDI'11), pages 415-424. ACM, 2011.","DOI":"10.1145\/1993498.1993547"},{"key":"10.2168\/LMCS-8(1:9)2012_kupferman-vardi-2001","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"10.2168\/LMCS-8(1:9)2012_lee-chen-rosu-2011-icse","doi-asserted-by":"crossref","unstructured":"C. Lee, F. Chen, and G. Rosu. Mining parametric specifications. InProceeding of the 33rd International Conference on Software Engineering (ICSE'11), pages 591-600. ACM, 2011.","DOI":"10.1145\/1985793.1985874"},{"key":"10.2168\/LMCS-8(1:9)2012_manna-pnueli-1992","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10.2168\/LMCS-8(1:9)2012_lsc-monitor","doi-asserted-by":"crossref","unstructured":"S. Maoz and D. Harel. From multi-modal scenarios to code: compiling lscs into aspectj. InFSE'06, pages 219-230, 2006.","DOI":"10.1145\/1181775.1181802"},{"key":"10.2168\/LMCS-8(1:9)2012_pql-oopsla","doi-asserted-by":"crossref","unstructured":"M. Martin, V. B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. InOOPSLA'05, 2005.","DOI":"10.1145\/1094811.1094840"},{"key":"10.2168\/LMCS-8(1:9)2012_meredith-jin-chen-rosu-2008-ase","doi-asserted-by":"crossref","unstructured":"P. Meredith, D. Jin, F. Chen, and G. Rosu. Efficient monitoring of parametric context-free patterns. InASE'08. IEEE\/ACM, 2008.","DOI":"10.1109\/ASE.2008.25"},{"key":"10.2168\/LMCS-8(1:9)2012_meredith-rosu-2010-rv","doi-asserted-by":"crossref","unstructured":"P. Meredith and G. Rosu. Runtime verification with the RV system. InFirst International Conference on Runtime Verification (RV'10), volume 6418 ofLecture Notes in Computer Science, pages 136-152. Springer, 2010.","DOI":"10.1007\/978-3-642-16612-9_12"},{"key":"10.2168\/LMCS-8(1:9)2012_meredith-jin-griffith-chen-rosu-2010-jsttt","doi-asserted-by":"crossref","unstructured":"P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Rosu. An overview of the mop runtime verification framework.Journal on Software Tools for Technology Transfer (J. of STTT), 2010. To appear.","DOI":"10.1007\/s10009-011-0198-6"},{"key":"10.2168\/LMCS-8(1:9)2012_moore-56","first-page":"129","volume":"34","author":"E. F. Moore","year":"1956","journal-title":"Automata Studies, Annals of Mathematical Studies 1956"},{"key":"10.2168\/LMCS-8(1:9)2012_rosu-chen-2008-tr-a","unstructured":"G. Rosu and F. Chen. Parametric Trace Slicing and Monitoring. Technical Report UIUCDCS-R-2008-2977, University of Illinois at Urbana-Champaign, 2008."},{"key":"10.2168\/LMCS-8(1:9)2012_rosu-chen-ball-2008-rv","doi-asserted-by":"crossref","unstructured":"G. Rosu, F. Chen, and T. Ball. Synthesizing monitors for safety properties - this time with calls and returns -. InRuntime Verification (RV'08), volume 5289 ofLNCS, pages 51-68, 2008.","DOI":"10.1007\/978-3-540-89247-2_4"},{"key":"10.2168\/LMCS-8(1:9)2012_rosu-havelund-2005-jase","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"10.2168\/LMCS-8(1:9)2012_stolz-2006-rv","doi-asserted-by":"crossref","unstructured":"V. Stolz. Temporal assertions with parameterized propositions. In O. Sokolsky and S. Tasiran, editors,Runtime Verification, volume 4839 ofLecture Notes in Computer Science, pages 176-187. Springer Berlin \/ Heidelberg, 2007.","DOI":"10.1007\/978-3-540-77395-5_15"},{"key":"10.2168\/LMCS-8(1:9)2012_strom-yemeni-1986-tse","first-page":"157","volume":"12","author":"R. E. Strom and S. Yemeni","year":"1986","journal-title":"IEEE Transactions on Software Engineering 1986"},{"key":"10.2168\/LMCS-8(1:9)2012_tabakov-vardi-2010-rv","doi-asserted-by":"crossref","unstructured":"D. Tabakov and M. Vardi. Optimized temporal monitors for systemc. InFirst International Conference on Runtime Verification (RV'10), volume 6418 ofLecture Notes in Computer Science. Springer, 2010.","DOI":"10.1007\/978-3-642-16612-9_33"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/710\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/710\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:54:32Z","timestamp":1681242872000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,23]]},"references-count":34,"URL":"https:\/\/doi.org\/10.2168\/lmcs-8(1:9)2012","relation":{"is-same-as":[{"id-type":"arxiv","id":"1112.5761","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1112.5761","asserted-by":"subject"}],"is-referenced-by":[{"id-type":"doi","id":"10.1007\/978-3-662-46681-0_55","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2012,2,23]]},"article-number":"710"}}