Luigi Di Guglielmo

According to our database, Luigi Di Guglielmo authored at least 21 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.

Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2017

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems.

Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

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

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

Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata.

Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

A formal support for homogeneous simulation of heterogeneous embedded systems.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Open Problems in Verification and Refinement of Autonomous Robotic Systems.

Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

On the use of assertions for embedded-software dynamic verification.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Enabling dynamic assertion-based verification of embedded software through model-driven design.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

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

Reusing of Properties after Discretization of Hybrid Automata.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

Correct-by-construction code generation from hybrid automata specification.

Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 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

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Interactive presentation abstract: Assertion-based verification in embedded-software design.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

2010

DDPSL: An easy way of defining properties.

Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli

Proceedings of the 28th International Conference on Computer Design, 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

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Vacuity analysis for property qualification by mutation of checkers.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the Design, Automation and Test in Europe, 2010

2009

The role of mutation analysis for property qualification.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

Vacuity Analysis by Fault Simulation.

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008