{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:20:25Z","timestamp":1729671625557,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/ase.2009.50","type":"proceedings-article","created":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T14:48:44Z","timestamp":1269442124000},"page":"383-394","source":"Crossref","is-referenced-by-count":31,"title":["Efficient Formalism-Independent Monitoring of Parametric Properties"],"prefix":"10.1109","author":[{"given":"Feng","family":"Chen","sequence":"first","affiliation":[]},{"given":"Patrick O'Neil","family":"Meredith","sequence":"additional","affiliation":[]},{"given":"Dongyun","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Grigore","family":"Rosu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Efficient monitoring of parametric context-free patterns","author":"chen","year":"2009","journal-title":"Department of Computer Science University of Illinois at Urbana-Champaign Tech Rep 2142–11787"},{"key":"ref11","article-title":"Parametric trace slicing and monitoring","volume":"5505","author":"chen","year":"2009","journal-title":"TACAS Ser LNCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1509239.1509243"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.25"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"journal-title":"Soot website","year":"0","key":"ref15"},{"journal-title":"Javamop experiments","year":"0","key":"ref16"},{"key":"ref17","article-title":"A staged static program analysis to improve the performance of runtime monitoring","author":"bodden","year":"2007","journal-title":"ECOOP'07"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24622-0_5","article-title":"Rule-based runtime verification","volume":"2937","author":"barringer","year":"2004","journal-title":"Verification Model Checking and Abstract Interpretation (VMCAI'04) ser LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81045-4"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1145\/1297027.1297070","article-title":"Making trace monitors feasible","author":"avgustinov","year":"2007","journal-title":"OOPSLA'07"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1145\/1094811.1094839","article-title":"Adding trace matching with free variables to AspectJ","author":"allan","year":"2005","journal-title":"OOPSLA'05"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1145\/1094811.1094841","article-title":"Relational queries over program traces","author":"goldsmith","year":"2005","journal-title":"OOPSLA'05"},{"key":"ref7","article-title":"Finding application errors and security flaws using PQL: a program query language","author":"martin","year":"2007","journal-title":"OOPSLA ‘06"},{"journal-title":"Temporal rover","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1145\/1297027.1297069","article-title":"MOP: An efficient and generic runtime verification framework","author":"chen","year":"2007","journal-title":"OOPSLA'07"}],"event":{"name":"2009 24th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2009,11,16]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2009,11,20]]}},"container-title":["2009 IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5431684\/5431686\/05431757.pdf?arnumber=5431757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T06:30:15Z","timestamp":1497853815000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5431757\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ase.2009.50","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}