Franco Fummi

	2012
164		Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco: On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI 2012: 71-74
163		Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni: Refinement of UML/MARTE models for the design of networked embedded systems. DATE 2012: 1072-1077
162		Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE 2012: 212-217
161		Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco: MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE 2012: 296-299
160		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE 2012: 562-565
	2011
159		Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia: Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD 2011: 793-796
158		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. European Test Symposium 2011: 117-122
157		Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita: Optimization of Assertion Placement in Time-Constrained Embedded Systems. European Test Symposium 2011: 171-176
156		Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco: Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7
155		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco: UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40
154		Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80
153		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT 2011: 81
152		Franco Fummi, Davide Quaglia, Francesco Stefanni: Communication-aware design flow for dependable networked embedded systems. ISCAS 2011: 2861-2864
151		Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia: EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE 2011: 201-209
150		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Reusing of Properties after Discretization of Hybrid Automata. MTV 2011: 10-15
149		Franco Fummi, Davide Quaglia, Francesco Stefanni: Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC 2011: 168-171
148		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011)
147		Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electronic Testing 27(2): 137-162 (2011)
	2010
146		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Abstraction of RTL IPs into embedded software. DAC 2010: 24-29
145		Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie: RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE 2010: 1053-1058
144		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Vacuity analysis for property qualification by mutation of checkers. DATE 2010: 478-483
143		Franco Fummi, Giovanni Perbellini, Davide Quaglia, R. Trenti: Exploration of Network Alternatives for Middleware-centric Embedded System Design. DSD 2010: 291-297
142		Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato: Modeling of Communication Infrastructure for Design-Space Exploration. FDL 2010: 92-97
141		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT 2010: 105-112
140		Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli: HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41
139		Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65
138		Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli: DDPSL: An easy way of defining properties. ICCD 2010: 468-473
137		Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi: Network-adaptive management of computation energy in wireless sensor networks. SAC 2010: 756-763
136		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC 2010: 61-66
135		Nicola Bombieri, Franco Fummi, Davide Quaglia: System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embedded Comput. Syst. 9(4): (2010)
134		Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli: HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Emb. Sys. 2010: (2010)
	2009
133		Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco: Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS 2009: 173-182
132		Franco Fummi, Giovanni Perbellini, Niccolo Roncolato: Networked embedded system applications design driven by an abstract middleware environment. DATE 2009: 1024-1029
131		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco: Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505
130		Franco Fummi, Giovanni Perbellini, Davide Quaglia, Andrea Acquaviva: Flexible energy-aware simulation of heterogenous wireless sensor networks. DATE 2009: 1638-1643
129		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: Functional qualification of TLM verification. DATE 2009: 190-195
128		Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49
127		Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: On the Functional Qualification of a Platform Model. DFT 2009: 182-190
126		Franco Fummi, Davide Quaglia, Francesco Stefanni: Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD 2009: 225-228
125		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: The role of mutation analysis for property qualification. MEMOCODE 2009: 28-35
124		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV 2009: 32-37
123		Franco Fummi, Davide Quaglia, Sara Vinco, Giovanni Perbellini, Saul Saggin: Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform. MTV 2009: 63-68
122		Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli: A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
	2008
121		Andrea Acquaviva, Franco Fummi, Giovanni Perbellini, Davide Quaglia: An energy-aware co-simulation framework for the design of wireless sensor networks. ACM Great Lakes Symposium on VLSI 2008: 375-378
120		Nicola Bombieri, Nicola Deganello, Franco Fummi: Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE 2008: 15-20
119		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401
118		Franco Fummi, Davide Quaglia, Francesco Stefanni: Network Fault Model for Dependability Assessment of Networked Embedded Systems. DFT 2008: 54-62
117		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: RTL-TLM equivalence checking based on simulation. EWDTS 2008: 214-217
116		Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli: An optimized CLP-based technique for generating propagation sequences. EWDTS 2008: 25-29
115		Franco Fummi, Davide Quaglia, Francesco Stefanni: A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. FDL 2008: 49-54
114		Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Vacuity Analysis by Fault Simulation. MEMOCODE 2008: 27-36
113		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3): (2008)
	2007
