{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:08:44Z","timestamp":1729670924255,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/cisim.2010.5643636","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:34:10Z","timestamp":1291134850000},"page":"353-358","source":"Crossref","is-referenced-by-count":0,"title":["Recovery in multithreaded applications using execution monitoring and recovery engine (EMRE)"],"prefix":"10.1109","author":[{"given":"Rupesh","family":"Kumar","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A tool for proving deadlock freedom, in parallel programming and java","author":"martin","year":"1997","journal-title":"WoTUG-20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1149982.1149985"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370032"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"ref14","first-page":"337","article-title":"Runtime safety analysis of multithreaded programs","author":"sen","year":"2003","journal-title":"11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference (ESEC\/SIGSOFT FSE 2003)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.1999.749454"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2008.11"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352612"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.2000.847856"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICYCS.2008.298"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_31"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","article-title":"Java-mop: A monitoring oriented programming environment for java","volume":"3440","author":"chen","year":"2005","journal-title":"11 th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81045-4"},{"key":"ref8","first-page":"220","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"European Conference on Object-Oriented Programming (ECOOP)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"ref2","article-title":"Jass - java with assertions","volume":"55","author":"bartetzko","year":"2001","journal-title":"Electr Notes Theor Comput Sci"},{"journal-title":"ISE","article-title":"Object-oriented software construction","year":"1997","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-540-39656-7_11","article-title":"How the design of jml accomodates both runtime assertion checking and formal verification","volume":"2852","author":"leavens","year":"2002","journal-title":"Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002)"}],"event":{"name":"2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM)","start":{"date-parts":[[2010,10,8]]},"location":"Krackow, Poland","end":{"date-parts":[[2010,10,10]]}},"container-title":["2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5637902\/5643452\/05643636.pdf?arnumber=5643636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:42:31Z","timestamp":1497876151000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5643636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cisim.2010.5643636","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}