Giuseppe Di Guglielmo

Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar: On the Reuse of TLM Mutation Analysis at RTL. J. Electronic Testing 28(4): 435-448 (2012)

Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita: Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electronic Testing 28(4): 469-486 (2012)

Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli: Dynamic property mining for embedded software. CODES+ISSS 2012: 187-196

Giuseppe Di Guglielmo, Graziano Pravadelli: A testbench specification language for SystemC verification. CODES+ISSS 2012: 333-342

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

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: On the use of assertions for embedded-software dynamic verification. DDECS 2012: 330-335

Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi: Combining dynamic slicing and mutation operators for ESL correction. European Test Symposium 2012: 1-6

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)

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

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80

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

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)

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

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

Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65

Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49

Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: On the Functional Qualification of a Platform Model. DFT 2009: 182-190

Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni: The role of parallel simulation in functional verification. HLDVT 2008: 117-124

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)

Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184

Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62

Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179

Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75