Contextual Specialization of Constraint Logic Programs. - Fabio Fioravanti; Maurizio Proietti (APPIA-GULP-PRODE, 1999)

Rules and Strategies for Contextual Specialization of Constraint Logic Programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (WOID@ICLP, 1999)

Automated strategies for specializing constraint logic programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2000)

Verification of Infinite-State Systems by Specialization of CLP Programs. - Fabio Fioravanti (CP, 2001)

Verification of Sets of Infinite State Processes Using Program Transformation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2001)

Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (APPIA-GULP-PRODE, 2002)

Combining Logic Programs and Monadic Second Order Logics by Program Transformation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2002)

Inter-Organizational E-Services Accounting Management on Computational Grids. - Franco Arcieri; Fabio Fioravanti; Enrico Nardelli; Maurizio Talamo (I3E, 2003)

Quality of Service in Wireless Networks. - Vittorio Bilò; Adriano Di Pasquale; Fabio Fioravanti; Michele Flammini; Luca Forlizzi; Francesco Lo Presti; Giovanna Melideo; Enrico Nardelli; Alfredo Navarra; Guido Proietti (IPDPS, 2003)

Certifying performance of cooperative services in a digital government framework. - Franco Arcieri; Fabio Fioravanti; Roberto Giaccio; Enrico Nardelli; Maurizio Talamo (SAINT, 2003)

The Italian Electronic Identity Card: a short introduction. - Franco Arcieri; Mario Ciclosi; Fabio Fioravanti; Enrico Nardelli; Maurizio Talamo (DG.O, 2004)

Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. - Franco Arcieri; Fabio Fioravanti; Enrico Nardelli; Maurizio Talamo (EGOV, 2004)

A Specification for Security Services on Computational Grids. - Franco Arcieri; Fabio Fioravanti; Enrico Nardelli; Maurizio Talamo (GSEM, 2004)

Transformation Rules for Locally Stratified Constraint Logic Programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Program Development in Computational Logic, 2004)

Automatic Proofs of Protocols via Program Transformation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (MSRAS, 2004)

A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. - Franco Arcieri; Fabio Fioravanti; Enrico Nardelli; Maurizio Talamo (RIDE, 2004)

Transformation Rules for Locally Stratified Constraint Logic Programs - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (CoRR, 2004)

An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. - Franco Arcieri; Andrea Dimitri; Fabio Fioravanti; Enrico Nardelli; Katia Pallucca; Alberto Postiglione; Maurizio Talamo (EGOV, 2005)

Defense trees for economic evaluation of security investments. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (ARES, 2006)

Using CP-nets as a guide for countermeasure selection. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (SAC, 2007)

Identity Management for e-Government Services. - Fabio Fioravanti; Enrico Nardelli (Digital Government, 2008)

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2010)

Using Real Relaxations during Program Specialization. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2011)

Program transformation for development, verification, and synthesis of programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Intelligenza Artificiale, 2011)

Software Model Checking by Program Specialization. - Emanuele De Angelis; Fabio Fioravanti; Maurizio Proietti; Alberto Pettorossi (CILC, 2012)

Specialization with Constrained Generalization for Software Model Checking. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2012)

Generation of Test Data Structures Using Constraint Logic Programming. - Valerio Senni; Fabio Fioravanti (TAP@TOOLS, 2012)

Modeling gene regulatory network motifs using statecharts. - Fabio Fioravanti; Manuela Helmer-Citterich; Enrico Nardelli (BMC Bioinform., 2012)

Improving Reachability Analysis of Infinite State Systems by Specialization. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2012)

Evaluation of complex security scenarios using defense trees and economic indexes. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti; Francesco Santini 001 (J. Exp. Theor. Artif. Intell., 2012)

Verification of Imperative Programs through Transformation of Constraint Logic Programs. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (VPT@CAV, 2013)

Verification of Imperative Programs by Transforming Constraint Logic Programs. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (CILC, 2013)

Verifying programs via iterated specialization. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (PEPM, 2013)

Verification of Imperative Programs by Constraint Logic Program Transformation. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Festschrift for Dave Schmidt, 2013)

Controlling Polyvariance for Specialization-based Verification. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2013)

Proving Theorems by Program Transformation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2013)

Preface. - Fabio Fioravanti; Alberto Pettorossi; Gianfranco Rossi (Fundam. Informaticae, 2013)

Generalization strategies for the verification of infinite state systems. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Theory Pract. Log. Program., 2013)

VeriMAP: A Tool for Verifying Programs through Transformations. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (TACAS, 2014)

Verifying Array Programs by Transforming Verification Conditions. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (VMCAI, 2014)

