Leonardo Grassi

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Laura Carnevali, Leonardo Grassi, Enrico Vicario
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Software Eng. 35 (2) (2009)
Laura Carnevali, Leonardo Grassi, Enrico Vicario
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe (2008)
Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario
Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. ICSOFT (PL/DPS/KE/MUSE) (2007)