Luigi Di Guglielmo

On the integration of model-driven design and dynamic assertion-based verification for embedded software

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek et al. · Journal of Systems and Software · 2012 · 24 citations

Engineering, Computer Engineering, Computer Science +14

HIFSuite: Tools for HDL code conversion and manipulation

Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo et al. · 2010 · 23 citations

Engineering, Computer Engineering, Computer Science +15

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli et al. · IEEE Transactions on Computers · 2012 · 21 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi et al. · Journal of Electronic Testing · 2011 · 19 citations · Full text

Engineering, Behavioral Sciences, Cognitive Psychology +2

DDPSL: An easy way of defining properties

Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi et al. · 2010 · 17 citations

Computing, Computer Engineering, Computer Science +14