Ida Petrone

According to our database, Ida Petrone authored at least 3 papers between 2011 and 2014.

Collaborative distances:

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

2014

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi

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

2012

Improving Verification Process in Driverless Metro Systems: The MBAT Project.

Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

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