Luigi Di Guglielmo

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 2

Top Topics

Electrical Power Systems

Top Venues

Publications

Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. AISoLA (2023)
Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA (2017)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86 (8) (2013)
Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. FedCSIS (2013)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62 (2) (2013)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
On the use of assertions for embedded-software dynamic verification. DDECS (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES (2012)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
Correct-by-construction code generation from hybrid automata specification. IWCMC (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Reusing of Properties after Discretization of Hybrid Automata. MTV (2011)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT (2011)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. 27 (2) (2011)
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
Model-driven design and validation of embedded software. AST (2011)
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)
Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli
DDPSL: An easy way of defining properties. ICCD (2010)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Vacuity analysis for property qualification by mutation of checkers. DATE (2010)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
The role of mutation analysis for property qualification. MEMOCODE (2009)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Vacuity Analysis by Fault Simulation. MEMOCODE (2008)