Emanuele De Angelis

84 papers A 3B 5C 11Journal 32Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
Advances in computational logic (CILC 2024).
J. Log. Comput.
Emanuele De Angelis, Maurizio Proietti
2026 J jnl
Constrained Assumption-Based Argumentation Frameworks.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti, Francesca Toni
2025 J jnl
A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties.
J. Softw. Evol. Process.
Emanuele De Angelis, Guglielmo De Angelis, Maurizio Mongelli, Maurizio Proietti
2025 — conf
Agentified Argumentative Learning (short paper).
AI^3@ICLP
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2025 — conf
Argumentation-based Explainable Recommender System with ARES.
ArgXAI@ECAI
Riccardo Felici, Emanuele De Angelis, Alessio Ferrato, Maurizio Proietti, Giuseppe Sansonetti, Francesca Toni
2025 J jnl
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2025 — conf
Declarative Adaptive Optimization of Task-Based Applications on Heterogeneous Architectures.
SBAC-PADW
Emanuele De Angelis, Guglielmo De Angelis, Romolo Marotta, Federica Montesano, Alessandro Pellegrini, Maurizio Proietti
2025 A conf
Greedy ABA Learning for Case-Based Reasoning.
AAMAS
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2025 — conf
Learning and Contesting Assumption-based Argumentation Frameworks (Invited Talk).
AI^3@ICLP
Emanuele De Angelis
2025 B conf
Learning to Contest Argumentative Claims.
RuleML+RR
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2025 — conf
Neuro-Argumentative Learning with Legal Text.
ANSyA@ECAI
Petros Vasileiadis, Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2025 C conf
Object-Centric Neuro-Argumentative Learning.
NeSy
Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni
2025 J jnl
Object-Centric Neuro-Argumentative Learning.
CoRR
Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni
2025 — ed.
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CAV 2025, Zagreb, Croatia, 22 July 2025.
HCVS@CAV
Emanuele De Angelis, Florian Frohn
2025 C conf
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization.
LOPSTR
Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi
2024 C conf
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution).
PEPM
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
2024 J jnl
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2024 A conf
Learning Brave Assumption-Based Argumentation Frameworks via ASP.
ECAI
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2024 J jnl
Learning Brave Assumption-Based Argumentation Frameworks via ASP.
CoRR
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2024 — ed.
Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024.
CILC
Emanuele De Angelis, Maurizio Proietti
2023 — conf
A Classification Study on Testing and Verification of AI-based Systems.
AITest
Emanuele De Angelis, Guglielmo De Angelis, Maurizio Proietti
2023 B conf
ABA Learning via ASP.
ICLP
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2023 — conf
CHC-COMP 2023: Competition Report.
LSFA/HCVS
Emanuele De Angelis, Hari Govind V. K.
2023 — conf
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023).
TOOLympics@ETAPS
Emanuele De Angelis, Hari Govind Vediramana Krishnan
2023 C conf
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2023 C conf
Multiple Query Satisfiability of Constrained Horn Clauses.
PADL
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2023 J jnl
What makes test programs similar in microservices applications?
J. Syst. Softw.
Emanuele De Angelis, Guglielmo De Angelis, Alessandro Pellegrini, Maurizio Proietti
2022 J jnl
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2022 — conf
CHC-COMP 2022: Competition Report.
HCVS/VPT@ETAPS
Emanuele De Angelis, Hari Govind V. K.
2022 — conf
Contract Strengthening through Constrained Horn Clause Verification.
HCVS/VPT@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 C ed.
Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
LOPSTR
Emanuele De Angelis, Wim Vanhoof
2022 J jnl
Multiple Query Satisfiability of Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.
J. Log. Comput.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
Theory Pract. Log. Program.
Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
2021 J jnl
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2021 — conf
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis.
ISSRE Workshops
Emanuele De Angelis, Alessandro Pellegrini, Maurizio Proietti
2021 — conf
Inferring Relations Among Test Programs in Microservices Applications.
SOSE
Emanuele De Angelis, Guglielmo De Angelis, Alessandro Pellegrini, Maurizio Proietti
2021 J jnl
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021).
CoRR
Emanuele De Angelis, Wim Vanhoof
2021 J jnl
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 — conf
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
IJCAR (1)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 J jnl
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 — conf
Transformational Verification of Quicksort.
VPT/HCVS@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
2019 — conf
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.
VPT@Programming
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 — ed.
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019.
HCVS/PERR@ETAPS
Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
2019 — conf
Property-Based Test Case Generators for Free.
TAP@FM
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2019 — conf
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 — conf
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
HCVS/PERR@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 J jnl
Semantics and Controllability of Time-Aware Business Processes.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2019 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 — conf
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.
HCVS
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
Predicate Pairing for program verification.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Enhancing Predicate Pairing with Abstraction for Relational Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Predicate Pairing for Program Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 C conf
Predicate Pairing with Abstraction for Relational Verification.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Semantics-based generation of verification conditions via program specialization.
Sci. Comput. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 B conf
Verifying Controllability of Time-Aware Business Processes.
RuleML+RR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 B conf
Relational Verification Through Horn Clause Transformation.
SAS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2016 — conf
Removing Unnecessary Variables from Horn Clause Verification Conditions.
HCVS@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2016 C conf
Verification of Time-Aware Business Processes Using Constrained Horn Clauses.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 J jnl
Verification of Time-Aware Business Processes using Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 — conf
Verifying Relational Program Properties by Transforming Constrained Horn clauses.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
A Rule-based Verification Strategy for Array Manipulating Programs.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
Proving correctness of imperative programs by linearizing constrained Horn clauses.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 C conf
Semantics-based generation of verification conditions by program specialization.
PPDP
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — conf
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
VPT@CAV
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — conf
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 J jnl
Program verification via iterated specialization.
Sci. Comput. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 A conf
VeriMAP: A Tool for Verifying Programs through Transformations.
TACAS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — conf
Verification of Programs by Combining Iterated Specialization with Interpolation.
HCVS
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
2014 B conf
Verifying Array Programs by Transforming Verification Conditions.
VMCAI
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 — conf
Verification of Imperative Programs by Constraint Logic Program Transformation.
Festschrift for Dave Schmidt
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 — conf
Verification of Imperative Programs by Transforming Constraint Logic Programs.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 — conf
Verification of Imperative Programs through Transformation of Constraint Logic Programs.
VPT@CAV
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 C conf
Verifying programs via iterated specialization.
PEPM
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2012 — conf
Software Model Checking by Program Specialization.
CILC
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
2012 — conf
Software Model Checking by Program Specialization.
ICLP (Technical Communications)
Emanuele De Angelis
2012 C conf
Specialization with Constrained Generalization for Software Model Checking.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2012 J jnl
Synthesizing Concurrent Programs Using Answer Set Programming.
Fundam. Informaticae
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti
2011 — conf
Synthesizing Concurrent Programs using Answer Set Programming.
CILC
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti