dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Graziano Pravadelli (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli: An optimized CLP-based technique for generating propagation sequences. EWDTS 2008: 25-29
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris: A CLP-Based Functional ATPG for Extended FSMs. MTV 2007: 98-105
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Computers & Digital Techniques 1(3): 187-196 (2007)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Fummi, Cristina Marconcini, Graziano Pravadelli: An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI 2005: 197-200
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Fummi, Cristina Marconcini, Graziano Pravadelli: Logic-level mapping of high-level faults. Integration 38(3): 467-490 (2005)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90

Selection of 10 from 65 records - Graziano Pravadelli has 50 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page