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 120 (tempo di esecuzione: 0.047 secondi).
Titolo Data di pubblicazione Autore(i) File
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 1-gen-2023 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Multiple Query Satisfiability of Constrained Horn Clauses 1-gen-2023 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
Automata Theory and Formal Theory Languages 1-gen-2022 Pettorossi, Alberto
Contract Strengthening through Constrained Horn Clause Verification 1-gen-2022 De Angelis, Emanuele; Fioravanti, Fabio; 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
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
Techniques for Searching, Parsing, and Matching 1-gen-2021 Alberto Pettorossi
A historical account of my early research interests 1-gen-2020 PETTOROSSI Alberto
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 1-gen-2020 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 1-gen-2019 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free 1-gen-2019 De Angelis E.; Fioravanti F.; Palacios A.; Pettorossi A.; Proietti M.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 1-gen-2019 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; 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
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 1-gen-2018 De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M.
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
Enhancing Predicate Pairing with Abstraction for Relational Verification 1-gen-2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio