Redundant functional faults reduction by saboteurs synthesis [logic verification]. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2003)

Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2004)

Functional verification based on the EFSM model. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2004)

A Verification Methodology for Reconfigurable Systems. - Michele Borgatti; Andrea Fedeli; Umberto Rossi; Jean-Luc Lambert; Imed Moussa; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2004)

An EFSM-based approach for functional ATPG. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2005)

A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2005)

Logic-level mapping of high-level faults. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (Integr., 2005)

FATE: a Functional ATPG to Traverse Unstabilized EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2006)

EFSM Manipulation to Increase High-Level ATPG Effectiveness. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ISQED, 2006)

Improving Gate-Level ATPG by Traversing Concurrent EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (VTS, 2006)

A CLP-Based Functional ATPG for Extended FSMs. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli; Ian G. Harris (MTV, 2007)

Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (IET Comput. Digit. Tech., 2007)

An optimized CLP-based technique for generating propagation sequences. - Franco Fummi; Valerio Guarnieri; Cristina Marconcini; Graziano Pravadelli (EWDTS, 2008)

Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

On the integration of model-driven design and dynamic assertion-based verification for embedded software. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Andreas Foltinek; Masahiro Fujita; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (J. Syst. Softw., 2013)