Marco Martinucci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ISADS | Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. | Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci |
| 2011 | ISADS | Towards Automated Dependability Analysis of Dynamically Connected Systems. | Paolo Masci, Marco Martinucci, Felicita Di Giandomenico |
| 2010 | ISoLA | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |