Marco Milanese

According to our database, Marco Milanese authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution).

Marco Milanese, Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2024

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.

Marco Milanese, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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é

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Under-Approximating Memory Abstractions.

Marco Milanese, Antoine Miné

Proceedings of the Static Analysis - 31st International Symposium, 2024

2022

Local Completeness Logic on Kleene Algebra with Tests.

Marco Milanese, Francesco Ranzato

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

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