Camilla Papa

According to our database, Camilla Papa authored at least 2 papers between 2010 and 2011.

Collaborative distances:

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

2011

Model-Driven Availability Evaluation of Railway Control Systems.

Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini

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

2010

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.

Stefano Marrone, Camilla Papa, Valeria Vittorini

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010