Exploiting Adjoints in Property Directed Reachability Analysis. - Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni 001; Roberta Gori; Ichiro Hasuo (CAV (2), 2023)

Logics for Extensional, Locally Complete Analysis via Domain Refinements. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (ESOP, 2023)

Sufficient Incorrectness Logic: SIL and Separation SIL. - Flavio Ascari; Roberto Bruni 001; Roberta Gori; Francesco Logozzo (CoRR, 2023)

Limits and Difficulties in the Design of Under-Approximation Abstract Domains. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (ACM Trans. Program. Lang. Syst., 2024)

Revealing Sources of (Memory) Errors via Backward Analysis. - Flavio Ascari; Roberto Bruni 001; Roberta Gori; Francesco Logozzo (Proc. ACM Program. Lang., 2025)

Broadening the applicability of local completeness analysis with intensional and extensional guarantees. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (Theor. Comput. Sci., 2025)