Emanuele De Angelis

Publications

156

Citations

H-Index

2004

Active since

Affiliations

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti(Current)

University of Chieti-Pescara

University of Rome Tor Vergata

Emanuele De Angelis is an author at Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSoftware AnalysisProgram AnalysisSatisfiabilityFormal Specification

Publications per year

2004–2022

Publications

Program verification via iterated specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Science of Computer Programming · 2014 · 37 citations

Program Checking, Engineering, Program Analysis +9

Semantics-based generation of verification conditions via program specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Science of Computer Programming · 2016 · 28 citations · Full text

Formal Specification, Engineering, Program Checking +9

Solving Horn Clauses on Inductive Data Types Without Induction

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Theory and Practice of Logic Programming · 2018 · 27 citations · Full text

Engineering, Type Theory, Verification +16

Semantics-based generation of verification conditions by program specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · 2015 · 25 citations

Program Checking, Engineering, Imperative Programming Language +17

CHC-COMP 2022: Competition Report

Emanuele De Angelis, Hari Govind V K · Electronic Proceedings in Theoretical Computer Science · 2022 · 15 citations · Full text

Mathematical Programming, Engineering, Education +18

Rows per page

1–5 of 7