Emanuele De Angelis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
16
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | X-ABALearn: Argumentative Learning with Semantics la Carte. | Emanuele De Angelis, Maurizio Proietti, Francesca Toni |
| 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 |
| 2025 | NeSy | Object-Centric Neuro-Argumentative Learning. | Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni |
| 2025 | SBAC-PAD | Declarative Adaptive Optimization of Task-Based Applications on Heterogeneous Architectures. | Emanuele De Angelis, Guglielmo De Angelis, Romolo Marotta, Federica Montesano, Alessandro Pellegrini, Maurizio Proietti |
| 2024 | ECAI | Learning Brave Assumption-Based Argumentation Frameworks via ASP. | Emanuele De Angelis, Maurizio Proietti, Francesca Toni |
| 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 |
| 2021 | ISSRE | Automatic Extraction of Behavioral Features for Test Program Similarity Analysis. | Emanuele De Angelis, Alessandro Pellegrini, 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 | ICLP | Software Model Checking by Program Specialization. | Emanuele De Angelis |
| 2012 | LOPSTR | Specialization with Constrained Generalization for Software Model Checking. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |