Alberto Tacchella

Publication Activity (10 Years)

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

Top Topics

Signature Verification

Industrial Automation

Piecewise Linear

Top Venues

Publications

Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
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)
Alberto Tacchella, Armando Tacchella
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. ECMS (2020)