112		E. Alessio, Franco Fummi, Davide Quaglia, Maura Turolla: Modeling and simulation alternatives for the design of networked embedded systems. DATE 2007: 1030-1035
111		Franco Fummi, Giovanni Perbellini, R. Pietrangeli, Davide Quaglia: Interactive presentation: A middleware-centric design flow for networked embedded systems. DATE 2007: 1048-1053
110		Paolo Destro, Franco Fummi, Graziano Pravadelli: A smooth refinement flow for co-designing HW and SW threads. DATE 2007: 105-110
109		Paolo Azzoni, Massimo Bertoletti, Nicola Dragone, Franco Fummi, Carlo Guardiani, W. Vendraminetto: Yield-aware placement optimization. DATE 2007: 1232-1237
108		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887
107		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva: Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122
106		Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris: A CLP-Based Functional ATPG for Extended FSMs. MTV 2007: 98-105
105		Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems CoRR abs/0710.4846: (2007)
104		Franco Fummi, Mirko Loghi, Giovanni Perbellini, Massimo Poncino: SystemC co-simulation for core-based embedded systems. Design Autom. for Emb. Sys. 11(2-3): 141-166 (2007)
103		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli: Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Design & Test of Computers 24(2): 140-152 (2007)
102		Andrea Fedeli, Franco Fummi, Graziano Pravadelli: Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers 56(4): 528-544 (2007)
101		Giuseppe 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)
100		Franco Fummi, Graziano Pravadelli: Too Few or Too Many Properties? Measure it by ATPG! J. Electronic Testing 23(5): 373-388 (2007)
99		Franco Fummi, Giovanni Perbellini: eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions. JCM 2(7): 49-58 (2007)
	2006
98		Franco Fummi, Giovanni Perbellini, Mirko Loghi, Massimo Poncino: ISS-centric modular HW/SW co-simulation. ACM Great Lakes Symposium on VLSI 2006: 31-36
97		Nicola Bombieri, Franco Fummi, Davide Quaglia: TLM/network design space exploration for networked embedded systems. CODES+ISSS 2006: 58-63
96		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012
95		Franco Fummi, Davide Quaglia, Fabio Ricciato, Maura Turolla: Modeling and simulation of mobile gateways interacting with wireless sensor networks. DATE Designers' Forum 2006: 106-111
94		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184
93		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62
92		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112
91		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Hardware Design and Simulation for Verification. SFM 2006: 1-29
90		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179
89		Ian G. Harris, Franco Fummi: Guest Editor's Introduction. International Journal of Parallel Programming 34(1): 1-2 (2006)
	2005
88		Franco Fummi, Cristina Marconcini, Graziano Pravadelli: An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI 2005: 197-200
87		Franco Fummi, Mirko Loghi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino: Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation. DATE 2005: 798-803
86		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326
85		Stefano Brait, Franco Fummi, Graziano Pravadelli: On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE 2005: 221-230
84		Nicola Bombieri, Andrea Fedeli, Franco Fummi: Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE 2005: 239-240
83		Nicola Bombieri, Andrea Fedeli, Franco Fummi: On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV 2005: 127-132
82		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75
81		Franco Fummi, Stefano Martini, Giovanni Perbellini, Fabio Ricciato, Maura Turolla: Embedded SW Design Issues for Distributed Applications on Mobile Terminals. MobiQuitous 2005: 507-509
80		Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Logic-level mapping of high-level faults. Integration 38(3): 467-490 (2005)
79		Franco Fummi, Ian G. Harris: Editorial. International Journal of Parallel Programming 33(6): 583-584 (2005)
	2004
78		Franco Fummi, Graziano Pravadelli: Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI 2004: 100-103
77		Luca Formaggio, Franco Fummi, Graziano Pravadelli: A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS 2004: 152-157
76		Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino, Fabio Ricciato, Maura Turolla: Heterogeneous Co-Simulation of Networked Embedded Systems. DATE 2004: 168-173
75		Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
74		Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino: Modeling and Analysis of Heterogeneous Industrial Networks Architectures. DATE 2004: 342-344
73		Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino: Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. DATE 2004: 564-569
72		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394
71		Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino: Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures. ICCD 2004: 496-501
70		Michele 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
	2003
