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

Software Model Checking by Program Specialization. - Emanuele De Angelis (ICLP (Technical Communications), 2012)

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

Synthesizing Concurrent Programs Using Answer Set Programming. - Emanuele De Angelis; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 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)

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)

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)

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)

Automatic Extraction of Behavioral Features for Test Program Similarity Analysis. - Emanuele De Angelis; Alessandro Pellegrini 001; Maurizio Proietti (ISSRE Workshops, 2021)

Inferring Relations Among Test Programs in Microservices Applications. - Emanuele De Angelis; Guglielmo De Angelis; Alessandro Pellegrini 001; Maurizio Proietti (SOSE, 2021)

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021). - Emanuele De Angelis; Wim Vanhoof (CoRR, 2021)

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

CHC-COMP 2022: Competition Report. - Emanuele De Angelis; Hari Govind V. K. (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)

A Classification Study on Testing and Verification of AI-based Systems. - Emanuele De Angelis; Guglielmo De Angelis; Maurizio Proietti (AITest, 2023)

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

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

Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023). - Emanuele De Angelis; Hari Govind Vediramana Krishnan (TOOLympics@ETAPS, 2023)

ABA Learning via ASP. - Emanuele De Angelis; Maurizio Proietti; Francesca Toni (ICLP, 2023)

CHC-COMP 2023: Competition Report. - Emanuele De Angelis; Hari Govind V. K. (LSFA/HCVS, 2023)

What makes test programs similar in microservices applications? - Emanuele De Angelis; Guglielmo De Angelis; Alessandro Pellegrini 001; Maurizio Proietti (J. Syst. Softw., 2023)

Learning Brave Assumption-Based Argumentation Frameworks via ASP. - Emanuele De Angelis; Maurizio Proietti; Francesca Toni (ECAI, 2024)

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

ABALearn/aba_asp: ASP-ABAlearn_B-v1.0.0. - Emanuele De Angelis; Maurizio Proietti; Francesca Toni (Zenodo, 2024)

Greedy ABA Learning for Case-Based Reasoning. - Emanuele De Angelis; Maurizio Proietti; Francesca Toni (AAMAS, 2025)

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

Object-Centric Neuro-Argumentative Learning. - Abdul Rahman Jacob; Avinash Kori; Emanuele De Angelis; Ben Glocker; Maurizio Proietti; Francesca Toni (CoRR, 2025)