PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Reorda, Matteo Sonza"

Author of the publication

copydeleteadd this publication to your clipboard
Cross-fertilizing FSM verification techniques and sequential diagnosis.

, , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)

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.

Matteo Schilirò University of Stuttgart

Matteo Bortoletto University of Stuttgart

Matteo Paltenghi University of Stuttgart

 

Other publications of authors with the same name

Software-Based Testing for System Peripherals., , , , , and . J. Electronic Testing, 28 (2): 189-200 (2012)Verifying Reliability (Dagstuhl Seminar 12341)., , , , and . Dagstuhl Reports, 2 (8): 57-73 (2012)On the Automatic Generation of Optimized Software-Based Self-Test Programs for VLIW Processors., , and . IEEE Trans. VLSI Syst., 22 (4): 813-823 (2014)A Flexible Framework for the Automatic Generation of SBST Programs., , , , and . IEEE Trans. VLSI Syst., 24 (10): 3055-3066 (2016)Scan-Chain Intra-Cell Aware Testing., , , , , , and . IEEE Trans. Emerging Topics Comput., 6 (2): 278-287 (2018)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)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)Reducing SEU sensitivity in LIN networks: Selective and collaborative hardening techniques., , , , , and . LATW, page 1-6. IEEE, (2014)Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture., , , , , , and . LATS, page 1-6. IEEE Computer Society, (2015)An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard., , , , , and . LATS, page 1-6. IEEE, (2017)