CNR Institutional Research Information System

PETTOROSSI, ALBERTO

PETTOROSSI, ALBERTO  

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

Mostra records
Risultati 1 - 20 di 43 (tempo di esecuzione: 0.045 secondi).
Titolo Data di pubblicazione Autore(i) File
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 1-gen-2024 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; 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
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
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.
A Rule-based Verification Strategy for Array Manipulating Programs 1-gen-2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 1-gen-2015 De Angelis E; Fioravanti F; Pettorossi A; Proietti; M
Program verification via iterated specialization 1-gen-2014 Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti
Verifying Array Programs by Transforming Verification Conditions 1-gen-2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
VeriMAP: A tool for verifying programs through transformations 1-gen-2014 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Controlling Polyvariance for Specialization-based Verification 1-gen-2013 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
Controlling polyvariance for specialization-based verification 1-gen-2013 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
Specialization with Constrained Generalization for Software Model Checking 1-gen-2013 Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti