Pietro Marmo

According to our database, Pietro Marmo authored at least 5 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

An 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

Proceedings of the Computer Safety, Reliability, and Security, 2011

Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems.

Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque

Proceedings of the Computer Safety, Reliability, and Security, 2011

2006

UML Based Reverse Engineering for the Verification of Railway Control Logics.

Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

A 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

Proceedings of the Dependable Computing, 2005

2003

Hazard Analysis of Complex Distributed Railway Systems.

Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003