Emanuele De Angelis

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 43

Top Topics

Imperative Programs

Constraint Handling Rules

Symbolic Execution

Top Venues

Theory Pract. Log. Program.

Fundam. Informaticae

Publications

Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). PEPM (2024)
Emanuele De Angelis, Hari Govind V. K.
CHC-COMP 2023: Competition Report. CoRR (2024)
Emanuele De Angelis, Guglielmo De Angelis, Alessandro Pellegrini, Maurizio Proietti
What makes test programs similar in microservices applications? J. Syst. Softw. 201 (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. LOPSTR (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Multiple Query Satisfiability of Constrained Horn Clauses. PADL (2023)
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
ABA Learning via ASP. CoRR (2023)
Emanuele De Angelis, Guglielmo De Angelis, Maurizio Proietti
A Classification Study on Testing and Verification of AI-based Systems. AITest (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Multiple Query Satisfiability of Constrained Horn Clauses. CoRR (2022)
Emanuele De Angelis, Hari Govind V. K.
CHC-COMP 2022: Competition Report. HCVS/VPT@ETAPS (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Contract Strengthening through Constrained Horn Clause Verification. HCVS/VPT@ETAPS (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. CoRR (2022)
Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. Theory Pract. Log. Program. 22 (4) (2022)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22 (6) (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. J. Log. Comput. 32 (2) (2022)
Emanuele De Angelis, Wim Vanhoof
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021). CoRR (2021)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR (2021)
Emanuele De Angelis, Guglielmo De Angelis, Alessandro Pellegrini, Maurizio Proietti
Inferring Relations Among Test Programs in Microservices Applications. SOSE (2021)
Emanuele De Angelis, Alessandro Pellegrini, Maurizio Proietti
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis. ISSRE Workshops (2021)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach. CoRR (2021)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. IJCAR (1) (2020)
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
Transformational Verification of Quicksort. VPT/HCVS@ETAPS (2020)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. CoRR (2020)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Property-Based Test Case Generators for Free. TAP@FM (2019)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Semantics and Controllability of Time-Aware Business Processes. Fundam. Informaticae 165 (3-4) (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Theory Pract. Log. Program. 19 (4) (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS (2019)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing for program verification. Theory Pract. Log. Program. 18 (2) (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction. Theory Pract. Log. Program. 18 (3-4) (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction. CoRR (2018)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verifying Controllability of Time-Aware Business Processes. RuleML+RR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Enhancing Predicate Pairing with Abstraction for Relational Verification. CoRR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Fundam. Informaticae 150 (1) (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing with Abstraction for Relational Verification. LOPSTR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing for Program Verification. CoRR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Semantics-based generation of verification conditions via program specialization. Sci. Comput. Program. 147 (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Relational Verification Through Horn Clause Transformation. SAS (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS (2016)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Relational Program Properties by Transforming Constrained Horn clauses. CILC (2016)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving correctness of imperative programs by linearizing constrained Horn clauses. Theory Pract. Log. Program. 15 (4-5) (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Semantics-based generation of verification conditions by program specialization. PPDP (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Informaticae 140 (3-4) (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. CoRR (2015)
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. CILC (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program verification via iterated specialization. Sci. Comput. Program. 95 (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Array Programs by Transforming Verification Conditions. VMCAI (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
VeriMAP: A Tool for Verifying Programs through Transformations. TACAS (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs through Transformation of Constraint Logic Programs. VPT@CAV (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying programs via iterated specialization. PEPM (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs by Transforming Constraint Logic Programs. CILC (2013)
Emanuele De Angelis
Software Model Checking by Program Specialization. ICLP (Technical Communications) (2012)
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
Software Model Checking by Program Specialization. CILC (2012)
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti
Synthesizing Concurrent Programs Using Answer Set Programming. Fundam. Informaticae 120 (3-4) (2012)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Specialization with Constrained Generalization for Software Model Checking. LOPSTR (2012)
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti
Synthesizing Concurrent Programs using Answer Set Programming. CILC (2011)