Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. - Fabrizio Baldini; Giacomo Bucci; Leonardo Grassi; Enrico Vicario (ICSOFT (PL/DPS/KE/MUSE), 2007)

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. - Laura Carnevali; Leonardo Grassi; Enrico Vicario (Ada-Europe, 2008)

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. - Laura Carnevali; Leonardo Grassi; Enrico Vicario (IEEE Trans. Software Eng., 2009)