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. 2019
    Semantics and Controllability of Time-Aware Business Processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti
  2. 2019
    Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  3. 2019
    Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  4. 2019
    Property-Based Test Case Generators for Free
    Emanuele De Angelis, F. Fioravanti, A. Palacios, Alberto Pettorossi, Maurizio Proietti
  5. 2019
    Semantics and controllability of time-aware business processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti
  6. 2018
    Solving Horn Clauses on Inductive Data Types Without Induction
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  7. 2018
    Predicate pairing with abstraction for relational verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  8. 2018
    Predicate Pairing for Program Verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  9. 2018
    Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
    Emanuele De Angelis, F. Fioravanti, A. Palacios, Alberto Pettorossi, Maurizio Proietti
  10. 2019
    Semantics and Controllability of Time-Aware Business Processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti