| 2026 | SAC | Bipolar Argumentation for Supporting Decisions in Software Design. | Gianluca Amato, Fabio Fioravanti, Maria Chiara Meo, Francesca Scozzari |
| 2025 | LOPSTR | Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. | Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernndez-Cerezo, Giulia Matricardi |
| 2024 | PEPM | A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). | Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis |
| 2023 | LOPSTR | Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2023 | PADL | Multiple Query Satisfiability of Constrained Horn Clauses. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2020 | CADE | Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2019 | TAP | Property-Based Test Case Generators for Free. | Emanuele De Angelis, Fabio Fioravanti, Adrin Palacios, Alberto Pettorossi, Maurizio Proietti |
| 2017 | LOPSTR | Predicate Pairing with Abstraction for Relational Verification. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2016 | LOPSTR | Verification of Time-Aware Business Processes Using Constrained Horn Clauses. | Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |
| 2016 | SAS | Relational Verification Through Horn Clause Transformation. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2015 | PPDP | Semantics-based generation of verification conditions by program specialization. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2014 | CAV | Program Verification using Constraint Handling Rules and Array Constraint Generalizations. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2014 | TACAS | VeriMAP: A Tool for Verifying Programs through Transformations. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2014 | VMCAI | Verifying Array Programs by Transforming Verification Conditions. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2013 | CAV | Verification of Imperative Programs through Transformation of Constraint Logic Programs. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2013 | PEPM | Verifying programs via iterated specialization. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2012 | LOPSTR | Specialization with Constrained Generalization for Software Model Checking. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2012 | TAP | Generation of Test Data Structures Using Constraint Logic Programming. | Valerio Senni, Fabio Fioravanti |
| 2011 | LOPSTR | Using Real Relaxations during Program Specialization. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2010 | LOPSTR | Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2007 | SAC | Using CP-nets as a guide for countermeasure selection. | Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti |
| 2002 | LOPSTR | Combining Logic Programs and Monadic Second Order Logics by Program Transformation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2001 | CP | Verification of Infinite-State Systems by Specialization of CLP Programs. | Fabio Fioravanti |
| 2001 | LOPSTR | Verification of Sets of Infinite State Processes Using Program Transformation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2000 | LOPSTR | Automated strategies for specializing constraint logic programs. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2000 | LOPSTR | Automated Strategies for Specializing Constraint Logic Programs. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |