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 × Austria
1 × Belgium
1 × Cyprus
1 × Czech Republic
1 × Denmark
1 × France
1 × Korea
1 × Spain
1 × USA
2 × Italy
2 × United Kingdom
Collaborated with:
A.Pettorossi M.Proietti E.D.Angelis V.Senni S.Bistarelli P.Peretti
Talks about:
program (15) special (8) logic (6) transform (5) constraint (4) verifi (4) verif (4) use (4) constrain (2) strategi (2)

Person: Fabio Fioravanti

DBLP DBLP: Fioravanti:Fabio

Contributed to:

ICLP 20152015
PPDP 20152015
TACAS 20142014
VMCAI 20142014
PEPM 20132013
PEPM 20132014
LOPSTR 20122012
TAP 20122012
LOPSTR 20112011
LOPSTR 20102010
SAC 20072007
PDCL 20042004
LOPSTR 20022002
LOPSTR 20012001
LOPSTR 20002000
LOPSTR 20002000

Wrote 16 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.
LOPSTR-2012-AngelisFPP #model checking
Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.
TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using
Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
LOPSTR-2011-FioravantiPPS #using
Using Real Relaxations during Program Specialization (FF, AP, MP, VS), pp. 106–122.
LOPSTR-2010-FioravantiPPS #evaluation #infinity #verification
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (FF, AP, MP, VS), pp. 164–183.
SAC-2007-BistarelliFP #using
Using CP-nets as a guide for countermeasure selection (SB, FF, PP), pp. 300–304.
PDCL-2004-FioravantiPP #constraints #logic programming #source code
Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
LOPSTR-2002-FioravantiPP #higher-order #logic #logic programming #monad #program transformation #source code
Combining Logic Programs and Monadic Second Order Logics by Program Transformation (FF, AP, MP), pp. 160–181.
LOPSTR-2001-FioravantiPP #infinity #process #program transformation #set #using #verification
Verification of Sets of Infinite State Processes Using Program Transformation (FF, AP, MP), pp. 111–128.
LOPSTR-2000-FioravantiPP #automation #constraints #logic programming #source code
Automated strategies for specializing constraint logic programs (FF, AP, MP).
LOPSTR-J-2000-FioravantiPP #automation #constraints #logic programming #source code
Automated Strategies for Specializing Constraint Logic Programs (FF, AP, MP), pp. 125–146.

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.