Pietro Marmo

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

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