Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. - Alberto Tacchella; Armando Tacchella (ECMS, 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 (ISoLA (3), 2020)

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 (TACAS (1), 2022)

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 (DSN-W, 2023)

Certified Secure Updates for IoT Devices. - Alberto Tacchella; Emanuele Beozzo; Bruno Crispo; Marco Roveri (SEC (1), 2025)