`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: Fioravanti:Fabio

### Contributed to:

### 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.