Arturo Amendola

According to our database, Arturo Amendola authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

2023

A real-time vital control module to increase capabilities of railway control systems in highly automated train operations.

Arturo Amendola, Mario Barbareschi, Salvatore De Simone, Giovanni Mezzina, Alberto Moriconi, Cataldo Luciano Saragaglia, Diana Serra, Daniela De Venuto

Real Time Syst., December, 2023

A Step Toward Safe Unattended Train Operations: A Pioneer Vital Control Module.

Giovanni Mezzina, Arturo Amendola, Mario Barbareschi, Salvatore De Simone, Grazia Mascellaro, Alberto Moriconi, Cataldo Luciano Saragaglia, Diana Serra, Daniela De Venuto

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Formal Design and Validation of an Automatic Train Operation Control System.

Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri

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

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