{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:20:37Z","timestamp":1737091237875,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411864"},{"type":"electronic","value":"9783540408918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40891-6_3","type":"book-chapter","created":{"date-parts":[[2007,5,27]],"date-time":"2007-05-27T00:01:38Z","timestamp":1180224098000},"page":"27-36","source":"Crossref","is-referenced-by-count":6,"title":["Speeding-Up Fault Injection Campaigns in VHDL Models"],"prefix":"10.1007","author":[{"given":"B.","family":"Parrotta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Rebaudengo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Sonza","family":"Reorda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Violante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Nikoladis, Time Redundancy Based Soft-Error Tolerance to Rescue Nanometer Technologies, IEEE 17th VLSI Test Symposium, April 1999, pp. 86\u201394","DOI":"10.1109\/VTEST.1999.766651"},{"key":"3_CR2","unstructured":"R. K. Iyer and D. Tang, Experimental Analysis of Computer System Dependability, Chapter 5 of Fault-Tolerant Computer System Design, D. K. Pradhan (ed.), Prentice Hall, 1996"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, J. Karlsson, Fault injection into VHDL Models: the MEFISTO Tool, Proc. FTCS-24, Austin (USA), 1994, pp. 66\u201375","DOI":"10.1109\/FTCS.1994.315656"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"T. A. Delong, B. W. Johnson, J. A. Profeta III, A Fault Injection Technique for VHDL Behavioral-Level Models, IEEE Design & Test of Computers, Winter 1996, pp. 24\u201333","DOI":"10.1109\/54.544533"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1109\/12.364536","volume":"44","author":"G. A. Kanawati","year":"1995","unstructured":"G. A. Kanawati, N. A. Kanawati, J. A. Abraham, FERRARI: A Flexible Software-Based Fault and Error Injection System, IEEE Trans. on Computers, Vol 44, N. 2, February 1995, pp. 248\u2013260","journal-title":"IEEE Trans. on Computers"},{"key":"3_CR6","unstructured":"J. Carreira, H. Madeira, J. Silva, Xception: Software Fault Injection and Monitoring in Processor Functional Units, DCCA-5, Conference on Dependable Computing for Critical Applications, Urbana-Champaign, USA, September 1995, pp. 135\u2013149"},{"key":"3_CR7","unstructured":"S. Han, K. G. Shin, H. A. Rosenberg, Doctor: An Integrated Software Fault-Injection Environment for Distributed Real-Time Systems, Proc. IEEE Int. Computer Performance and Dependability Symposium, 1995, pp. 204\u2013213"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/296333.296351","volume":"3","author":"A. Benso","year":"1998","unstructured":"A. Benso, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards, ACM Transactions on Design Automation of Electronic Systems, Vol. 3, Number 4, October 1998, pp. 626\u2013634","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.C. Fabre, J.-C. Laprie, E. Martins, D. Powell, Fault Injection for Dependability Validation: A Methodology and some Applications, IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990","DOI":"10.1109\/32.44380"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/40.259894","volume":"14","author":"J. Karlsson","year":"1994","unstructured":"J. Karlsson, P. Liden, P. Dahlgren, R. Johansson, U. Gunneflo, Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms, IEEE Micro, Vol. 14, No. 1, pp. 8\u201332, 1994","journal-title":"IEEE Micro"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"A. Benso, M. Rebaudengo, L. Impagliazzo, P. Marmo, Fault-List Collapsing for Fault Injection Experiments, RAMS\u201998: Annual Reliability and Maintainability Symposium, January 1998, pp. 383\u2013388","DOI":"10.1109\/RAMS.1998.653808"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40891-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:24:31Z","timestamp":1737051871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}