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

This page was built for person: Emanuele De Angelis