{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:37:22Z","timestamp":1761323842984,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iolts.2012.6313836","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T22:14:18Z","timestamp":1349820858000},"page":"25-30","source":"Crossref","is-referenced-by-count":9,"title":["SEU-X: A SEu un-excitability prover for SRAM-FPGAs"],"prefix":"10.1109","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cassano","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Domenici","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2009.5012096"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2008.22"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.38"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2002.1173534"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341539"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ETW.2000.873782"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.884053"},{"key":"12","first-page":"187","article-title":"An overview of sal","author":"bensalem","year":"2000","journal-title":"Proceedings of the Fifth NASA Langley Formal Methods Workshop (LFM 2000)"},{"key":"21","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","article-title":"An automata-theoretic approach to linear temporal logic","volume":"1043","author":"vardi","year":"1996","journal-title":"Logics for Concurrency Structures Versus Automata"},{"journal-title":"26262-5 Road Vehicles-Functional Safety-Part 5 Product Development Hardware Level","year":"2009","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348311"},{"key":"2","article-title":"Consequences and categories of sram fpga configuration seus","author":"graham","year":"2003","journal-title":"Proceedings of the 6th Military and Aerospace Applications of Programmable Logic Devices (MAPLD'03)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.853449"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.65"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1999.810776"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MTDT.1997.619399"},{"journal-title":"NS-G-1 3 Instrumentation and Control Systems Important to Safety in Nuclear Power Plants","year":"2002","key":"5"},{"journal-title":"EN 50129 Railway Applications-Communications Signaling and Processing Systems-Safety Related Electronic Systems for Signaling","year":"2003","key":"4"},{"key":"9","article-title":"Application of a genetic algorithm for testing SEUs in SRAM-FPGA Systems","author":"bernardeschi","year":"2012","journal-title":"Proceedings of the 6th HiPEAC Workshop on Reconfigurable Computing (WRC2012)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743180"}],"event":{"name":"2012 IEEE 18th International On-Line Testing Symposium (IOLTS 2012)","start":{"date-parts":[[2012,6,27]]},"location":"Sitges, Spain","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 IEEE 18th International On-Line Testing Symposium (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6304844\/6313830\/06313836.pdf?arnumber=6313836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:11:51Z","timestamp":1498007511000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6313836\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iolts.2012.6313836","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}