Gianni Zampedri

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 3

Top Topics

Symbolic Model Checking

Automated Verification

Top Venues

Publications

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
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail (2022)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri
Automated Verification and Tightening of Failure Propagation Models. AAAI (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)