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 87 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017 1-gen-2020 Fioravanti, Fabio; Gallagher, John P.; Proietti, Maurizio
Semantics and Controllability of Time-Aware Business Processes 1-gen-2019 DE ANGELIS, Emanuele; Fioravanti, Fabio; Meo Maria, Chiara; Pettorossi, Alberto; Proietti, Maurizio
Predicate Pairing for program verification 1-gen-2018 De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M.
Predicate pairing with abstraction for relational verification 1-gen-2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Solving Horn Clauses on Inductive Data Types Without Induction 1-gen-2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Editorial, Special Issue on LOPSTR'14 1-gen-2017 Proietti, M; Seki, H; Woodcock, J
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 1-gen-2017 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Semantics-based generation of verification conditions via program specialization 1-gen-2017 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Verification of time-aware business processes using constrained Horn clauses 1-gen-2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Verifying controllability of time-aware business processes 1-gen-2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Relational Verification Through Horn Clause Transformation 1-gen-2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
A Rule-based Verification Strategy for Array Manipulating Programs 1-gen-2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Efficient generation of test data structures using constraint logic programming and program transformation 1-gen-2015 Fioravanti, F.;Proietti, M.;Senni, V.
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 1-gen-2015 De Angelis E; Fioravanti F; Pettorossi A; Proietti; M
Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework 1-gen-2014 Smith, Fabrizio; Proietti, Maurizio
Program verification via iterated specialization 1-gen-2014 Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti