Follow
Marco Milanese
Marco Milanese
Sorbonne University / LIP6
Verified email at lip6.fr
Title
Cited by
Cited by
Year
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
M Milanese, A Miné
International Conference on Verification, Model Checking, and Abstract …, 2023
92023
Local completeness logic on Kleene algebra with tests
M Milanese, F Ranzato
International Static Analysis Symposium, 350-371, 2022
92022
Mopsa-C: Improved verification for C programs, simple validation of correctness witnesses (competition contribution)
R Monat, M Milanese, F Parolini, J Boillot, A Ouadjaout, A Miné
International Conference on Tools and Algorithms for the Construction and …, 2024
72024
Under-approximating Memory Abstractions
M Milanese, A Miné
International Static Analysis Symposium, 300-326, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–4