DE ANGELIS, EMANUELE
DE ANGELIS, EMANUELE
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
A Classification Study on Testing and Verification of AI-based Systems
2023 De Angelis, Emanuele; De Angelis, Guglielmo; Proietti, Maurizio
ABA Learning via ASP
2023 DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
2023 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Learning Brave Assumption-Based Argumentation Frameworks via ASP
2023 Emanuele De Angelis; Maurizio Proietti; Francesca Toni
Multiple Query Satisfiability of Constrained Horn Clauses
2023 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
What makes test programs similar in microservices applications?
2023 DE ANGELIS, Emanuele; DE ANGELIS, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio
Analysis and Transformation of Constrained Horn Clauses for Program Verification
2022 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
CHC-COMP 2022: Competition Report
2022 DE ANGELIS, Emanuele; Govind V, K Hari
Contract Strengthening through Constrained Horn Clause Verification
2022 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio;
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
2022 De Angelis, Emanuele; Vanhoof, Wim
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
2022 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
2022 De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis
2021 De Angelis, Emanuele; Pellegrini, Alessandro; Proietti, Maurizio
Inferring Relations among Test Programs in Microservices Applications
2021 De Angelis, Emanuele; De Angelis, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
2021 DE ANGELIS, Emanuele; Vanhoof, Wim
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
2021 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
2020 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Transformational verification of quicksort
2020 De Angelis, Emanuele; Fioravanti, Fabio; Proietti, Maurizio
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
2019 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
2019 DE ANGELIS, Emanuele; Fedyukovich, Grigory; Tzevelekos, Nikos; Ulbrich, Mattias
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Classification Study on Testing and Verification of AI-based Systems | 1-gen-2023 | De Angelis, Emanuele; De Angelis, Guglielmo; Proietti, Maurizio | |
ABA Learning via ASP | 1-gen-2023 | DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca | |
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions | 1-gen-2023 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Learning Brave Assumption-Based Argumentation Frameworks via ASP | 1-gen-2023 | Emanuele De Angelis; Maurizio Proietti; Francesca Toni | |
Multiple Query Satisfiability of Constrained Horn Clauses | 1-gen-2023 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
What makes test programs similar in microservices applications? | 1-gen-2023 | DE ANGELIS, Emanuele; DE ANGELIS, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio | |
Analysis and Transformation of Constrained Horn Clauses for Program Verification | 1-gen-2022 | De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio | |
CHC-COMP 2022: Competition Report | 1-gen-2022 | DE ANGELIS, Emanuele; Govind V, K Hari | |
Contract Strengthening through Constrained Horn Clause Verification | 1-gen-2022 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; | |
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings | 1-gen-2022 | De Angelis, Emanuele; Vanhoof, Wim | |
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach | 1-gen-2022 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses | 1-gen-2022 | De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto | |
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis | 1-gen-2021 | De Angelis, Emanuele; Pellegrini, Alessandro; Proietti, Maurizio | |
Inferring Relations among Test Programs in Microservices Applications | 1-gen-2021 | De Angelis, Emanuele; De Angelis, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio | |
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021) | 1-gen-2021 | DE ANGELIS, Emanuele; Vanhoof, Wim | |
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach | 1-gen-2021 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates | 1-gen-2020 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Transformational verification of quicksort | 1-gen-2020 | De Angelis, Emanuele; Fioravanti, Fabio; Proietti, Maurizio | |
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study | 1-gen-2019 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning | 1-gen-2019 | DE ANGELIS, Emanuele; Fedyukovich, Grigory; Tzevelekos, Nikos; Ulbrich, Mattias |