{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T18:44:24Z","timestamp":1761417864756,"version":"3.41.0"},"reference-count":61,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/cases.2015.7324554","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T23:05:25Z","timestamp":1447369525000},"page":"137-146","source":"Crossref","is-referenced-by-count":12,"title":["NUVA: Architectural support for runtime verification of parametric specifications over multicores"],"prefix":"10.1109","author":[{"given":"Ahmed","family":"Nassar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fadi J.","family":"Kurdahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wael","family":"Elsharkasy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.69"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_24"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2009.4919639"},{"article-title":"Temporal Logic and State Systems","year":"2008","author":"kr\u00f6ger","key":"ref32"},{"article-title":"Decision Procedures: An Algorithmic Point of View","year":"2008","author":"kroening","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993547"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"ref36","article-title":"Automatic processor customization for zero-overhead online software verification","author":"lu","year":"2008","journal-title":"IEEE Trans VLSI Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1061267.1061269"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.3233\/JCS-980109","article-title":"Intrusion detection using sequences of system calls","author":"hofmeyr","year":"1998","journal-title":"J Comput Secur"},{"key":"ref29","article-title":"A 65nm 0.165 fJ\/Bit\/Search 256×144 TCAM Macro Design for IPv6 Lookup Tables","author":"huang","year":"2011","journal-title":"IEEE JSSC"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"ref1","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"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref22","article-title":"Stackghost: Hardware facilitated stack protection","author":"frantzen","year":"2001","journal-title":"SSYM"},{"key":"ref21","article-title":"You should better enforce than verify","author":"falcone","year":"2010","journal-title":"RV"},{"key":"ref24","article-title":"Runtime enforcement of web service message contracts with data","author":"hall\u00e9","year":"2011","journal-title":"IEEE Trans Serv Comput"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"ref25","article-title":"Monitoring with data automata","author":"havelund","year":"2014","journal-title":"ISOLA"},{"key":"ref50","article-title":"Phoenix: Detecting and recovering from permanent processor design bugs with programmable hardware","author":"sarangi","year":"2006","journal-title":"MICRO 39"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229283"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/586110.586145"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.007"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn078"},{"key":"ref54","article-title":"Safetynet: Improving the availability of shared memory multiprocessors with global checkpoint\/recovery","author":"sorin","year":"2002","journal-title":"ISCA"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.2200\/S00346ED1V01Y201104CAC016"},{"key":"ref52","article-title":"Cacti 5.1","author":"shyamkumar thoziyoor","year":"2008","journal-title":"Technical Report HPL-2008-20 HP Labs"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"article-title":"Benchmarking Modern Multiprocessors","year":"2011","author":"bienia","key":"ref11"},{"key":"ref40","article-title":"Runtime verification: A computer architecture perspective","author":"malik","year":"2011","journal-title":"RV"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref13","article-title":"A staged static program analysis to improve the performance of runtime monitoring","author":"bodden","year":"2007","journal-title":"ECOOP"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_26"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_23"},{"key":"ref18","article-title":"Efficient monitoring of ?-languages","author":"d'amorim","year":"2005","journal-title":"CAV"},{"key":"ref19","article-title":"0.77 fJlbit\/search Content Addressable Memory Using Small Match Line Swing and Automated Background Checking Scheme for Variation Tolerance","author":"do","year":"2014","journal-title":"IEEE JSSC"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.266"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.60"},{"key":"ref5","article-title":"Intrusion detection systems: A survey and taxonomy","author":"axelsson","year":"2000","journal-title":"Technical Report"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_9"},{"article-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630072"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_4"},{"key":"ref46","article-title":"Revive: Cost-effective architectural support for rollback recovery in shared-memory multiprocessors","author":"prvulovic","year":"2002","journal-title":"ISCA"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859632"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039408"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70243"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.18"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598132"},{"key":"ref43","article-title":"Copilot: A hard realtime runtime monitor","author":"pike","year":"2010","journal-title":"RV"}],"event":{"name":"2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313573\/7324531\/07324554.pdf?arnumber=7324554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T11:32:55Z","timestamp":1748691175000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7324554\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/cases.2015.7324554","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}