Travelled to:2 × Germany
Collaborated with:F.Fummi G.Pravadelli G.D.Guglielmo
Talks about:properti (1) vacuiti (1) softwar (1) checker (1) analysi (1) qualif (1) driven (1) design (1) assert (1) verif (1)
Person: Luigi Di Guglielmo
DBLP: Guglielmo:Luigi_Di
Contributed to:
20122010Wrote 2 papers:
- DATE-2012-GuglielmoGFP #design #embedded #modelling #verification
- Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
- DATE-2010-GuglielmoFP #analysis
- Vacuity analysis for property qualification by mutation of checkers (LDG, FF, GP), pp. 478–483.