Giuseppe Di Guglielmo

	2012
16		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
	2011
15		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
14		Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80
13		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
12		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
11		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
10		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
9		Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65
8		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
7		Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49
6		Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: On the Functional Qualification of a Platform Model. DFT 2009: 182-190
	2007
5		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)
	2006
4		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184
3		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62
2		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179
	2005
1		Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75

Coauthor Index

1	Markus Becker	[11]
2	Nicola Bombieri	[8] [10]
3	Davide Bresolin	[7]
4	Michele Ferrari	[8] [10]
5	Masahiro Fujita	[13] [15]
6	Franco Fummi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
7	Luigi Di Guglielmo	[10] [12] [14] [16]
8	Mark Hampton	[6]
9	Viacheslav Izosimov	[15]
10	Florian Letombe	[6]
11	Michele Lora	[15]
12	Cristina Marconcini	[1] [2] [3] [4] [5]
13	Wolfgang Müller	[11]
14	Zebo Peng	[15]
15	Graziano Pravadelli	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
16	Marco Roveri	[9]
17	Stefano Soffia	[9] [13]
18	Francesco Stefanni	[8] [10]
19	Alessandro Venturelli	[8] [10]
20	Tiziano Villa	[7]
21	Tao Xie	[11]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page