PETTOROSSI, Alberto
PETTOROSSI, Alberto
DIPARTIMENTO DI ECONOMIA
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
2024-01-01 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
2024-01-01 De Angelis, E.; Fioravanti, F. A. B. I. O.; Pettorossi, A.; Proietti, M.
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
2023-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Contract Strengthening through Constrained Horn Clause Verification
2022-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Lemma generation for horn clause satisfiability: A preliminary study
2019-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Multiple Query Satisfiability of Constrained Horn Clauses
2023-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Predicate Pairing with Abstraction for Relational Verification
2018-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free
2019-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Proving properties of sorting programs: A case study in horn clause verification
2019-01-01 De Angelis, E.; Pettorossi, A.; Fioravanti, F.; Proietti, M.
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
2020-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
2022-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
2022-01-01 De Angelis, E.; Proietti, M.; Fioravanti, F.; Pettorossi, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) | 2024 | Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele | |
| Catamorphic Abstractions for Constrained Horn Clause Satisfiability | 2024 | De Angelis, E.; Fioravanti, F. A. B. I. O.; Pettorossi, A.; Proietti, M. | |
| Constrained Horn Clauses Satisfiability via Catamorphic Abstractions | 2023 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
| Contract Strengthening through Constrained Horn Clause Verification | 2022 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Lemma generation for horn clause satisfiability: A preliminary study | 2019 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
| Multiple Query Satisfiability of Constrained Horn Clauses | 2023 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
| Predicate Pairing with Abstraction for Relational Verification | 2018 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Property-Based Test Case Generators for Free | 2019 | De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio | |
| Proving properties of sorting programs: A case study in horn clause verification | 2019 | De Angelis, E.; Pettorossi, A.; Fioravanti, F.; Proietti, M. | |
| Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates | 2020 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach | 2022 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
| Verifying Catamorphism-Based Contracts using Constrained Horn Clauses | 2022 | De Angelis, E.; Proietti, M.; Fioravanti, F.; Pettorossi, A. |