Alberto Tacchella

According to our database, Alberto Tacchella authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

2023

SMT-Based Stability Verification of an Industrial Switched PI Control Systems.

Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 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

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

Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions.

Alberto Tacchella, Armando Tacchella

Proceedings of the 34th International ECMS Conference on Modelling and Simulation, 2020