Skip to main content

3 Result(s)

within Luigi Di Guglielmo Remove this filter

and

  1. No Access

    Chapter and Conference Paper

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

    We demonstrate the use of formal methods to verify properties of a deep convolutional neural network that estimates remaining useful life of aircraft mechanical equipment. We provide mathematical formalization...

    Dmitrii Kirov, Simone Fulvio Rollini… in Bridging the Gap Between AI and Reality (2024)

  2. No Access

    Chapter and Conference Paper

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

    System safety assessments are integral part of system development as indicated by the ARP4754A standard. These activities are usually performed manually and rely on reviews and engineering judgments with limi...

    Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni… in Model-Based Safety and Assessment (2017)

  3. No Access

    Article

    Efficient Generation of Stimuli for Functional Verification by Backjum** Across Extended FSMs

    Extended finite state machines (EFSMs) can be efficiently adopted to model the functionality of complex designs without incurring the state explosion problem typical of the more traditional FSMs. However, trav...

    Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi… in Journal of Electronic Testing (2011)