CNR Institutional Research Information System

PROIETTI, MAURIZIO

PROIETTI, MAURIZIO  

Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI  

Mostra records
Risultati 1 - 20 di 217 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 1-gen-2024 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 1-gen-2024 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Learning Assumption-Based Argumentation Frameworks 1-gen-2024 Proietti, Maurizio; Toni, Francesca
Learning Brave Assumption-Based Argumentation Frameworks via ASP 1-gen-2024 De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024) 1-gen-2024 DE ANGELIS, Emanuele; Proietti, Maurizio
A Classification Study on Testing and Verification of AI-based Systems 1-gen-2023 DE ANGELIS, Emanuele; DE ANGELIS, Guglielmo; Proietti, Maurizio
A Roadmap for Neuro-argumentative Learning 1-gen-2023 Proietti, Maurizio; Toni, Francesca
ABA Learning via ASP 1-gen-2023 DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca
ABALearn: An Automated Logic-Based Learning System for ABA Frameworks 1-gen-2023 Tirsi, Cristina; 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 DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca
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
Contract Strengthening through Constrained Horn Clause Verification 1-gen-2022 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation 1-gen-2022 W Hamilton, Geoffrey; Kahsai, Temesghen; Proietti, Maurizio
QuBPAL: Querying Business Process Knowledge 1-gen-2022 Proietti, Maurizio; Taglino, Francesco; Smith, Fabrizio
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