Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

System-level test bench generation in a co-design framework., , , , and . ETW, page 25-30. IEEE Computer Society, (2000)Exploiting an infrastructure-intellectual property for systems-on-chip test, diagnosis and silicon debug., , , and . IET Comput. Digit. Tech., 4 (2): 104-113 (2010)An experimental analysis of the effectiveness of the circular self-test path technique., , and . EURO-DAC, page 246-251. IEEE Computer Society, (1994)The Use of Model Checking in ATPG for Sequential Circuits., , , and . CAV, volume 531 of Lecture Notes in Computer Science, page 86-95. Springer, (1990)An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard., , , , , and . LATS, page 1-6. IEEE, (2017)Software-Based Self-Test for Transition Faults: a Case Study., , , and . VLSI-SoC, page 76-81. IEEE, (2019)Test-Plan Optimization for Flying-Probes In-Circuit Testers., , , and . ITC-Asia, page 19-24. IEEE, (2019)On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications., , , , , , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 190-202. Springer, (1996)FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems., , and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 323-335. Springer, (1999)Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms., , and . EvoWorkshops, volume 1596 of Lecture Notes in Computer Science, page 182-192. Springer, (1999)