Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fabio Fioravanti
2010 – today
- 2013
[j8]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Controlling Polyvariance for Specialization-based Verification. Fundam. Inform. 124(4): 483-502 (2013)- [j7]Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi: Preface. Fundam. Inform. 124(4): i-ii (2013)
- [j6]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization strategies for the verification of infinite state systems. TPLP 13(2): 175-199 (2013)
- [c26]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verifying programs via iterated specialization. PEPM 2013: 43-52
- [i4]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation. CoRR abs/1309.5139 (2013)
- 2012
- [j5]Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli: Modeling gene regulatory network motifs using statecharts. BMC Bioinformatics 13(S-4): S20 (2012)
- [j4]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Inform. 119(3-4): 281-300 (2012)
- [j3]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini: Evaluation of complex security scenarios using defense trees and economic indexes. J. Exp. Theor. Artif. Intell. 24(2): 161-192 (2012)
- [c25]Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi: Software Model Checking by Program Specialization. CILC 2012: 89-103
- [c24]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking. LOPSTR 2012: 51-70
- [c23]Valerio Senni, Fabio Fioravanti: Generation of Test Data Structures Using Constraint Logic Programming. TAP 2012: 115-131
- 2011
- [j2]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5(1): 119-125 (2011)
- [c22]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Controlling Polyvariance for Specialization-based Verification. CILC 2011: 179-197
- [c21]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Using Real Relaxations during Program Specialization. LOPSTR 2011: 106-122
- [c20]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Improving Reachability Analysis of Infinite State Systems by Specialization. RP 2011: 165-179
- [e1]Fabio Fioravanti (Ed.): Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR Workshop Proceedings 810, CEUR-WS.org 2011
- [i3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems. CoRR abs/1110.0999 (2011)
- 2010
- [c19]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems. CILC 2010
- [c18]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR 2010: 164-183
2000 – 2009
- 2007
- [c17]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304
- 2006
- [c16]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Defense trees for economic evaluation of security investments. ARES 2006: 416-423
- 2005
- [c15]Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo: An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. EGOV 2005: 291-299
- 2004
- [c14]Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: The Italian Electronic Identity Card: a short introduction. DG.O 2004
- [c13]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. EGOV 2004: 250-255
- [c12]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: A Specification for Security Services on Computational Grids. GSEM 2004: 119-135
- [c11]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339
- [c10]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. RIDE 2004: 95-102
- [i2]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs. CoRR cs.PL/0402048 (2004)
- 2003
- [c9]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: Inter-Organizational E-Services Accounting Management on Computational Grids. I3E 2003: 267-278
- [c8]Vittorio Bilò, Adriano Di Pasquale, Fabio Fioravanti, Michele Flammini, Luca Forlizzi, Francesco Lo Presti, Giovanna Melideo, Enrico Nardelli, Alfredo Navarra, Guido Proietti: Quality of Service in Wireless Networks. IPDPS 2003: 224
- [c7]Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo: Certifying performance of cooperative services in a digital government framework. SAINT 2003: 249-256
- [i1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation. CoRR cs.PL/0311043 (2003)
- 2002
- [c6]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002: 160-181
- 2001
- [c5]Fabio Fioravanti: Verification of Infinite-State Systems by Specialization of CLP Programs. CP 2001: 762
- [c4]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001: 111-128
- 2000
- [c3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated strategies for specializing constraint logic programs. LOPSTR 2000
- [c2]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000: 125-146
1990 – 1999
- 1999
- [j1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Electr. Notes Theor. Comput. Sci. 30(2): 129-144 (1999)
- [c1]Fabio Fioravanti, Maurizio Proietti: Contextual Specialization of Constraint Logic Programs. APPIA-GULP-PRODE 1999: 455-470
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:29 CEST by the dblp team