Verification of Programs by Combining Iterated Specialization with Interpolation. - Emanuele De Angelis; Fabio Fioravanti; Jorge A. Navas; Maurizio Proietti (HCVS, 2014)

Program verification via iterated specialization. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Sci. Comput. Program., 2014)

Semantics-based generation of verification conditions by program specialization. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (PPDP, 2015)

A Rule-based Verification Strategy for Array Manipulating Programs. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2015)

Efficient generation of test data structures using constraint logic programming and program transformation. - Fabio Fioravanti; Maurizio Proietti; Valerio Senni (J. Log. Comput., 2015)

Proving correctness of imperative programs by linearizing constrained Horn clauses. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2015)

Verifying Relational Program Properties by Transforming Constrained Horn clauses. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (CILC, 2016)

Verification of Time-Aware Business Processes Using Constrained Horn Clauses. - Emanuele De Angelis; Fabio Fioravanti; Maria Chiara Meo; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2016)

Relational Verification Through Horn Clause Transformation. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (SAS, 2016)

Removing Unnecessary Variables from Horn Clause Verification Conditions. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (HCVS@ETAPS, 2016)

Predicate Pairing with Abstraction for Relational Verification. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2017)

Verifying Controllability of Time-Aware Business Processes. - Emanuele De Angelis; Fabio Fioravanti; Maria Chiara Meo; Alberto Pettorossi; Maurizio Proietti (RuleML+RR, 2017)

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). - Fabio Fioravanti; John P. Gallagher (CoRR, 2017)

Enhancing Predicate Pairing with Abstraction for Relational Verification. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (CoRR, 2017)

Program Verification using Constraint Handling Rules and Array Constraint Generalizations. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2017)

Semantics-based generation of verification conditions via program specialization. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Sci. Comput. Program., 2017)

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. - Emanuele De Angelis; Fabio Fioravanti; Adrián Palacios; Alberto Pettorossi; Maurizio Proietti (HCVS, 2018)

Predicate Pairing for program verification. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2018)

Solving Horn Clauses on Inductive Data Types Without Induction. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2018)

Property-Based Test Case Generators for Free. - Emanuele De Angelis; Fabio Fioravanti; Adrián Palacios; Alberto Pettorossi; Maurizio Proietti (TAP@FM, 2019)

Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (HCVS/PERR@ETAPS, 2019)

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (VPT@Programming, 2019)

Semantics and Controllability of Time-Aware Business Processes. - Emanuele De Angelis; Fabio Fioravanti; Maria Chiara Meo; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2019)

Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2019)

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (IJCAR (1), 2020)

Transformational Verification of Quicksort. - Emanuele De Angelis; Fabio Fioravanti; Maurizio Proietti (VPT/HCVS@ETAPS, 2020)

Preface. - Fabio Fioravanti; John P. Gallagher; Maurizio Proietti (Fundam. Informaticae, 2020)

Contract Strengthening through Constrained Horn Clause Verification. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (HCVS/VPT@ETAPS, 2022)

Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (J. Log. Comput., 2022)

Analysis and Transformation of Constrained Horn Clauses for Program Verification. - Emanuele De Angelis; Fabio Fioravanti; John P. Gallagher; Manuel V. Hermenegildo; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2022)

Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. - Emanuele De Angelis; Maurizio Proietti; Fabio Fioravanti; Alberto Pettorossi (Theory Pract. Log. Program., 2022)

Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (LOPSTR, 2023)

Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper). - Loris Di Quilio; Fabio Fioravanti (NL4AI@AI*IA, 2023)

Multiple Query Satisfiability of Constrained Horn Clauses. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (PADL, 2023)

Visualizing CHC Verification Conditions for Smart Contracts Auditing. - Marco Di Ianni; Fabio Fioravanti; Giulia Matricardi (CILC, 2024)

Towards Benchmarking of Solidity Verification Tools. - Massimo Bartoletti; Fabio Fioravanti; Giulia Matricardi; Roberto Pettinau; Franco Sainas (FMBC@CAV, 2024)

AI for Sustainability: Research at Ud'A Node. - Gianluca Amato; Alessia Amelio; Luciano Caroprese; Piero Chiacchiaretta; Fabio Fioravanti; Luigi Ippoliti; Maria Chiara Meo; Gianpiero Monaco; Christian Morbidoni; Luca Moscardelli; Maurizio Parton; Francesca Scozzari (Ital-IA, 2024)

A Comprehensive Framework for Aspect-Category Sentiment Analysis. - Loris Di Quilio; Fabio Fioravanti (NL4AI@AI*IA, 2024)

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). - Alberto Pettorossi; Maurizio Proietti; Fabio Fioravanti; Emanuele De Angelis (PEPM, 2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability. - Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2025)