Matteo Tessi

According to our database, Matteo Tessi authored at least 3 papers between 2020 and 2025.

Collaborative distances:

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

2025

Formal Analysis of a Railway Signaling Block Designed in AIDA.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti

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

Automated Parameterized Verification of a Railway Protection System with Dafny.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2020

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi

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