Alberto Tacchella
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2020–2025
Best venue rank
Unranked
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEC | Certified Secure Updates for IoT Devices. | Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri |
| 2023 | DSN | 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 |
| 2022 | TACAS | 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 |
| 2020 | ECMS | Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. | Alberto Tacchella, Armando Tacchella |
| 2020 | ISoLA | 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 |