Matteo Sonza Reorda Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante, Cristina Meinhardt, Ricardo Reis: A low-cost SEE mitigation solution for soft-processors embedded in Systems on Pogrammable Chips. DATE 2009: 352-357
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLL. Ciganda, Francesco Abate, Paolo Bernardi, M. Bruno, Matteo Sonza Reorda: An enhanced FPGA-based low-cost tester platform exploiting effective test data compression for SoCs. DDECS 2009: 258-263
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bosio, Patrick Girard, Serge Pravossoudovitch, Paolo Bernardi, Matteo Sonza Reorda: An efficient fault simulation technique for transition faults in non-scan sequential circuits. DDECS 2009: 50-55
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Apostolakis, Dimitris Gizopoulos, Mihalis Psarakis, Danilo Ravotto, Matteo Sonza Reorda: Test Program Generation for Communication Peripherals in Processor-Based SoC Devices. IEEE Design & Test of Computers 26(2): 52-63 (2009)
2008
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Matteo Sonza Reorda: An novel Methodology for Reducing SoC Test Data Volume on FPGA-based Testers. DATE 2008: 194-199
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilson J. Perez, Jaime Velasco-Medina, Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda: Software-Based Self-Test Strategy for Data Cache Memories Embedded in SoCs. DDECS 2008: 339-344
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Kyriakos Christou, Michelangelo Grosso, Maria K. Michael, Ernesto Sánchez, Matteo Sonza Reorda: Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors. EvoWorkshops 2008: 224-234
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKyriakos Christou, Maria K. Michael, Paolo Bernardi, Michelangelo Grosso, Ernesto Sánchez, Matteo Sonza Reorda: A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions. VTS 2008: 389-394
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Ernesto Sánchez, Massimiliano Schillaci, Giovanni Squillero, Matteo Sonza Reorda: An Effective Technique for the Automatic Generation of Diagnosis-Oriented Programs for Processor Cores. IEEE Trans. on CAD of Integrated Circuits and Systems 27(3): 570-574 (2008)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Luis Rhod, Carlos Arthur Lang Lisbôa, Luigi Carro, Matteo Sonza Reorda, Massimo Violante: Hardware and Software Transparency in the Protection of Programs Against SEUs and SETs. J. Electronic Testing 24(1-3): 45-56 (2008)
2007
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Michelangelo Grosso, Matteo Sonza Reorda: Hardware-accelerated path-delay fault grading of functional test programs for processor-based systems. ACM Great Lakes Symposium on VLSI 2007: 411-416
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Massimiliano Schillaci, Giovanni Squillero, Matteo Sonza Reorda: Interactive presentation: An enhanced technique for the automatic generation of effective diagnosis-oriented test programs for processor. DATE 2007: 1158-1163
192no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Matteo Sonza Reorda: Extended Fault Detection Techniques for Systems-on-Chip. DDECS 2007: 55-60
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Luis Lagos-Benites, Davide Appello, Paolo Bernardi, Michelangelo Grosso, Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda: An Effective Approach for the Diagnosis of Transition-Delay Faults in SoCs, based on SBST and Scan Chains. DFT 2007: 291-300
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda: Safety Evaluation of NanoFabrics. DFT 2007: 418-426
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvatore Pontarelli, Luca Sterpone, Gian-Carlo Cardarilli, Marco Re, Matteo Sonza Reorda, Adelio Salsano, Massimo Violante: Optimization of Self Checking FIR filters by means of Fault Injection Analysis. DFT 2007: 96-104
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Michelangelo Grosso, Ernesto Sánchez, Matteo Sonza Reorda: On the Automatic Generation of Test Programs for Path-Delay Faults in Microprocessor Cores. European Test Symposium 2007: 179-184
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Matteo Sonza Reorda: A Hybrid Approach to Fault Detection and Correction in SoCs. IOLTS 2007: 107-112
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvatore Pontarelli, Luca Sterpone, Gian-Carlo Cardarilli, Marco Re, Matteo Sonza Reorda, Adelio Salsano, Massimo Violante: Self Checking Circuit Optimization by means of Fault Injection Analysis: A Case Study on Reed Solomon Decoders. IOLTS 2007: 194-196
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeticia Maria Veiras Bolzani, Ernesto Sánchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero: An Automated Methodology for Cogeneration of Test Blocks for Peripheral Cores. IOLTS 2007: 265-270
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanilo Ravotto, E. Sanchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero: On Automatic Test Block Generation for Peripheral Testing in SoCs via Dynamic FSMs Extraction. MTV 2007: 71-76
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Di Palma, Danilo Ravotto, E. Sanchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero: Automotive Microcontroller End-of-Line Test via Software-Based Methodologies. MTV 2007: 77-82
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeticia Maria Veiras Bolzani, Paolo Bernardi, Matteo Sonza Reorda: An optimized hybrid approach to provide fault detection and correction in SoCs. SBCCI 2007: 342-347
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeticia Maria Veiras Bolzani, Edgar E. Sánchez, Matteo Sonza Reorda: A software-based methodology for the generation of peripheral test sets based on high-level descriptions. SBCCI 2007: 348-353
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernanda Lima Kastensmidt, Luca Sterpone, Luigi Carro, Matteo Sonza Reorda: On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs CoRR abs/0710.4688: (2007)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Guido Masera, Federico Quaglio, Matteo Sonza Reorda: Testing Logic Cores using a BIST P1500 Compliant Approach: A Case of Study CoRR abs/0710.4840: (2007)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Sterpone, Matteo Sonza Reorda, Massimo Violante, Fernanda Lima Kastensmidt, Luigi Carro: Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs. J. Electronic Testing 23(1): 47-54 (2007)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda: A System-layer Infrastructure for SoC Diagnosis. J. Electronic Testing 23(5): 389-404 (2007)
2006
176no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Ondrej Novák, Bernd Straube, Hana Kubatova, Zdenek Kotásek, Pavel Kubalík, Raimund Ubar, Jiri Bucek: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006 IEEE Computer Society 2006
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Ernesto Sánchez, Massimiliano Schillaci, Giovanni Squillero, Matteo Sonza Reorda: An effective technique for minimizing the cost of processor software-based diagnosis in SoCs. DATE 2006: 412-417
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Arthur Lang Lisbôa, Luigi Carro, Matteo Sonza Reorda, Massimo Violante: Online hardening of programs against SEUs and SETs. DFT 2006: 280-290
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Luca Sterpone, Massimo Violante, Marta Portela-García, Celia López-Ongil, Luis Entrena: Fault Injection-based Reliability Evaluation of SoPCs. European Test Symposium 2006: 75-82
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: Hardware-in-the-Loop-Based Dependability Analysis of Automotive Systems. IOLTS 2006: 229-234
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Alberto Manzone, Marcella Guagliumi Massimo Osella, Massimo Violante, Matteo Sonza Reorda: Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications. MTV 2006: 3-8
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Vincenzo Tancorre, Paolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda: On the Automation of the Test Flow of Complex SoCs. VTS 2006: 166-171
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda: A Pattern Ordering Algorithm for Reducing the Size of Fault Dictionaries. VTS 2006: 386-391
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio Pérez Acle, Matteo Sonza Reorda, Massimo Violante: Early, Accurate Dependability Analysis of CAN-Based Networked Systems. IEEE Design & Test of Computers 23(1): 38-45 (2006)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Paolo Bernardi, Michelangelo Grosso, Matteo Sonza Reorda: System-in-Package Testing: Problems and Solutions. IEEE Design & Test of Computers 23(3): 203-211 (2006)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Maurizio Rebaudengo, Matteo Sonza Reorda, Fabian Vargas, Massimo Violante: A New Hybrid Fault Detection Technique for Systems-on-a-Chip. IEEE Trans. Computers 55(2): 185-198 (2006)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Efficient Techniques for Automatic Verification-Oriented Test Set Optimization. International Journal of Parallel Programming 34(1): 93-109 (2006)
2005
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernanda Lima Kastensmidt, Luca Sterpone, Luigi Carro, Matteo Sonza Reorda: On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs. DATE 2005: 1290-1295
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: An Integrated Approach for Increasing the Soft-Error Detection Capabilities in SoCs processors. DFT 2005: 445-453
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: On the Transformation of Manufacturing Test Sets into On-Line Test Sets for Microprocessors. DFT 2005: 494-504
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Leticia Maria Veiras Bolzani, Maurizio Rebaudengo, Matteo Sonza Reorda, Fabian Vargas, Massimo Violante: On-Line Detection of Control-Flow Errors in SoCs by Means of an Infrastructure IP Core. DSN 2005: 50-58
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Automatic Completion and Refinement of Verification Sets for Microprocessor Cores. EvoWorkshops 2005: 205-214
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero, Luca Sterpone, Massimo Violante: New evolutionary techniques for test-program generation for complex microprocessor cores. GECCO 2005: 2193-2194
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Manzone, Paolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Ernesto Sánchez, Matteo Sonza Reorda: Integrating BIST Techniques for On-Line SoC Testing. IOLTS 2005: 235-240
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Luca Sterpone, Massimo Violante: Efficient Estimation of SEU Effects in SRAM-Based FPGAs. IOLTS 2005: 54-59
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Ernesto Sánchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero: Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets. MTV 2005: 37-41
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting an I-IP for both Test and Silicon Debug of Microprocessor Cores. MTV 2005: 55-62
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: Automatic generation of test sets for SBST of microprocessor IP cores. SBCCI 2005: 74-79
2004
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLO. Goloubeva, Matteo Sonza Reorda, Massimo Violante: Automatic Generation of Validation Stimuli for Application-Specific Processors. DATE 2004: 188-193
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Guido Masera, Federico Quaglio, Matteo Sonza Reorda: Testing Logic Cores using a BIST P1500 Compliant Approach: A Case of Study. DATE 2004: 228-233
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Guido Masera, Federico Quaglio, Matteo Sonza Reorda: Testing Logic Cores using a BIST P1500 Compliant Approach: A Case of Study. DATE 2004: 228-233
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Bellato, Paolo Bernardi, D. Bortolato, A. Candelori, M. Ceschia, Alessandro Paccagnella, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, P. Zambolin: Evaluating the Effects of SEUs Affecting the Configuration Memory of an SRAM-Based FPGA. DATE 2004: 584-589
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorena Anghel, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero, Raoul Velazco: Coupling Different Methodologies to Validate Obsolete Microprocessors. DFT 2004: 250-255
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting an I-IP for In-Field SOC Test. DFT 2004: 404-412
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: On-Line Analysis and Perturbation of CAN Networks. DFT 2004: 424-432
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Matteo Sonza Reorda, Luca Sterpone, Massimo Violante: On the Evaluation of SEU Sensitiveness in SRAM-Based FPGAs. IOLTS 2004: 115-120
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeticia Maria Veiras Bolzani, Maurizio Rebaudengo, Matteo Sonza Reorda, Fabian Vargas, Massimo Violante: Hybrid Soft Error Detection by Means of Infrastructure IP Cores. IOLTS 2004: 79-88
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, S. Tosato, F. Esposito: Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. ITC 2004: 1332-1339
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Maurizio Rebaudengo, Matteo Sonza Reorda: Using Infrastructure IPs to Support SW-Based Self-Test of Processor Cores. MTV 2004: 22-27
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Lindsay, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Programs Generation Driven by Internal Performance Counters. MTV 2004: 8-13
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante: A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. SBCCI 2004: 71-75
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation: A Case Study. IEEE Design & Test of Computers 21(2): 102-109 (2004)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Simulation-Based Validation. International Journal on Artificial Intelligence Tools 13(4): 897-916 (2004)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Alessandra Fudoli, Vincenzo Tancorre, Paolo Bernardi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. J. Electronic Testing 20(1): 79-87 (2004)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Code Generation for Functional Validation of Pipelined Microprocessors. J. Electronic Testing 20(3): 269-278 (2004)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: A New Approach to Software-Implemented Fault Tolerance. J. Electronic Testing 20(4): 433-437 (2004)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCecilia Metra, Matteo Sonza Reorda: Guest Editorial. J. Electronic Testing 20(5): 463 (2004)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: A New Approach to the Analysis of Single Event Transients in VLSI Circuits. J. Electronic Testing 20(5): 511-521 (2004)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: Efficient analysis of single event transients. Journal of Systems Architecture 50(5): 239-246 (2004)
2003
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: An Accurate Analysis of the Effects of Soft Errors in the Instruction and Data Caches of a Pipelined Microprocessor. DATE 2003: 10602-10607
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bernardi, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories. DATE 2003: 10720-10725
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Fully Automatic Test Program Generation for Microprocessor Cores. DATE 2003: 11006-11011
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelaziz Ammari, Régis Leveugle, Matteo Sonza Reorda, Massimo Violante: Detailed Comparison of Dependability Analyses Performed at RT and Gate Levels. DFT 2003: 336-343
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Pérez, Matteo Sonza Reorda, Massimo Violante: Dependability Analysis of CAN Networks: An Emulation-Based Approach. DFT 2003: 537-
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLO. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Soft-Error Detection Using Control Flow Assertions. DFT 2003: 581-588
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: Emulation-Based Analysis of Soft Errors in Deep Sub-micron Circuits. FPL 2003: 616-626
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: Accurate and Efficient Analysis of Single Event Transients in VLSI Circuits. IOLTS 2003: 101-105
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Violante, M. Ceschia, Matteo Sonza Reorda, Alessandro Paccagnella, Paolo Bernardi, Maurizio Rebaudengo, D. Bortolato, M. Bellato, P. Zambolin, A. Candelori: Analyzing SEU Effects in SRAM-based FPGAs. IOLTS 2003: 119-123
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLO. Goloubeva, Matteo Sonza Reorda, Massimo Violante: An RT-level Concurrent Error Detection Technique for Data Dominated Systems. IOLTS 2003: 159
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Vargas, Diogo B. Brum, Dárcio Prestes, Leticia Maria Veiras Bolzani, Eduardo Luis Rhod, Matteo Sonza Reorda: Introducing SW-Based Fault Handling Mechanisms to Cope with EMI in Embedded Electronics: Are They A Good Remedy? IOLTS 2003: 163
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Paolo Bernardi, Alessandra Fudoli, Maurizio Rebaudengo, Matteo Sonza Reorda, Vincenzo Tancorre, Massimo Violante: Exploiting Programmable BIST For The Diagnosis of Embedded Memory Cores. ITC 2003: 379-385
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation for Pipeline Processors. SAC 2003: 736-740
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Pérez, Matteo Sonza Reorda, Massimo Violante: Accurate Dependability Analysis of CAN-Based Networked Systems. SBCCI 2003: 337-342
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCecilia Metra, Matteo Sonza Reorda: Guest Editorial. J. Electronic Testing 19(5): 499 (2003)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Accurate Analysis of Single Event Upsets in a Pipelined Microprocessor. J. Electronic Testing 19(5): 577-584 (2003)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: New techniques for efficiently assessing reliability of SOCs. Microelectronics Journal 34(1): 53-61 (2003)
2002
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Test Program Induction for Microprocessor Design Verification. Asian Test Symposium 2002: 368-373
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López: New Techniques for Speeding-Up Fault-Injection Campaigns. DATE 2002: 847-853
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Massimo Violante: Fault List Compaction through Static Timing Analysis for Efficient Fault Injection Experiments. DFT 2002: 263-274
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: A New Functional Fault Model for FPGA Application-Oriented Testing. DFT 2002: 372-380
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Techniques for Minimizing Test Signals Application Time. EvoWorkshops 2002: 183-189
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Simulation-Based Analysis of SEU Effects on SRAM-based FPGAs. FPL 2002: 607-615
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Analysis of SEU Effects in a Pipelined Processor. IOLTW 2002: 112-116
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Berrojo, Isabel González, Luis Entrena, Celia López, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. IOLTW 2002: 193
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. IOLTW 2002: 206-210
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation from RT-Level Microprocessor Descriptions. ISQED 2002: 120-
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. MTDT 2002: 12-16
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: An evolutionary algorithm for reducing integrated-circuit test application time. SAC 2002: 608-612
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López: An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. VTS 2002: 229-236
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: Initializability analysis of synchronous sequential circuits. ACM Trans. Design Autom. Electr. Syst. 7(2): 249-264 (2002)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: An FPGA-Based Approach for Speeding-Up Fault Injection Campaigns on Safety-Critical Circuits. J. Electronic Testing 18(3): 261-271 (2002)
2001
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Effective Techniques for High-Level ATPG. Asian Test Symposium 2001: 225-
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: FPGA-Based Fault Injection for Microprocessor Systems. Asian Test Symposium 2001: 304-
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Appello, Fulvio Corno, M. Giovinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis. Asian Test Symposium 2001: 97-102
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: On the test of microprocessor IP cores. DATE 2001: 209-213
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPh. Cheynet, B. Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: System safety through automatic high-level code transformations: an experimental evaluation. DATE 2001: 297-301
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Exploiting FPGA-Based Techniques for Fault Injection Campaigns on VLSI Circuits . DFT 2001: 250-258
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: ARPIA: A High-Level Evolutionary Test Signal Generator. EvoWorkshops 2001: 298-306
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: FPGA-Based Fault Injection Techniques for Fast Evaluation of Fault Tolerance in VLSI Circuits. FPL 2001: 493-502
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Nicolescu, Raoul Velazco, Matteo Sonza Reorda: Effectiveness and Limitations of Various Software Techniques for "Soft Error" Detection: A Comparative Study. IOLTW 2001: 172-177
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Exploiting FPGA for Accelerating Fault Injection Experiments. IOLTW 2001: 9-13
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolving effective CA/CSTP: BIST architectures for sequential circuits. SAC 2001: 345-350
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Marco Torchiano: A Source-to-Source Compiler for Generating Dependable Software. SCAM 2001: 35-44
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Matteo Sonza Reorda, Massimo Violante: Early Evaluation Of Bus Interconnects Dependability For System-On-Chip Designs. VLSI Design 2001: 371-
2000
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Automatic test bench generation for simulation-based validation. CODES 2000: 136-140
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti: Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. DATE 2000: 385-389
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno: Evaluating System Dependability in a Co-Design Framework. DATE 2000: 586-590
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante: An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. DFT 2000: 257-265
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Automatic Validation of Protocol Interfaces Described in VHDL. EvoWorkshops 2000: 205-213
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Prediction of Power Requirements for High-Speed Circuits. EvoWorkshops 2000: 247-254
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolving Cellular Automata for Self-Testing Hardware. ICES 2000: 31-40
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: A genetic algorithm-based system for generating test programs for microprocessor IP cores. ICTAI 2000: 195-198
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata. IJCNN (6) 2000: 577-584
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Ph. Cheynet, B. Nicolescu, Raoul Velazco: Evaluating the Effectiveness of a Software Fault-Tolerance Technique on RISC- and CISC-Based Architectures. IOLTW 2000: 17-
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: New Techniques for Accelerating Fault Injection in VHDL Descriptions. IOLTW 2000: 61-66
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Luciano Lavagno, Matteo Sonza Reorda, Massimo Violante: Early Power Estimation for System-on-Chip Designs. PATMOS 2000: 108-117
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Speeding-Up Fault Injection Campaigns in VHDL Models. SAFECOMP 2000: 27-36
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: Low Power BIST via Non-Linear Hybrid Cellular Automata. VTS 2000: 29-34
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: High-Level Observability for Effective High-Level ATPG. VTS 2000: 411-416
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: RT-Level ITC'99 Benchmarks and First ATPG Results. IEEE Design & Test of Computers 17(3): 44-53 (2000)
1999
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms. DATE 1999: 754-755
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante: Soft-Error Detection through Software Fault-Tolerance Techniques. DFT 1999: 210-218
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Maurizio Rebaudengo, Massimo Violante: Optimal Vector Selection for Low Power BIST. DFT 1999: 219-226
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Test Pattern Generation Under Low Power Constraints. EvoWorkshops 1999: 162-170
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. EvoWorkshops 1999: 182-192
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: ALPS: A Peak Power Estimation Tool for Sequential Circuits. Great Lakes Symposium on VLSI 1999: 350-353
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda: High-level ATPG: a real topic or an academic amusement? ITC 1999: 1118
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda: FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. SAFECOMP 1999: 323-335
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda: Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM . VTS 1999: 452-459
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Uwe Gläser, Paolo Prinetto, Matteo Sonza Reorda, Heinrich Theodor Vierhaus, Massimo Violante: SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 191-202 (1999)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda: Fault Injection for Embedded Microprocessor-based Systems. J. UCS 5(10): 693-711 (1999)
1998
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElizabeth M. Rudnick, Roberto Vietti, Akilah Ellis, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. DATE 1998: 570-576
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Massimo Violante: Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection. DATE 1998: 670-
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda, Pierluigi Civera: An Integrated HW and SW Fault Injection Environment for Real-Time Systems. DFT 1998: 117-
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Chiusano, Fulvio Corno, Matteo Sonza Reorda, Roberto Vietti: A System for Evaluating On-Line Testability at the RT-level. DFT 1998: 284-291
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A fault injection environment for microprocessor-based boards. ITC 1998: 768-773
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: The selfish gene algorithm: a new evolutionary optimization strategy. SAC 1998: 349-355
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Nicola Gaudenzi, Paolo Prinetto, Matteo Sonza Reorda: On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits. VTS 1998: 424-429
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A Test Pattern Generation Methodology for Low-Power Consumption. VTS 1998: 453-459
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: EXFI: a low-cost fault injection system for embedded microprocessor-based boards. ACM Trans. Design Autom. Electr. Syst. 3(4): 626-634 (1998)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods in System Design 12(3): 267-289 (1998)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Barbagallo, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Integrating Online and Offline Testing of a Switching Memory. IEEE Design & Test of Computers 15(1): 63-70 (1998)
1997
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Chiusano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Guaranteeing Testability in Re-encoding for Low Power. Asian Test Symposium 1997: 30-35
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits. Asian Test Symposium 1997: 56-61
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. Asian Test Symposium 1997: 68-73
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Baldi, Fulvio Corno, Maurizio Rebaudengo, Paolo Prinetto, Matteo Sonza Reorda, Giovanni Squillero: Simulation-based verification of network protocols performance. CHARME 1997: 236-251
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Jaan Raik, Raimund Ubar: Exploiting High-Level Descriptions for Circuits Fault Tolerance Assessments. DFT 1997: 212-217
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: New static compaction techniques of test sequences for sequential circuits. ED&TC 1997: 37-43
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Hybrid symbolic-explicit techniques for the graph coloring problem. ED&TC 1997: 422-426
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Raimund Ubar: A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs. ED&TC 1997: 560-565
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni: Boolean Function Manipulation on a Parallel System Using BDDs. HPCN Europe 1997: 916-928
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. ICCD 1997: 381-386
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. ICTAI 1997: 133-
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Testability Analysis and ATPG on Behavioral RT-Level VHDL. ITC 1997: 753-759
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. SAC 1997: 228-232
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Cellular automata for deterministic sequential test pattern generation. VTS 1997: 60-67
1996
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore: On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. EDCC 1996: 190-202
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A Parallel Genetic Algorithm for Automatic Generation of Test Sequences for Digital Circuits. HPCN Europe 1996: 454-459
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGavril Godza, Maurizio Rebaudengo, Matteo Sonza Reorda: Using Parallel Genetic Algorithms for Solving the Min-Cut Problem. HPCN Europe 1996: 985-986
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda: A Cellular Genetic Algorithm for the Floorplan Area Optimization Problem on a SIMD Architecture. HPCN Europe 1996: 987-988
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. ICTAI 1996: 10-16
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. ITC 1996: 39-47
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs. ITC 1996: 558-564
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Cicuits. PPSN 1996: 792-800
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Scan insertion criteria for low design impact. VTS 1996: 26-31
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Circular Self-Test Path for FSMs. IEEE Design & Test of Computers 13(4): 50-60 (1996)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Rebaudengo, Matteo Sonza Reorda: GALLO: a genetic algorithm for floorplan area optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 943-951 (1996)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 991-1000 (1996)
1995
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. P. Delsanto, S. Biancotto, M. Scalerandi, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting massively parallel architectures for the solution of diffusion and propagation problems. HPCN Europe 1995: 1-6
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva: A PVM tool for automatic test generation on parallel and distributed systems. HPCN Europe 1995: 39-44
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Barbagallo, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Testing a Switching Memory in a Telcommunication System. ITC 1995: 947-956
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda: An improved data parallel algorithm for Boolean function manipulation using BDDs. PDP 1995: 33-41
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva: A portable ATPG tool for parallel and distributed systems. VTS 1995: 29-34
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus: Improving topological ATPG with symbolic techniques. VTS 1995: 338-343
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Camurati, Paolo Prinetto, Matteo Sonza Reorda, Stefano Barbagallo, Andrea Burri, Davide Medina: Industrial BIST of Embedded RAMs. IEEE Design & Test of Computers 12(3): 86-95 (1995)
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvano Gai, Pier Luca Montessoro, Matteo Sonza Reorda: TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits. EDAC-ETC-EUROASIC 1994: 46-50
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Prinetto, Fulvio Corno, Matteo Sonza Reorda: An experimental analysis of the effectiveness of the circular self-test path technique. EURO-DAC 1994: 246-251
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva: GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits. ICTAI 1994: 411-417
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: An Automatic Test Pattern Generator for Large Sequential Circuits Based on Genetic Algorithms. ITC 1994: 240-249
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Making the Circular Self-Test Path Technique Effective for Real Circuits. ITC 1994: 949-957
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sonza Reorda, Maurizio Rebaudengo: A Genetic Algorithm for Floorplan Area Optimization. International Conference on Evolutionary Computation 1994: 93-96
1993
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: An approach to sequential circuit diagnosis based on formal verification techniques. J. Electronic Testing 4(1): 11-17 (1993)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Balboni, Gianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda: A Parallel System for Test Pattern Generation. Parallel Computing 19(2): 177-185 (1993)
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda: A New Model for Improving symbolic Product Machine Traversal. DAC 1992: 614-619
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196
1991
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda: Fast Differential Fault Simulation by Dynamic Fault Ordering. ICCD 1991: 60-63
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Balboni, Gianpiero Cabodi, Silvano Gai, D. Sismondi, Matteo Sonza Reorda: A parallel system for test pattern generation. SPDP 1991: 708-715
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: TPDL: Extended Temporal Profile Description Language. Softw., Pract. Exper. 21(4): 355-374 (1991)
1990
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Camurati, M. Gilli, Paolo Prinetto, Matteo Sonza Reorda: The Use of Model Checking in ATPG for Sequential Circuits. CAV 1990: 86-95
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Camurati, Antonio Lioy, Paolo Prinetto, Matteo Sonza Reorda: Diagnosis oriented test pattern generation. EURO-DAC 1990: 470-474
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: Exact probabilistic testability measures for multi-output circuits. J. Electronic Testing 1(3): 229-234 (1990)

Coauthor Index

1Francesco Abate [203]
2Julio Pérez Acle [141] [168]
3Abdelaziz Ammari [129]
4Lorena Anghel [149]
5Roberto Ansaloni [41]
6Andreas Apostolakis [201]
7Davide Appello [98] [105] [107] [121] [138] [167] [170] [191]
8Gianpiero Balboni [5] [9]
9Mario Baldi [46]
10Stefano Barbagallo [17] [21] [27] [50]
11M. Bellato [124] [150]
12Alfredo Benso [42] [45] [52] [56] [58] [61] [64]
13Paolo Bernardi [121] [124] [131] [138] [143] [146] [148] [150] [151] [152] [155] [156] [158] [161] [163] [166] [167] [169] [170] [171] [175] [177] [179] [182] [187] [188] [191] [192] [194] [196] [197] [198] [200] [202] [203]
14Luis Berrojo [103] [108] [114]
15F. Bianchi [41]
16S. Biancotto [23]
17Monica Lobetti Bodoni [27]
18Leticia Maria Veiras Bolzani [122] [145] [161] [163] [166] [171] [181] [182] [185] [187] [192]
19D. Bortolato [124] [150]
20Alberto Bosio [202]
21Diogo B. Brum [122]
22M. Bruno [203]
23Jiri Bucek [176]
24Andrea Burri [17]
25Gianpiero Cabodi [4] [5] [6] [7] [8] [9] [10] [51]
26Paolo Camurati [1] [2] [3] [4] [7] [8] [10] [17] [51]
27A. Candelori [124] [150]
28Gian-Carlo Cardarilli [186] [189]
29Luigi Carro [164] [174] [178] [180] [195]
30M. Ceschia [124] [150]
31Ph. Cheynet [78] [96]
32Silvia Chiusano [36] [43] [49] [57]
33Kyriakos Christou [197] [198]
34S. Chuisano [39]
35L. Ciganda [203]
36Pierluigi Civera [58] [91] [93] [95] [99] [101] [116]
37Fulvio Corno [7] [8] [10] [12] [15] [18] [19] [21] [22] [24] [26] [27] [28] [29] [30] [31] [34] [35] [36] [37] [38] [39] [40] [41] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54] [55] [57] [59] [60] [62] [66] [67] [68] [69] [71] [72] [73] [74] [79] [80] [81] [82] [83] [86] [90] [94] [97] [98] [100] [102] [103] [104] [105] [106] [107] [108] [111] [114] [115] [120] [130] [137] [138] [139] [140] [141] [144]
38Gianluca Cumani [94] [100] [106] [115] [120] [130]
39Maurizio Damiani [35]
40P. P. Delsanto [23]
41Akilah Ellis [60]
42Luis Entrena (Luis Entrena-Arrontes) [103] [108] [114] [173]
43F. Esposito [144]
44Alessandra Fudoli [105] [107] [121] [138]
45Silvano Gai [5] [6] [8] [9] [16] [20]
46Nicola Gaudenzi [54]
47M. Gilli [3]
48M. Giovinetto [98]
49Patrick Girard [202]
50Dimitris Gizopoulos [201]
51Uwe Gläser [18] [62]
52Gavril Godza [33]
53O. Goloubeva [123] [127] [153]
54Isabel González [103] [108] [114]
55Michelangelo Grosso [155] [158] [167] [169] [170] [177] [188] [190] [191] [194] [197] [198]
56Leonardo Impagliazzo [35]
57Fernanda Gusmão de Lima Kastensmidt (Fernanda Gusmão de Lima, Fernanda Lima Kastensmidt) [164] [178] [180]
58Zdenek Kotásek [176]
59Pavel Kubalík [176]
60Hana Kubatova [176]
61Jorge Luis Lagos-Benites [191]
62Marcello Lajolo [76] [85] [87] [88]
63Luciano Lavagno [76] [85] [87]
64Régis Leveugle [129]
65W. Lindsay [142]
66Antonio Lioy [2]
67Carlos Arthur Lang Lisbôa [174] [195]
68Celia López-Ongil (Celia López) [103] [108] [114] [173]
69Luca Macchiarulo [91] [93] [95] [99] [101] [116]
70Alberto Manzone [86] [158] [171]
71Guido Masera [151] [152] [179]
72Davide Medina [17] [27] [50]
73Cristina Meinhardt [204]
74Cecilia Metra [118] [135]
75Maria K. Michael [197] [198]
76Pier Luca Montessoro [16]
77B. Nicolescu [78] [92] [96]
78Ondrej Novák [176]
79Marcella Guagliumi Massimo Osella [171]
80Alessandro Paccagnella [124] [150]
81W. Di Palma [183]
82B. Parrotta [75] [77]
83J. Pérez [119] [128]
84Wilson J. Perez [199]
85Alessandro Pincetti [86]
86Salvatore Pontarelli [186] [189]
87Marta Portela-García [173]
88Serge Pravossoudovitch [202]
89Dárcio Prestes [122]
90Paolo Prinetto [1] [2] [3] [4] [7] [8] [10] [12] [13] [14] [15] [17] [18] [19] [21] [22] [24] [26] [27] [28] [29] [30] [31] [34] [35] [36] [37] [38] [39] [40] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [56] [59] [60] [62] [102]
91Mihalis Psarakis [201]
92Federico Quaglio [151] [152] [179]
93Jaan Raik [45]
94Danilo Ravotto [183] [184] [191] [199] [201]
95Marco Re [186] [189]
96Maurizio Rebaudengo [11] [13] [14] [19] [20] [22] [23] [24] [25] [28] [29] [30] [32] [33] [34] [35] [37] [39] [40] [41] [42] [44] [45] [46] [47] [48] [49] [52] [53] [56] [58] [61] [63] [64] [66] [68] [69] [70] [74] [75] [77] [78] [82] [84] [85] [87] [89] [91] [93] [95] [96] [98] [99] [101] [102] [105] [107] [109] [110] [112] [116] [117] [121] [124] [127] [131] [132] [136] [138] [143] [145] [148] [150] [155] [158] [161] [163] [166] [169] [170] [177] [190]
97Ricardo Augusto da Luz Reis (Ricardo A. L. Reis, Ricardo Reis) [204]
98Eduardo Luis Rhod [122] [195]
99Elizabeth M. Rudnick [60]
100Adelio Salsano [186] [189]
101E. Sanchez [183] [184]
102Edgar E. Sánchez [181] [191] [199]
103Ernesto Sánchez (Edgar Ernesto Sánchez Sánchez) [137] [140] [142] [149] [154] [156] [158] [159] [160] [162] [165] [175] [185] [188] [193] [196] [197] [198]
104G. Sartore [35]
105M. Scalerandi [23]
106Massimiliano Schillaci [156] [159] [175] [183] [184] [185] [193] [196]
107D. Sismondi [5]
108Giovanni Squillero [40] [46] [48] [55] [67] [71] [72] [73] [74] [79] [80] [81] [83] [86] [90] [94] [97] [100] [102] [103] [104] [106] [108] [111] [114] [115] [120] [130] [137] [139] [140] [142] [149] [154] [156] [159] [160] [162] [165] [175] [183] [184] [185] [193] [196]
109Luca Sterpone [146] [157] [159] [164] [173] [178] [180] [186] [189]
110Bernd Straube [176]
111Vincenzo Tancorre [105] [107] [121] [138] [170]
112Marco Torchiano [70] [84] [89]
113S. Tosato [144]
114Raimund Ubar [42] [45] [176]
115Fabian Vargas [122] [145] [161] [166]
116Enzo Veiluva [14] [19] [22]
117Jaime Velasco-Medina [199]
118Raoul Velazco [78] [92] [96] [149]
119Heinrich Theodor Vierhaus [18] [62]
120Roberto Vietti [57] [60]
121Massimo Violante [47] [59] [62] [66] [68] [69] [70] [74] [75] [76] [77] [78] [80] [82] [84] [85] [87] [88] [89] [91] [93] [95] [96] [97] [99] [101] [109] [110] [112] [113] [116] [117] [119] [121] [123] [124] [125] [126] [127] [128] [129] [131] [132] [133] [134] [136] [141] [145] [146] [147] [150] [153] [154] [157] [159] [161] [163] [166] [168] [171] [172] [173] [174] [178] [186] [189] [195] [204]
122P. Zambolin [124] [150]

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)