Leonardo Grassi

According to our database, Leonardo Grassi authored at least 3 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

Laura Carnevali, Leonardo Grassi, Enrico Vicario

IEEE Trans. Software Eng., 2009

2008

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.

Laura Carnevali, Leonardo Grassi, Enrico Vicario

Proceedings of the Reliable Software Technologies, 2008

2007

Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation.

Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario

Proceedings of the ICSOFT 2007, 2007