Follow
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
2542006
VeriMAP: A tool for verifying programs through transformations
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
892014
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Proc. VCL 1, 85-96, 2001
612001
Semantics-based generation of verification conditions by program specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
582015
Generalization strategies for the verification of infinite state systems
F Fioravanti, A Pettorossi, M Proietti, V Senni
Theory and Practice of Logic Programming 13 (2), 175-199, 2013
582013
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
512007
Transformation rules for locally stratified constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Program Development in Computational Logic: A Decade of Research Advances in …, 2004
472004
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
452014
Relational verification through horn clause transformation
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
412016
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
312012
Generation of test data structures using constraint logic programming
V Senni, F Fioravanti
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech …, 2012
282012
Analysis and transformation of constrained horn clauses for program verification
E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ...
Theory and Practice of Logic Programming 22 (6), 974-1042, 2022
272022
Solving Horn clauses on inductive data types without induction
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Theory and Practice of Logic Programming 18 (3-4), 452-469, 2018
252018
Automated strategies for specializing constraint logic programs
KK Lau, F Fioravanti, M Proietti, A Pettorossi
Logic Based Program Synthesis and Transformation: 10th International …, 2001
252001
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
232004
Proving correctness of imperative programs by linearizing constrained Horn clauses
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Theory and Practice of Logic Programming 15 (4-5), 635-650, 2015
222015
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
202013
Identity management for e-government services
F Fioravanti, E Nardelli
Digital Government: E-Government Research, Case Studies, and Implementation …, 2008
192008
Verifying array programs by transforming verification conditions
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
182014
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
The system can't perform the operation now. Try again later.
Articles 1–20