{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:21:41Z","timestamp":1730269301483,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/iolts.2009.5195980","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:37:37Z","timestamp":1250005057000},"page":"35-40","source":"Crossref","is-referenced-by-count":2,"title":["Invariant checkers: An efficient low cost technique for run-time transient errors detection"],"prefix":"10.1109","author":[{"given":"Carmela Noro","family":"Grando","sequence":"first","affiliation":[]},{"given":"Carlos Arthur","family":"Lisboa","sequence":"additional","affiliation":[]},{"given":"Alvaro Freitas","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Carro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2005.1466586"},{"key":"17","first-page":"81","article-title":"a profile monitor of software applications","author":"benso","year":"2005","journal-title":"8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS05)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676066"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"16","article-title":"automated fault localization using potential invariants","author":"pytlik","year":"2003","journal-title":"5th Int Workshop on Automated and Algorithmic Debugging (AADEBUG"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250158"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1999.766651"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-007-5018-2"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.1999.802887"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.860682"},{"key":"2","first-page":"3278","volume":"51","author":"dodd","year":"2004","journal-title":"Production and propagation of Single-Event Transients in High-Speed Digital Logic ICs"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.1274005"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840845"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2007.39"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.17"},{"journal-title":"Error Detecting Codes Self-Checking Circuits and Applications","year":"1978","author":"wakerly","key":"8"}],"event":{"name":"2009 15th IEEE International On-Line Testing Symposium (IOLTS 2009)","start":{"date-parts":[[2009,6,24]]},"location":"Sesimbra-Lisbon, Portugal","end":{"date-parts":[[2009,6,26]]}},"container-title":["2009 15th IEEE International On-Line Testing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5176124\/5195974\/05195980.pdf?arnumber=5195980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:30:12Z","timestamp":1489768212000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5195980\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iolts.2009.5195980","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}