Luigi Di Guglielmo

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