This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
ALL, with author Fioravanti F., in the category IASI Research Reports
(or show them all): (Items found: 16)
2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2007 | 2003 | 2002 | 2001
2015 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
2014 [top]
- Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, IASI-CNR, R. 14-08, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, R. 14-07, 2014
2013 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
2012 [top]
2011 [top]
2010 [top]
2007 [top]
2003 [top]
2002 [top]
2001 [top]
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of sets of infinite state processes using program transformation, IASI-CNR, R. 557, 11/2001
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL properties of infinite state systems by specializing constraint logic programs, IASI-CNR, R. 544, 1/2001
|
