Emanuele De Angelis
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – today
- 2019
- [j10]Emanuele De Angelis
, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Semantics and Controllability of Time-Aware Business Processes. Fundam. Inform. 165(3-4): 205-244 (2019) - [j9]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. TPLP 19(4): 629 (2019) - [c25]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC 2019 - [c24]Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. TAP 2019: 186-206 - [c23]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming 2019: 4-18 - [c22]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS 2019: 48-75 - [e1]Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 [contents] - 2018
- [j8]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
Predicate Pairing for program verification. TPLP 18(2): 126-166 (2018) - [j7]Emanuele De Angelis
, Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
:
Solving Horn Clauses on Inductive Data Types Without Induction. TPLP 18(3-4): 452-469 (2018) - [c21]Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS 2018: 19-26 - [i5]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. CoRR abs/1804.09007 (2018) - 2017
- [j6]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Fundam. Inform. 150(1): 73-117 (2017) - [j5]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Semantics-based generation of verification conditions via program specialization. Sci. Comput. Program. 147: 78-108 (2017) - [c20]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing with Abstraction for Relational Verification. LOPSTR 2017: 289-305 - [c19]Emanuele De Angelis
, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi
, Maurizio Proietti:
Verifying Controllability of Time-Aware Business Processes. RuleML+RR 2017: 103-118 - [i4]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for Program Verification. CoRR abs/1708.01473 (2017) - [i3]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Enhancing Predicate Pairing with Abstraction for Relational Verification. CoRR abs/1709.04809 (2017) - 2016
- [c18]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Relational Program Properties by Transforming Constrained Horn clauses. CILC 2016: 69-85 - [c17]Emanuele De Angelis
, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi
, Maurizio Proietti:
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR 2016: 38-55 - [c16]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Relational Verification Through Horn Clause Transformation. SAS 2016: 147-169 - [c15]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS 2016: 49-55 - [i2]Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR abs/1608.02807 (2016) - 2015
- [j4]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Inform. 140(3-4): 329-355 (2015) - [j3]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Proving correctness of imperative programs by linearizing constrained Horn clauses. TPLP 15(4-5): 635-650 (2015) - [c14]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Semantics-based generation of verification conditions by program specialization. PPDP 2015: 91-102 - [i1]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. CoRR abs/1507.05877 (2015) - 2014
- [j2]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
Program verification via iterated specialization. Sci. Comput. Program. 95: 149-175 (2014) - [c13]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV 2014: 3-18 - [c12]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. CILC 2014: 114-131 - [c11]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
VeriMAP: A Tool for Verifying Programs through Transformations. TACAS 2014: 568-574 - [c10]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti:
Verifying Array Programs by Transforming Verification Conditions. VMCAI 2014: 182-202 - [c9]Emanuele De Angelis
, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
:
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS 2014: 3-18 - 2013
- [c8]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs through Transformation of Constraint Logic Programs. VPT@CAV 2013: 30-41 - [c7]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Transforming Constraint Logic Programs. CILC 2013: 83-98 - [c6]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
Verifying programs via iterated specialization. PEPM 2013: 43-52 - [c5]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt 2013: 186-210 - 2012
- [j1]Emanuele De Angelis
, Alberto Pettorossi
, Maurizio Proietti
:
Synthesizing Concurrent Programs Using Answer Set Programming. Fundam. Inform. 120(3-4): 205-229 (2012) - [c4]Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi:
Software Model Checking by Program Specialization. CILC 2012: 89-103 - [c3]Emanuele De Angelis
:
Software Model Checking by Program Specialization. ICLP (Technical Communications) 2012: 439-444 - [c2]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi
, Maurizio Proietti
:
Specialization with Constrained Generalization for Software Model Checking. LOPSTR 2012: 51-70 - 2011
- [c1]Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti:
Synthesizing Concurrent Programs using Answer Set Programming. CILC 2011: 245-259
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-09 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint