Gianpaolo Massaroli

According to our database, Gianpaolo Massaroli authored at least 2 papers between 2014 and 2015.

Collaborative distances:

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

2015

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.

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

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

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