Marco Milanese

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Boolean Algebra

Predicate Logic

Top Venues

Publications

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). TACAS (3) (2024)
Marco Milanese, Antoine Miné
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. VMCAI (1) (2024)
Marco Milanese, Francesco Ranzato
Local Completeness Logic on Kleene Algebra with Tests. SAS (2022)
Marco Milanese, Francesco Ranzato
Local Completeness Logic on Kleene Algebra with Tests. CoRR (2022)
Marco Balsi, Salvatore Esposito, Paolo Fallavollita, Maria Grazia Melis, Marco Milanese
Preliminary Archeological Site Survey by UAV-Borne Lidar: A Case Study. Remote. Sens. 13 (3) (2021)