Person: Fabio Fioravanti

DBLP: Fioravanti:Fabio

Contributed to:

2015

2015

2014

2014

2013

2014

2012

2012

2011

2010

2007

2004

2002

2001

2000

2000

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.