Gianni Zampedri

According to our database, Gianni Zampedri authored at least 4 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems.

Ludovico Battista, Stefano Tonetta, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2022

Formal Design and Validation of an Automatic Train Operation Control System.

Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2016

The xSAP Safety Analysis Platform.

Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Automated Verification and Tightening of Failure Propagation Models.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016