69		Alessandro Fin, Franco Fummi, Graziano Pravadelli: Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI 2003: 303-306
68		Franco Fummi, Giovanni Perbellini, Paolo Gallo, Massimo Poncino, Stefano Martini, Fabio Ricciato: A timing-accurate modeling and simulation environment for networked embedded systems. DAC 2003: 42-47
67		Nicola Drago, Franco Fummi, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino: Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. DATE 2003: 20188-20195
66		Alessandro Fin, Franco Fummi: LAERTE++: an Object Oriented High-level TPG for SystemC Designs. FDL 2003: 658-668
65		Franco Fummi: The Confluence of Manufacturing Test and Design Validation. ITC 2003: 1291
64		Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto: On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003: 145-152
63		Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli: A SystemC-based Framework for Properties Incompleteness Evaluation. MTV 2003: 89-94
62		Alessandro Fin, Franco Fummi: A Remote Methodology for Embedded Systems Design and Validation. Design Autom. for Emb. Sys. 8(2-3): 229-247 (2003)
61		Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino: SystemC Cosimulation and Emulation of Multiprocessor SoC Designs. IEEE Computer 36(4): 53-59 (2003)
60		Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto: Identification of design errors through functional testing. IEEE Transactions on Reliability 52(4): 400-412 (2003)
	2002
59		Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto: An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI 2002: 53-58
58		Alessandro Fin, Franco Fummi: Protected IP-core test generation. ACM Great Lakes Symposium on VLSI 2002: 59-64
57		A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza: Emulation-Based Design Errors Identification. DFT 2002: 365-371
56		Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick: Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. GECCO 2002: 1275
55		Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino: Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. ICCD 2002: 494-499
54		Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick: A Genetic Testing Framework for Digital Integrated Circuits. ICTAI 2002: 521-526
53		S. Cailotto, Alessandro Fin, Franco Fummi: A fault tolerant incremental design methodology. ISCAS (3) 2002: 161-164
52		Maurizio Martignano, Nicola Drago, Franco Fummi, Stefano Martini: A combined approach to validate the design of embedded network devices. ISCAS (3) 2002: 169-172
51		Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto: Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. IEEE Trans. Computers 51(2): 200-215 (2002)
50		Giuseppe Biasoli, Fabrizio Ferrandi, Alessandro Fin, Franco Fummi, Donatella Sciuto: Behavioral test generation for the selection of BIST logic. Journal of Systems Architecture 47(10): 821-829 (2002)
	2001
49		Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto: SystemC: a homogenous environment to test embedded systems. CODES 2001: 17-22
48		Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi: Functional test generation for behaviorally sequential models. DATE 2001: 403-410
47		Alessandro Fin, Franco Fummi, Giovanni Perbellini: Soft-cores generation by instruction set analysis. ISSS 2001: 227-232
46		Alessandro Fin, Franco Fummi, Graziano Pravadelli: AMLETO: a multi-language environment for functional test generation. ITC 2001: 821-829
45		Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick: Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electronic Testing 17(3-4): 321-330 (2001)
	2000
44		Alessandro Fin, Franco Fummi: A Web-CAD methodology for IP-core analysis and simulation. DAC 2000: 597-600
43		Alessandro Fin, Franco Fummi: A VHDL Error Simulator for Functional Test Generation. DATE 2000: 390-395
42		Giuseppe Biasoli, Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi: BIST Architectures Selection Based on Behavioral Testing. DFT 2000: 292-298
41		Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi: An Application of Genetic Algorithms and BDDs to Functional Testing. ICCD 2000: 48-
40		Fabrizio Ferrandi, G. Fornara, Donatella Sciuto, G. Ferrara, Franco Fummi: Testability Alternatives Exploration through Functional Testing. VTS 2000: 423-430
39		Franco Fummi, Donatella Sciuto: A Hierarchical Test Generation Approach for Large Controllers. IEEE Trans. Computers 49(4): 289-302 (2000)
38		Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Symbolic optimization of interacting controllers based onredundancy identification and removal. IEEE Trans. on CAD of Integrated Circuits and Systems 19(7): 760-772 (2000)
37		Giacomo Buonanno, Franco Fummi, Donatella Sciuto: An extended-UIO-based method for protocol conformance testing. Journal of Systems Architecture 46(3): 225-242 (2000)
	1999
