Fabio Fioravanti
Title
Cited by
Cited by
Year
Defense trees for economic evaluation of security investments
S Bistarelli, F Fioravanti, P Peretti
First International Conference on Availability, Reliability and Security …, 2006
2062006
VeriMAP: A tool for verifying programs through transformations
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
International Conference on Tools and Algorithms for the Construction and …, 2014
702014
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
582001
Generalization strategies for the verification of infinite state systems
F Fioravanti, A Pettorossi, M Proietti, V Senni
arXiv preprint arXiv:1110.0999, 2011
532011
Using CP-nets as a guide for countermeasure selection
S Bistarelli, F Fioravanti, P Peretti
Proceedings of the 2007 ACM symposium on Applied computing, 300-304, 2007
452007
Transformation rules for locally stratified constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Program Development in Computational Logic, 291-339, 2004
452004
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
412014
Semantics-based generation of verification conditions via program specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 147, 78-108, 2017
392017
Relational verification through horn clause transformation
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
International Static Analysis Symposium, 147-169, 2016
302016
Automated strategies for specializing constraint logic programs
F Fioravanti, M Proietti, A Pettorossi
International Workshop on Logic-Based Program Synthesis and Transformation …, 2000
242000
Proving correctness of imperative programs by linearizing constrained Horn clauses
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
arXiv preprint arXiv:1507.05877, 2015
232015
Generation of test data structures using constraint logic programming
V Senni, F Fioravanti
International Conference on Tests and Proofs, 115-131, 2012
232012
Verifying programs via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
212013
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services
F Arcieri, F Fioravanti, E Nardelli, M Talamo
14th International Workshop Research Issues on Data Engineering: Web …, 2004
212004
Evaluation of complex security scenarios using defense trees and economic indexes
S Bistarelli, F Fioravanti, P Peretti, F Santini
Journal of Experimental & Theoretical Artificial Intelligence 24 (2), 161-192, 2012
182012
Program specialization for verifying infinite state systems: An experimental evaluation
F Fioravanti, A Pettorossi, M Proietti, V Senni
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
182010
Verification of sets of infinite state processes using program transformation
F Fioravanti, A Pettorossi, M Proietti
International Workshop on Logic-based Program Synthesis and Transformation …, 2001
172001
Verifying array programs by transforming verification conditions
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
International Conference on Verification, Model Checking, and Abstract …, 2014
152014
Verification of imperative programs by constraint logic program transformation
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
arXiv preprint arXiv:1309.5139, 2013
152013
Modeling gene regulatory network motifs using statecharts
F Fioravanti, M Helmer-Citterich, E Nardelli
BMC bioinformatics 13 (S4), S20, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20