Andrea Piattino

According to our database, Andrea Piattino authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2018

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018