Gianni Zampedri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems. | Ludovico Battista, Stefano Tonetta, Gianni Zampedri |
| 2016 | AAAI | Automated Verification and Tightening of Failure Propagation Models. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |