Skip to content

Pietro Marmo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2003–2011

Best venue rank

B

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2011SAFECOMPImprovement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems.Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque
2011SAFECOMPAn Integrated Approach for Availability and QoS Evaluation in Railway Systems.Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo
2006DEPCoSUML Based Reverse Engineering for the Verification of Railway Control Logics.Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero
2005EDCCA Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo
2003SRDSHazard Analysis of Complex Distributed Railway Systems.Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo