Arturo M. Amendola
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2005
Best venue rank
Unranked
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | EDCC | A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. | Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola |
| 2000 | DSN | An Automatic SPIN Validation of a Safety Critical Railway Control System. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
| 2000 | TACAS | A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |