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. 2022
    Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
  2. 2022
    Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
  3. 2022
    Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
    Emanuele De Angelis, Wim Vanhoof
  4. 2022
    Contract Strengthening through Constrained Horn Clause Verification
  5. 2022
    CHC-COMP 2022: Competition Report
    Emanuele De Angelis, Hari Govind V K
  6. 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
  7. 2021
    Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
  8. 2021
    Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
    Emanuele De Angelis, Wim Vanhoof
  9. 2021
    Inferring Relations among Test Programs in Microservices Applications
  10. 2021
    Automatic Extraction of Behavioral Features for Test Program Similarity Analysis
    Emanuele De Angelis, Alessandro Pellegrini, Maurizio Proietti

Current projects

  1. PRIN2022-DEA
    2022TSYYKJ_PE6_PRIN2022
    Research group: SAKS
    Url progetto: https://domainproject.github.io/
    Start date: 28/09/2023
    End date: 27/09/2025
  2. 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
  3. 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