Marco Milanese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution). | Marco Milanese, Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | SAS | Under-Approximating Memory Abstractions. | Marco Milanese, Antoine Min |
| 2024 | TACAS | Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). | Raphal Monat, Marco Milanese, Francesco Parolini, Jrme Boillot, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | VMCAI | Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. | Marco Milanese, Antoine Min |
| 2022 | SAS | Local Completeness Logic on Kleene Algebra with Tests. | Marco Milanese, Francesco Ranzato |