Gianluca Redondi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Verification of Configurable SRA Systems. | Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Dylan Trenti |
| 2025 | CAV | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2024 | FMCAD | Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement. | Gianluca Redondi, Alessandro Cimatti, Alberto Griggio |
| 2022 | ATVA | Verification of SMT Systems with Quantifiers. | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
| 2021 | CADE | Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |