Address

Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" Via dei Taurini, 19 00185 Roma - Italy
Stanza: 302

Alberto Pettorossi

Role: Research Associate

Research group: SAKS

Recent publications

  1. 2022
    Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
    Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
  2. 2022
    Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
  3. 2022
    Contract Strengthening through Constrained Horn Clause Verification
    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
  4. 2022
    Automata Theory and Formal Theory Languages
    Alberto Pettorossi
  5. 2022
    Analysis and Transformation of Constrained Horn Clauses for Program Verification
    Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
  6. 2021
    Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
  7. 2021
    Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
  8. 2020
    Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  9. 2020
    A Historical Account of My Early Research Interests
    Alberto Pettorossi
  10. 2019
    Semantics and Controllability of Time-Aware Business Processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti