Luigi Di Guglielmo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2008–2023
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | VECoS | Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer |
| 2013 | FedCSIS | Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. | Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa |
| 2012 | DATE | Enabling dynamic assertion-based verification of embedded software through model-driven design. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | DDECS | On the use of assertions for embedded-software dynamic verification. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | DSD | Open Problems in Verification and Refinement of Autonomous Robotic Systems. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2011 | ICSE | Model-driven design and validation of embedded software. | Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek |
| 2011 | IWCMC | Correct-by-construction code generation from hybrid automata specification. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa |
| 2010 | DATE | Vacuity analysis for property qualification by mutation of checkers. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2010 | ICCD | DDPSL: An easy way of defining properties. | Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli |
| 2009 | MEMOCODE | The role of mutation analysis for property qualification. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2008 | MEMOCODE | Vacuity Analysis by Fault Simulation. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |