Fabio Fioravanti

Hello world!

I'm an assistant professor at the University "G. d'Annunzio" of Chieti - Pescara (Italy). In this page you can find some information about me and my recent research and teaching activities.

News

- CILC 2013. 25-27 settembre 2013, Catania
- ICLP-DC-2013. 24 August 2013, Istanbul, Turkey

Research

My research interests include
- constraint logic programming and its application to software testing and software model checking;
- constraint logic programming and its application to security and verification of concurrent systems;
- program transformation methodologies for development, verification and synthesis of programs;
- languages and tools for rapid application development;
- bioinformatics, and, in particular, systems biology;
- security and certification of network services provision in business and government inter-organizational contexts;
- interoperability of identification and authorization systems in business and government;
- human-computer interfaces.

Recent events (I've been involved in)

- CILC 2013. 28-esimo Convegno Italiano di Logica Computazionale. 25 - 27 settembre 2013, Catania
- ICLP-DC-2013. ICLP Doctoral Consortium. Istanbul, Turkey, 24 August 2013.
- ICLP-DC-2012. ICLP Doctoral Consortium. Budapest, Hungary, 4 September 2012.
- CILC 2011. 26-esimo Convegno Italiano di Logica Computazionale. 31 Agosto - 2 Settembre 2011, Pescara.
- IJCAI 2011. The twentieth International Joint Conference on Artificial Intelligence. Barcelona July 2011.
- LOPSTR 2010. 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010. Hagenberg, Austria
- mLife 2010, Mobile Life Conferences, 27-29 October 2010, The Grand Hotel, Brighton, UK. And 2009, 2008, 2006 editions

Research projects

I participated in the following research projects: - "Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali" Progetto MIUR PRIN 2005 n.2005-015491

I was the local team coordinator of the research unit at the University of Chieti-Pescara, for the research project "Simulation and modeling of biological systems using StateCharts (SIMBIOSYS)", funded by the Italian Ministry for University and Scientific Research PRIN 2008, n.20083K772X_003.

Other

I am member of the teaching board of the PhD program in Sciences of the University "G. d'Annunzio" of Chieti - Pescara (2008-2010).

I've been a member of the teaching board of the PhD program in Applied Statistics of the University "G. d'Annunzio" of Chieti - Pescara (2007).

I am also a research associate at IASI-CNR and a member of the MAP group.

Papers

Some recent papers.

2013

• De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.: Specialization with Constrained Generalization for Software Model Checking. In: E. Albert (Ed.), Proceedings of the 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Leuven, Belgium, September 18-20, 2012. Lecture Notes in Computer Science 7844 Springer. (to appear)

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. Theory and Practice of Logic Programming, Volume 13-2, 2013. Published online: 25 January 2012. Wolfgang Faber and Nicola Leone (Eds.), Special Issue on the 25th GULP annual conference.

• De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.: Verifying Programs via Iterated Specialization. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13), Rome, Italy, January 21-22, 2013.

2012

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability Analysis of Infinite State Systems by Specialization. Fundamenta Informaticae 119 (2012) pp. 1-20. DOI 10.3233/FI-2012-720, IOS Press.

• De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.: Software Model Checking by Program Specialization. In: F. Lisi (Ed.), Proceedings of the 27th Italian Conference on Computational Logic, CILC-2012, 6-7 June, 2012, Rome, Italy, CEUR-WS, Vol-857, urn:nbn:de:0074-857-8, pp. 89-103.

• Senni, V., Fioravanti, F.: Generation of test data structures using Constraint Logic Programming. Proceedings of the 6th International Conference on Tests & Proofs TAP 2012, Lecture Notes in Computer Science 7305, pages 115-131, DOI: 10.1007/978-3-642-30473-6_10, Springer. [extended and revised version: IASI Report 12-04] [Experiments pack]

• Fabio Fioravanti, Manuela Helmer-Citterich and Enrico Nardelli. Modeling gene regulatory network motifs using statecharts. BMC Bioinformatics 2012, 13(Suppl 4):S20.

• Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini. Evaluation of complex security scenarios using defense trees and economic indexes. Journal of Experimental & Theoretical Artificial Intelligence. pp 161-192 Volume 24, Issue 2, 2012

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Using Real Relaxations During Program Specialization In: G. Vidal (Ed.),Proceedings of the 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), July 18-20, 2011, Odense, Denmark, pp. 96-111, Univ. of Southern Denmark, 2011. Lecture Notes in Computer Science 7225, pp. 106-122, Springer, 2012

2011

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Reachability Analysis Via Specialization of Constraint Logic Programs. ALP Newsletter, September 2011.

• Fioravanti, F.. Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), August 31 - September 2, 2011. Pescara, Italy. (Editor) [CEUR-WS, Vol-810, urn:nbn:de:0074-810-0, ISSN 1613-0073.]

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Controlling Polyvariance for Specialization-based Verification In: F. Fioravanti (Ed.), Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), August 31 - September 2, 2011. Pescara, Italy. [CEUR-WS, Vol-810, urn:nbn:de:0074-810-0, ISSN 1613-0073.]

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability Analysis of Infinite State Systems by Specialization In: G. Delzanno and I. Potapov (Eds.), Proceedings of the 5th International Workshop on Reachability Problems (RP 2011), September 28-30, 2011, Genova, Italy, LNCS 6945, Springer 2011.

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Transformation for Development, Verification, and Synthesis of Programs In: M. Baldoni and C. Baroglio, editors. Special section: A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli. Intelligenza Artificiale, Vol. 5, N.1, pp. 119-125, 2011.

2010

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: M. Alpuente (Ed.): Proceedings of the 20^th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, Lecture Notes in Computer Science Vol. 6564, pp. 164-183, Springer, 2011.

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. In: Wolfgang Faber and Nicola Leone (Eds.), Proceedings of the 25th Italian Conference on Computational Logic (CILC'10), University of Calabria, Rende, Italy, July 7-9, 2010. [CEUR-WS, Vol-598, urn:nbn:de:0074-598-1, ISSN 1613-0073.]

Teaching

In Italian only.

• Facoltà di Economia
  • Programmazione web (CLEII)
  • Tecnologie per lo sviluppo di applicazioni Internet (CLEI/S) (disattivato)
  • Laboratorio di programmazione 2 (CLEI) (disattivato)
• Facoltà di Scienze Manageriali (AA 08/09 e precedenti)
  • Web Content Management ed E-Learning
  • Laboratorio di Informatica

Short bio

I received my Laurea degree in computer science from the University of L'Aquila (Italy) in 1997.

I have been a visiting research scientist at the University of Southampton (UK) (April-May 2001).

During 2002 I held a contract at the IASI institute in Rome of the Italian National Research Council for doing research on the theoretical foundations of transformation and their application to semantic interoperability of heterogeneous databases.

In 2002 I earned my Research Doctorate (PhD) degree in computer science at the University of Rome - La Sapienza (Italy), defending a thesis about transformation of constraint logic programs for software specialization and verification.

From 2003 to 2004 I held contracts with the Computer Science Department of the Univerity of L'Aquila and with the ISTI institute in Pisa of the Italian National Research Council for doing research on security for high-performance computational grids.

From 2003 to 2005 I have been doing research - in collaboration with the Nestor Laboratory of the University of Rome "Tor Vergata" - (i) on security and certification of network services provision in business and government inter-organizational contexts, and (ii) on interoperability of national identification and authorization systems.

From 2005 I'm an assistant professor at the University "G. d'Annunzio" of Chieti - Pescara (Italy).

Contact

Fabio Fioravanti
Dipartimento di Economia
Università "G. D'Annunzio" di Chieti-Pescara
Viale Pindaro, 42
I-65127 Pescara (ITALY)

Email <mylastname> AT unich.it
Tel +39 (0)85 453 7697
Fax +39 (0)85 454 9755