Alberto Tacchella

Orcid: 0000-0002-9748-3293

According to our database¹, Alberto Tacchella authored at least 7 papers between 2020 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Firmware Secure Updates Meet Formal Verification.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., January, 2026

2025

Certified Secure Updates for IoT Devices.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2025

Towards a Formal Verification of the Bao Hypervisor.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 18th International Symposium, 2025

2023

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

[BibT_eX]

[DOI]

Stylianos Basagiannis

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions.

[BibT_eX]

[DOI]

Alberto Tacchella

Armando Tacchella

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

Alberto Tacchella

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...