| 2026 | SAC | Bipolar Argumentation for Supporting Decisions in Software Design. | Gianluca Amato, Fabio Fioravanti, Maria Chiara Meo, Francesca Scozzari |
| 2025 | IJCNN | A Comparative Analysis of Artificial Intelligence Methods for Breast Cancer Interpretation. | Ijaz Ahmad, Alessia Amelio, Farman Ali, Arcangelo Merla, Francesca Scozzari, Nadeem Ahmad |
| 2023 | FM | The ScalaFix Equation Solver. | Gianluca Amato, Francesca Scozzari |
| 2022 | FTfJP | On the Need for a Common API for Abstract Domains of Object-Oriented Programs. | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
| 2015 | FM | Narrowing Operators on Template Abstract Domains. | Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari |
| 2013 | PLDI | Numerical static analysis with Soot. | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
| 2013 | SAS | Localizing Widening and Narrowing. | Gianluca Amato, Francesca Scozzari |
| 2012 | LPAR | Random: R-Based Analyzer for Numerical Domains. | Gianluca Amato, Francesca Scozzari |
| 2012 | MIG | Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. | Gianluca Amato, Francesca Scozzari |
| 2010 | RV | A Tool Which Mines Partial Execution Traces to Improve Static Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2010 | SAS | Deriving Numerical Abstract Domains via Principal Component Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2009 | WoLLIC | Observational Completeness on Abstract Interpretation. | Gianluca Amato, Francesca Scozzari |
| 2002 | LOPSTR | A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. | Gianluca Amato, Francesca Scozzari |
| 2000 | SAS | Abstract Domains for Sharing Analysis by Optimal Semantics. | Francesca Scozzari |
| 1998 | MFCS | Complete Abstract Interpretations Made Constructive. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1998 | SAS | Building Complete Abstract Interpretations in a Linear Logic-based Setting. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1997 | SAS | Logical Optimality of Groundness Analysis. | Francesca Scozzari |