Emanuele De Angelis

Available identifiers

zbMath Open de-angelis.emanueleMaRDI QIDQ1664381

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6197213	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6197216	2024-02-16	Paper
Analysis and Transformation of Constrained Horn Clauses for Program Verification	2023-12-12	Paper
Removing algebraic data types from constrained Horn clauses using difference predicates	2022-11-09	Paper
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses	2022-09-30	Paper
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	2022-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5020652	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384903	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5016384	2021-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5015370	2021-12-07	Paper
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM	2021-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4997232	2021-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q4994693	2021-06-21	Paper
Semantics and Controllability of Time-Aware Business Processes*	2019-05-24	Paper
Solving Horn Clauses on Inductive Data Types Without Induction	2018-12-04	Paper
Predicate pairing with abstraction for relational verification	2018-09-06	Paper
Relational verification through Horn clause transformation	2018-08-27	Paper
Predicate Pairing for program verification	2018-05-31	Paper
Program Verification using Constraint Handling Rules and Array Constraint Generalizations*	2017-11-10	Paper
Proving correctness of imperative programs by linearizing constrained Horn clauses	2017-11-09	Paper
Verification of time-aware business processes using constrained Horn clauses	2017-10-13	Paper
A Rule-based Verification Strategy for Array Manipulating Programs	2016-08-15	Paper
Verifying Array Programs by Transforming Verification Conditions	2015-01-13	Paper
Software Model Checking by Program Specialization	2014-02-25	Paper
Specialization with Constrained Generalization for Software Model Checking	2013-09-13	Paper
Synthesizing Concurrent Programs Using Answer Set Programming	2013-01-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuele De Angelis