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
Removing unnecessary variables from Horn clause verification conditions	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
Verification of imperative programs by constraint logic program transformation	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