Arturo Amendola

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Situational Awareness

Top Venues

Real Time Syst.

Publications

Giovanni Mezzina, Arturo Amendola, Mario Barbareschi, Salvatore De Simone, Grazia Mascellaro, Alberto Moriconi, Cataldo Luciano Saragaglia, Diana Serra, Daniela De Venuto
A Step Toward Safe Unattended Train Operations: A Pioneer Vital Control Module. DATE (2023)
Arturo Amendola, Mario Barbareschi, Salvatore De Simone, Giovanni Mezzina, Alberto Moriconi, Cataldo Luciano Saragaglia, Diana Serra, Daniela De Venuto
A real-time vital control module to increase capabilities of railway control systems in highly automated train operations. Real Time Syst. 59 (4) (2023)
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
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) (2020)