BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Hungary
1 × USA
2 × Italy
Collaborated with:
F.Fioravanti A.Pettorossi M.Proietti
Talks about:
program (7) special (5) verifi (3) verif (3) transform (2) constrain (2) softwar (2) condit (2) model (2) check (2)

Person: Emanuele De Angelis

DBLP DBLP: Angelis:Emanuele_De

Contributed to:

ICLP 20152015
PPDP 20152015
TACAS 20142014
VMCAI 20142014
PEPM 20132013
PEPM 20132014
ICLP 20122012
LOPSTR 20122012

Wrote 8 papers:

ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code
Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.
PPDP-2015-AngelisFPP #generative #semantics #verification
Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
TACAS-2014-AngelisFPP #named #source code #verification
VeriMAP: A Tool for Verifying Programs through Transformations (EDA, FF, AP, MP), pp. 568–574.
VMCAI-2014-AngelisFPP #array #source code #verification
Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
PEPM-2013-AngelisFPP #source code #verification
Verifying programs via iterated specialization (EDA, FF, AP, MP), pp. 43–52.
PEPM-J-2013-AngelisFPP14 #verification
Program verification via iterated specialization (EDA, FF, AP, MP), pp. 149–175.
ICLP-2012-Angelis #model checking
Software Model Checking by Program Specialization (EDA), pp. 439–444.
LOPSTR-2012-AngelisFPP #model checking
Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.