Vincenzo Martena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2001–2004
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FASE | Enhancing Remote Method Invocation through Type-Based Static Analysis. | Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco |
| 2002 | ICECCS | Interclass Testing of Object Oriented Software. | Vincenzo Martena, Alessandro Orso, Mauro Pezz |
| 2001 | CC | Alias Analysis by Means of a Model Checker. | Vincenzo Martena, Pierluigi San Pietro |