Giuseppe Di Guglielmo

Publications

I have collected here my bibliography in BibTeX format. DBLP and Google Scholar provide lists of my publications. I hereby provide a complete and up-to-date list of my scientific contributions.

Tutorials and Seminars

  1. Assertion based verification: a common verification infrastructure for SoC and embedded software at Design, Automation and Test in Europe (DATE) 2013, Grenoble, France, March 18 - 22, 2013 (www.date-conference.com)
  2. Assertion-based verification for SoC and embedded software at Asia and South Pacific Design Automation Conference (ASP-DAC) 2012, Sydney, Australia, January 30 - February 2, 2012 (www.aspdac.com)
  3. Verifying reliability at Dagstuhl Seminar 12341, Dagstuhl, Germany, August 18-24, 2012 (www.dagstuhl.de)

Journal Publications

  1. COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators, Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni, ACM Transactions on Embedded Computing Systems (TECS) (to appear)
  2. System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip, Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (to appear)
  3. 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, Journal of Systems and Software, pp. 2013-2033 (journals.elsevier.com)
  4. Time-constraint-aware optimization of assertions in embedded software, Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita, Journal of Electronic Testing: Theory and Applications, vol. 28, no. 4, 2012, pp. 469-486 (springer.com)
  5. On the reuse of TLM mutation analysis at RTL, Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, and Raimund Ubar, Journal of Electronic Testing: Theory and Applications, vol. 28, no. 4, 2012, pp. 435-448 (springer.com)
  6. Efficient generation of stimuli for functional verification by backjumping across extended FSMs (Best Paper Candidate), Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, and Graziano Pravadelli, Journal of Electronic Testing: Theory and Applications, vol. 27, no. 2, 2011, pp. 137-162 (springer.com)
  7. HIFSuite: tools for HDL code conversion and manipulation, Nicola Bombieri, Michele Ferrari, Giuseppe Di Guglielmo, Graziano Pravadelli, Francesco Stefanni, and Alessandro Venturelli, EURASIP Journal on Advances in Signal Processing, vol. 2010, no. 10.1155/2010/436328, 2010, pp. 1-20.
  8. Improving high-level and gate-level testing with FATE: a functional ATPG traversing unstabilized EFSMs, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, and Graziano Pravadelli, IET Computer & Digital Techniques, vol. 1, no. 3, 2007, pp. 187-196 (digital-library.theiet.org)

Chapters in Books

  1. Test generation based on CLP, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, and Graziano Pravadelli, Micro-electronic and mechanical systems, Kenichi Takahata, InTech, 2009, pp. 431-454

Conference, Symposium, and Workshop Publications

  1. Broadening the Exploration of the Accelerator Design Space in Embedded Scalable Platforms, Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni, in Proc. of the IEEE High Performance Extreme Computing Conference (HPEC) (to appear)
  2. Handling Large Data Sets for High-Performance Embedded Applications in Heterogeneous Systems-on-Chip, Paolo Mantovani, Emilio Cota, Christian Pilato, Giuseppe Di Guglielmo, Luca P. Carloni, in Proc. of ACM/IEEE International Conference on Compilers, Architecture and Synthesis for Embedded Systems, Pittsburgh, PA, October 2-7, 2016 (to appear)
  3. An FPGA-Based Infrastructure for Fine-Grained DVFS Analysis in High-Performance Embedded Systems, Paolo Mantovani, Emilio Cota, Kevin Tien, Christian Pilato, Giuseppe Di Guglielmo, Ken Shepard, Luca Carloni, in Proc. of ACM/IEEE Design Automation Conference, Austin, TX, June 5-9, 2016, pp. 1-6 (dl.acm.org)
  4. On the Design of Scalable and Reusable Accelerators for Big Data Applications, Christian Pilato, Qirui Xu, Paolo Mantovani, Giuseppe Di Guglielmo, and Luca P. Carloni, in Proc. of ACM International Conference on Computing Frontiers, Como, Italy, May 16-18, 2016, pp. 406-411, (dl.acm.org)
  5. High-Level Synthesis of Accelerators in Embedded Scalable Platforms, Paolo Mantovani, Giuseppe Di Guglielmo, and Luca P. Carloni, in Proc. of ACM/IEEE/IEICE Asia and South Pacific Design Automation Conference, Macao, January 25-28, 2016, pp. 204-211, (ieeexplore.ieee.org).
  6. An Analysis of Accelerator Coupling in Heterogeneous Architectures, Emilio Cota, Paolo Mantovani, Giuseppe Di Guglielmo, Luca Carloni, in Proc. of ACM/EDAC/IEEE Design Automation Conference, San Francisco, US, June 7-11, 2015, pp. 1-6 (dl.acm.org).
  7. System-Level Memory Optimization for High-Level Synthesis of Component-Based SoCs, Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca Carloni, in Proc. of ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis, New Delhi, India, October 12-17, 2014, pp. 1-10 (dl.acm.org).
  8. A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs, Giuseppe Di Guglielmo, Christian Pilato, Luca Carloni, in Proc. of ACM/EDAC/IEEE Design Automation Conference, San Francisco, US, June 1-5, 2014, pp. 1-6 (dl.acm.org)
  9. Automatic generation of compact formal properties for effective error detection, Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli, in Proc. of IEEE International Conference Hardware/Software Codesign and System Synthesis, Montreal, Canada, September 29 - October 4, 2013, pp. 1-10 (ieeexplore.ieee.org).
  10. Efficient Fault Simulation through Dynamic Binary Translation for Dependability Analysis of Embedded Software, Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli, in the Proc. of IEEE European Test Symposium, Avignon, France, May 27-31, 2013 pp. 21-26 (ieeexplore.ieee.org).
  11. Accurate profiling of oracles for self-checking time-constrained embedded software, Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, in the Proc. of IEEE International High Level Design Validation and Test Workshop, Huntington Beach, CA, USA, November 9-10, 2012, pp. 96-99 (ieeexplore.ieee.org)
  12. A testbench specification language for SystemC Verification, Giuseppe Di Guglielmo, Graziano Pravadelli, in the Proc. of IEEE International Conference on Hardware/Software Codesign and System Synthesis, Tampere, Finland, October 7-12, 2012, pp. 333-342 (dl.acm.org)
  13. Dynamic property mining for embedded software, Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, in the Proc. of IEEE International Conference on Hardware/Software Codesign and System Synthesis, Tampere, Finland, October 7-12, 2012, pp. 187-196 (dl.acm.org)
  14. Combining Dynamic Slicing and Mutation Operators for System-Level Repair, Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi, in the Proc. of European Test Symposium, Annecy, France, May 28 - June 1, 2012, pp. 116-121 (ieeexplore.ieee.org)
  15. On the use of assertions for embedded-software dynamic verification, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Graziano Pravadelli, Franco Fummi, in the Proc. of IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Tallinn, Estonia, April 18-20, 2012, pp. 330-335 (ieeexplore.ieee.org)
  16. Enabling Dynamic Assertion-based Verification of Embedded Software through Model-driven Design, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, and Graziano Pravadelli, in the Proc. of ACM/IEEE Design, Automation and Test in Europe, Dresden, Germany, March 12-16, 2012, pp. 212-217 (dl.acm.org)
  17. IPA: Assertion-based verification in embedded-software design, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, and Graziano Pravadelli, in the Proc. of IEEE International High Level Design Validation and Test Workshop, Napa Valley, CA, USA, November 9-11, 2011 (ieeexplore.ieee.org)
  18. EFSM-based model-driven approach to concolic testing of system-level design, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, and Stefano Soffia, ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign, Cambridge, UK, July 11-13, 2011, pp. 201-209 (ieeexplore.ieee.org)
  19. Model-driven design and validation of embedded software, Giuseppe Di Guglielmo, Masahiro Fujita, Cristina Marconcini, Andreas Foltinek, Luigi Di Guglielmo, Franco Fummi, and Graziano Pravadelli, IEEE/ACM International Workshop on Automation of Software Testing (ICSE Workshop), Waikiki, Honoulu, Hawaii, May 23-24, 2011, pp. 98-104 (dl.acm.org)
  20. Optimization of assertion placement in time-constrained embedded systems, Viacheslav Izosimov, Zebo Peng, Michele Lora, Graziano Pravadelli, Franco Fummi, Giuseppe Di Guglielmo, and Masahiro Fujita, IEEE European Test Symposium, Trondheim, Norway, May 23-27, 2011, pp. 171-176 (ieeexplore.ieee.org)
  21. Effective EFSM generation for HW/SW-design verification, Michele Bertasi, Giuseppe Di Guglielmo, and Graziano Pravadelli, in the Proc. of 12th Biennial Baltic Electronics  Conference, Tallinn, Estonia, October 4-6, 2010, pp. 209-212
  22. HIFSuite: Tools for HDL Code Conversion and Manipulation, Nicola Bombieri, Michele Ferrari, Giuseppe Di Guglielmo, Graziano Pravadelli, Francesco Stefanni, and Alessandro Venturelli, in the Proc. of IEEE International High Level Design Validation and Test Workshop, Anaheim, CA, USA, June 11-12, 2010, pp. 40-41
  23. Effective EFSM generation for HW/SW-design verification, Michele Bertasi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, in the Proc. of IEEE International Biennal Baltic Electronics Conference, Tallinn, Estonia, October 4-6, 2010
  24. Mutation analysis with high-level decision diagrams, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimond Ubar, Giuseppe Di Guglielmo, and Franco Fummi, in the Proc. of IEEE Latin-American Test Workshop, Punta del Este, Uruguay , March 28-31, 2010
  25. RTOS-aware refinement for TLM2.0-based HW/SW designs, Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Mueller, Graziano Pravadelli, and Tao Xie, in the Proc. of ACM/IEEE Design, Automation and Test in Europe, Dresden, Germany, March 8-12, 2010, pp. 1053-1058
  26. Semi-formal functional verification by EFSM traversing via NuSMV, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, and Marco Roveri, in the Proc. of IEEE International High Level Design Validation and Test Workshop, Anaheim, CA, USA, June 11-12, 2010, pp. 58-65
  27. On the functional qualification of a platform model, Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Florian Letombe, and Graziano Pravadelli, in the Proc. of IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, IL, USA, October 7-9, 2009, pp. 182-190
  28. The impact of EFSM composition on functional ATPG, Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, and Tiziano Villa, in the Proc. of 12th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Liberec, Czech Republic, April 15-17, 2009, pp. 44-49
  29. Automatic generation of EFSMs and HLDDs for functional ATPG, Anton Chepurov, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Jaan Raik, Raimond Ubar, and Taavi Viilukas, in the Proc. of IEEE International Biennal Baltic Electronics Conference, Tallinn, Estonia, 6-8 October, 2008, pp. 143-146
  30. On the validation of embedded systems through functional ATPG, Giuseppe Di Guglielmo, in the Proc. of Ph.D. Research in Microelectronics and Electronics, Istanbul, Turkey, 22-25 June 2008, 2008, pp. 149-152
  31. The role of parallel simulation in functional verification, Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, and Francesco Stefanni, in the Proc. of IEEE International High Level Design Validation and Test Workshop, Incline Village, NV, USA, 19-21 November, 2008, pp. 117-124
  32. On the combined use of HLDDs and EFSMs for functional ATPG, Giuseppe Di Guglielmo, Franco Fummi, Maksim Jenihhin, Graziano Pravadelli, Jaan Raik, and Raimond Ubar, in the Proc. of IEEE East-West Design and Test Symposium, Yerevan, Armenia, 7-10 September, 2007, pp. 503-508
  33. EFSM manipulation to increase high-level ATPG effectiveness, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, and Graziano Pravadelli, in the Proc. of IEEE International Symposium on Quality Electronic Design, San Jose, CA, USA, 27-29 March, 2006, pp. 57-62
  34. FATE: a Functional ATPG to Traverse unstabilized EFSMs, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, and Graziano Pravadelli, in the Proc. of IEEE European Test Symposium, Southampton, UK, 21-24 May, 2006, pp. 179-184
  35. Improving gate-level ATPG by traversing concurrent EFSMs, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli, in the Proc. of IEEE VLSI Test Symposium, Berkeley, CA, USA, 30 April-4 May, 2006, pp. 172-179
  36. A pseudo-deterministic functional ATPG based on EFSM traversing, Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, and Graziano Pravadelli, in the Proc. of ACM/IEEE International Workshop on Microprocessor Test and Verification, Austin, TX, USA, 3-4 November, 2005, pp. 70-75

PhD Thesis

  1. On the validation of embedded systems through functional ATPG, Giuseppe Di Guglielmo, University of Verona - Department of Computer Science, April 2009 (University of Verona - Research Catalogue)