Tacchella, Alberto
Tacchella, Alberto
Ingegneria e scienza dell'Informaz (29/10/12-)
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
A note on the automorphism group of the Bielawski-Pidstrygach quiver
2013-01-01 Mencattini, I.; Tacchella, A.
An introduction to associative geometry with applications to integrable systems
2017-01-01 Tacchella, A.
Certified Secure Updates for IoT Devices
2025-01-01 Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco
Computing resilience of interconnected systems by piecewise linear lyapunov functions
2020-01-01 Tacchella, A.; Tacchella, A.
Dynamic mode decomposition and Koopman spectral analysis of boundary layer separation-induced transition
2021-01-01 Dotto, A.; Lengani, D.; Simoni, D.; Tacchella, A.
Firmware Secure Updates meet Formal Verification
2025-01-01 Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco
On a family of quivers related to the Gibbons-Hermsen system
2015-01-01 Tacchella, A.
On rational solutions of multicomponent and matrix KP hierarchies
2011-01-01 Tacchella, A.
Poisson–Nijenhuis structures on quiver path algebras
2017-01-01 Bartocci, C.; Tacchella, A.