Preliminary Archeological Site Survey by UAV-Borne Lidar: A Case Study. - Marco Balsi; Salvatore Esposito; Paolo Fallavollita; Maria Grazia Melis; Marco Milanese (Remote. Sens., 2021)

Local Completeness Logic on Kleene Algebra with Tests. - Marco Milanese; Francesco Ranzato (SAS, 2022)

Under-Approximating Memory Abstractions. - Marco Milanese; Antoine Miné (SAS, 2024)

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). - Raphaël Monat; Marco Milanese; Francesco Parolini; Jérôme Boillot; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2024)

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. - Marco Milanese; Antoine Miné (VMCAI (1), 2024)