Vacuity Analysis by Fault Simulation. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2008)

The role of mutation analysis for property qualification. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2009)

Vacuity analysis for property qualification by mutation of checkers. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2010)

HIFSuite: Tools for HDL code conversion and manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Luigi Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (HLDVT, 2010)

DDPSL: An easy way of defining properties. - Luigi Di Guglielmo; Franco Fummi; Nicola Orlandi; Graziano Pravadelli (ICCD, 2010)

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (HLDVT, 2011)

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

Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

Correct-by-construction code generation from hybrid automata specification. - Davide Bresolin; Luigi Di Guglielmo; Luca Geretti; Tiziano Villa (IWCMC, 2011)

Reusing of Properties after Discretization of Hybrid Automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MTV, 2011)

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2011)

Enabling dynamic assertion-based verification of embedded software through model-driven design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2012)

On the use of assertions for embedded-software dynamic verification. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DDECS, 2012)

Open Problems in Verification and Refinement of Autonomous Robotic Systems. - Davide Bresolin; Luigi Di Guglielmo; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa (DSD, 2012)

A formal support for homogeneous simulation of heterogeneous embedded systems. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (SIES, 2012)

Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. - Luigi Di Guglielmo; Sanjit A. Seshia; Tiziano Villa (FedCSIS, 2013)

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 (J. Syst. Softw., 2013)

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (IEEE Trans. Computers, 2013)

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. - Orlando Ferrante; Luigi Di Guglielmo; Valerio Senni; Alberto Ferrari (IMBSA, 2017)

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren D. Cofer (AISoLA, 2023)