Address

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

Emanuele De Angelis

Role: Researcher

Research group: SAKS

My research interests focus on logic-based methods and tools for software analysis and verification; explainable AI based on computational argumentation; symbolic and neuro-symbolic machine learning; property-based software testing; program synthesis and transformation; analysis and verification of business processes.

Recent publications

  1. 2019
    Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
    Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
  2. 2019
    Semantics and Controllability of Time-Aware Business Processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti
  3. 2019
    Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  4. 2019
    Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  5. 2019
    Property-Based Test Case Generators for Free
    Emanuele De Angelis, F. Fioravanti, A. Palacios, Alberto Pettorossi, Maurizio Proietti
  6. 2019
    Semantics and controllability of time-aware business processes
    Emanuele De Angelis, F. Fioravanti, M.C. Meo, Alberto Pettorossi, Maurizio Proietti
  7. 2018
    Solving Horn Clauses on Inductive Data Types Without Induction
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  8. 2018
    Predicate pairing with abstraction for relational verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  9. 2018
    Predicate Pairing for Program Verification
    Emanuele De Angelis, F. Fioravanti, Alberto Pettorossi, Maurizio Proietti
  10. 2018
    Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
    Emanuele De Angelis, F. Fioravanti, A. Palacios, Alberto Pettorossi, Maurizio Proietti

Current projects

  1. SISMA
    PRIN 2017 - PRIN201752ENYB Guglielmo De Angelis - SISMA - Solutions for Engineering Microservices Architectures
    Research group: SAKS
    Url progetto: http://sisma-prin2017.gitlab.io/
    Start date: 29/08/2019
    End date: 28/08/2023
  2. PRIN2022-DEA
    2022TSYYKJ_PE6_PRIN2022
    Research group: SAKS
    Url progetto: https://domainproject.github.io/
    Start date: 28/09/2023
    End date: 27/09/2025
  3. OPENNESS
    OPENNESS - OPtimal bEhavior iN paNdEmic ScenarioS
    Research group: SAKS
    Url progetto: http://openness.iasi.cnr.it/
    Start date: 15/04/2021
    End date: 14/11/2023
  4. PR17DEANG
    PRIN 2017 - PRIN201752ENYB Guglielmo De Angelis - SISMA - Solutions for Engineering Microservices Architectures
    Research group: SAKS
    Url progetto: http://sisma-prin2017.gitlab.io/
    Start date: 29/08/2019
    End date: 28/08/2023