36		Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto: Symbolic Functional Vector Generation for VHDL Specifications. DATE 1999: 442-
35		Marco Brazzarola, Franco Fummi: Power Characterization of LFSRs. DFT 1999: 139-147
34		Marco Brera, Fabrizio Ferrandi, Donatella Sciuto, Franco Fummi: Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information. DFT 1999: 174-180
33		Franco Fummi, Donatella Sciuto, Micaela Serra: Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal. IEEE Trans. Computers 48(12): 1305-1323 (1999)
	1998
32		Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino: Power Estimation of Behavioral Descriptions. DATE 1998: 762-766
31		Franco Fummi, A. Marshall, Laura Pozzi, Mariagiovanna Sami: Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). FPGA 1998: 258
30		F. S. Bietti, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto: VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection. Great Lakes Symposium on VLSI 1998: 237-242
29		Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto: Implicit test generation for behavioral VHDL models. ITC 1998: 587-596
28		Franco Fummi, Donatella Sciuto, Cristina Silvano: Automatic generation of error control codes for computer applications. IEEE Trans. VLSI Syst. 6(3): 502-506 (1998)
27		Cesare Alippi, Franco Fummi, Vincenzo Piuri, Mariagiovanna Sami, Donatella Sciuto: Testability analysis and behavioral testing of the Hopfield neural paradigm. IEEE Trans. VLSI Syst. 6(3): 507-511 (1998)
	1997
26		Fabrizio Ferrandi, Franco Fummi, Laura Pozzi, Mariagiovanna Sami: Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays. DFT 1997: 85-93
25		Franco Fummi, Mariagiovanna Sami, F. Tartarini: Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. Great Lakes Symposium on VLSI 1997: 118-123
24		Giacomo Buonanno, Fabrizio Ferrandi, L. Ferrandi, Franco Fummi, Donatella Sciuto: How an "Evolving" Fault Model Improves the Behavioral Test Generation. Great Lakes Symposium on VLSI 1997: 124-
23		M. Bacis, Giacomo Buonanno, Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto: Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. ICCD 1997: 654-658
22		Franco Fummi, Donatella Sciuto: Implicit test pattern generation constrained to cellular automata embedding. VTS 1997: 54-59
21		Franco Fummi, U. Rovati, Donatella Sciuto: Functional design for testability of control-dominated architectures. ACM Trans. Design Autom. Electr. Syst. 2(2): 98-122 (1997)
20		Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto, Enrico Macii, Massimo Poncino: Testing Core-Based Systems: A Symbolic Methodology. IEEE Design & Test of Computers 14(4): 69-77 (1997)
19		Franco Fummi, Donatella Sciuto: A complete testing strategy based on interacting and hierarchical FSMs. Integration 23(1): 75-93 (1997)
	1996
18		Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. DAC 1996: 467-470
17		Roberto Bevacqua, Luca Guerrazzi, Franco Fummi: SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation. EUROMICRO 1996: 351-
16		Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. Great Lakes Symposium on VLSI 1996: 208-213
15		Roberto Bevacqua, Luca Guerrazzi, Fabrizio Ferrandi, Franco Fummi: Implicit Test Sequences Compaction for Decreasing Test Application Cos. ICCD 1996: 384-382
14		G. Buonannoa, Franco Fummi, Donatella Sciuto, Fabrizio Lombardi: FsmTest: Functional test generation for sequential circuits. Integration 20(3): 303-325 (1996)
	1995
13		Franco Fummi, U. Rovati, Donatella Sciuto: Testable synthesis of high complex control devices. EURO-DAC 1995: 117-122
12		Franco Fummi, Donatella Sciuto, M. Serro: Synthesis for testability of large complexity controllers. ICCD 1995: 180-
11		Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice: A BDD Based Algorithm for Detecting Difficult Faults. ISCAS 1995: 2015-2018
10		Giacomo Buonanno, Franco Fummi, Donatella Sciuto: TIES: A testability increase expert system for VLSI design. J. Electronic Testing 6(2): 203-217 (1995)
	1994
9		Franco Fummi, Donatella Sciuto, Micaela Serra: Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method. DFT 1994: 254-262
8		Franco Fummi, Donatella Sciuto, Micaela Serra: A Functional Approach to Delay Faults Test Generation for Sequential Circuits. EDAC-ETC-EUROASIC 1994: 51-57
7		Alessandro Balboni, Claudio Costi, Franco Fummi, Donatella Sciuto: From Behavioral Description to Systolic Array Based Architectures. EDAC-ETC-EUROASIC 1994: 657
6		Cristiana Bolchini, Franco Fummi, Donatella Sciuto: Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. ISCAS 1994: 81-84
	1993
5		Giacomo Buonanno, Franco Fummi, Donatella Sciuto: Fault Detection in Sequential Circuits through Functional Testing. DFT 1993: 191-198
4		Giacomo Buonanno, Franco Fummi, Donatella Sciuto: Functional Fault Models and Gate Level Coverage for Sequential Architectures. ICCD 1993: 572-575
3		Giacomo Buonanno, Franco Fummi, Donatella Sciuto: Functional Testing and Constrained Synthesis of Sequential Architectures. ISCAS 1993: 1523-1526
2		Cristiana Bolchini, Franco Fummi: FSM fault models impact on test performances. Microprocessing and Microprogramming 38(1-5): 229-236 (1993)
1		Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza: A design methodology for the correct specification of VLSI systems. Microprocessing and Microprogramming 38(1-5): 563-570 (1993)

Coauthor Index

1	Andrea Acquaviva	[121] [130] [133] [137] [164]
2	E. Alessio	[112]
3	Cesare Alippi	[27]
4	Paolo Azzoni	[59] [109]
5	M. Bacis	[23]
6	Alessandro Balboni	[7]
7	Markus Becker	[145] [161]
8	Luca Benini	[55] [61]
9	Massimo Bertoletti	[109]
10	Davide Bertozzi	[55] [61]
11	Roberto Bevacqua	[15] [17]
12	Giuseppe Biasoli	[42] [50]
13	F. S. Bietti	[30]
14	Cristiana Bolchini	[1] [2] [6] [11]
15	Massimo Bombana	[1]
16	Nicola Bombieri	[72] [83] [84] [86] [91] [92] [96] [97] [103] [107] [108] [113] [117] [119] [120] [124] [129] [131] [133] [134] [135] [136] [140] [141] [146] [148] [156] [158] [159] [160] [164]
17	Michele Borgatti	[70] [75] [105]
18	Marco Boschini	[45]
19	Stefano Brait	[85]
20	Marco Brazzarola	[35]
21	Marco Brera	[34]
22	Davide Bresolin	[128]
23	Davide Bruni	[55] [61]
24	Giacomo Buonanno	[3] [4] [5] [10] [23] [24] [37]
25	G. Buonannoa	[14]
26	S. Cailotto	[53]
27	Andrea Capello	[75] [105]
28	Salvatore Carta	[137]
29	A. Castelnuovo	[57]
30	Patrizia Cavalloro	[1]
31	Claudio Costi	[1] [7]
32	Gilles B. Defo	[161]
33	Nicola Deganello	[120]
34	Paolo Destro	[110]
35	Nicola Drago	[52] [55] [61] [67]
36	Nicola Dragone	[109]
37	Emad Samuel Malki Ebeid	[163]
38	Andrea Fedeli	[59] [64] [70] [83] [84] [102] [103]
39	Gianni Fenu	[137]
40	Fabrizio Ferrandi	[15] [16] [18] [20] [23] [24] [26] [29] [30] [32] [34] [36] [38] [40] [41] [42] [48] [50] [51] [60]
41	L. Ferrandi	[24]
42	G. Ferrara	[40] [48]
43	Michele Ferrari	[134] [140]
44	Alessandro Fin	[41] [42] [43] [44] [46] [47] [48] [49] [50] [53] [54] [56] [57] [58] [62] [63] [66] [69]
45	Luca Formaggio	[77]
46	G. Fornara	[40]
47	Masahiro Fujita	[151] [157]
48	Paolo Gallo	[68]
49	R. Gemelli	[11]
50	Luca Gerli	[23] [36]
51	Carlo Guardiani	[109]
52	Valerio Guarnieri	[116] [136] [141] [156] [158] [160]
53	Luca Guerrazzi	[15] [17]
54	Giuseppe Di Guglielmo	[82] [90] [93] [94] [101] [127] [128] [134] [139] [140] [145] [147] [151] [154] [157] [162]
55	Luigi Di Guglielmo	[114] [125] [138] [140] [144] [147] [150] [153] [154] [155] [162]
56	Mark Hampton	[127] [129]
57	Ian G. Harris	[79] [89] [106]
58	Viacheslav Izosimov	[157]
59	Jean-Luc Lambert	[70] [75] [105]
60	Florian Letombe	[127] [129]
61	Mirko Loghi	[87] [98] [104] [122]
62	Fabrizio Lombardi	[14]
63	Michele Lora	[157]
64	Giovanni Lovato	[142]
65	Enrico Macii	[16] [18] [20] [32] [38]
66	Cristina Marconcini	[70] [80] [82] [88] [90] [93] [94] [101] [106] [116]
67	A. Marshall	[31]
68	Maurizio Martignano	[49] [52]
69	Stefano Martini	[52] [68] [71] [73] [74] [76] [81] [87]
70	Marco Monguzzi	[67] [71] [74] [87]
71	Imed Moussa	[70] [75] [105]
72	Fabrizio Mulas	[137]
73	Wolfgang Müller	[145] [161]
74	Nicola Orlandi	[138]
75	Zebo Peng	[157]
76	Giovanni Perbellini	[47] [67] [68] [71] [73] [74] [76] [81] [87] [98] [99] [104] [111] [121] [123] [130] [132] [143]
77	R. Pietrangeli	[111]
78	Vincenzo Piuri	[27]
79	Massimo Poncino	[16] [18] [20] [32] [38] [55] [61] [63] [67] [68] [71] [73] [74] [76] [87] [98] [104] [122]
80	Laura Pozzi	[26] [31]
81	Graziano Pravadelli	[46] [59] [60] [63] [64] [69] [70] [72] [75] [77] [78] [80] [82] [85] [86] [88] [90] [91] [92] [93] [94] [96] [100] [101] [102] [103] [105] [106] [107] [108] [110] [113] [114] [116] [117] [119] [122] [124] [125] [127] [128] [129] [131] [134] [138] [139] [140] [144] [145] [146] [147] [148] [150] [151] [153] [154] [155] [157] [161] [162]
82	Davide Quaglia	[95] [97] [111] [112] [115] [118] [121] [123] [126] [130] [135] [137] [142] [143] [149] [152] [159] [163]
83	Fabio Ricciato	[68] [76] [81] [95]
84	Niccolo Roncolato	[132]
85	Umberto Rossi	[59] [64] [70] [75] [105]
86	U. Rovati	[13] [21]
87	Marco Roveri	[139]
88	Elizabeth M. Rudnick	[45] [54] [56]
89	Saul Saggin	[123]
90	Fabio Salice	[11]
91	Mariagiovanna Sami	[25] [26] [27] [31]
92	Donatella Sciuto	[3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [16] [18] [19] [20] [21] [22] [23] [24] [27] [28] [29] [30] [33] [34] [36] [37] [38] [39] [40] [41] [42] [48] [50] [51] [60]
93	Micaela Serra	[8] [9] [33]
94	M. Serro	[12]
95	F. Sforza	[57]
96	Mirko Signoretto	[49]
97	João P. Marques Silva (João Marques-Silva)	[107]
98	Cristina Silvano	[28]
99	Stefano Soffia	[139] [151]
100	Francesco Stefanni	[115] [118] [126] [134] [140] [142] [149] [152] [155] [156] [163]
101	F. Tartarini	[25]
102	Franco Toto	[59] [64]
103	R. Trenti	[143]
104	Maura Turolla (Maura Santina Turolla)	[76] [81] [95] [112]
105	W. Vendraminetto	[109]
106	Alessandro Venturelli	[134] [140]
107	Tiziano Villa	[128]
108	Sara Vinco	[123] [131] [133] [155] [156] [159] [161] [164]
109	Tao Xie	[145]
110	Xiaoming Yu	[45] [54] [56]
111	Giuseppe Zaza	[1]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page