| Defense trees for economic evaluation of security investments S Bistarelli, F Fioravanti, P Peretti First International Conference on Availability, Reliability and Security …, 2006 | 256 | 2006 |
| 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 | 96 | 2014 |
| Verifying CTL properties of infinite state systems by specializing constraint logic programs F Fioravanti, A Pettorossi, M Proietti Proc. VCL 1, 85-96, 2001 | 64 | 2001 |
| 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 | 61 | 2015 |
| 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 | 59 | 2013 |
| 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 | 52 | 2007 |
| Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 47 | 2014 |
| 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 | 47 | 2004 |
| 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 | 46 | 2016 |
| 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 | 35 | 2022 |
| 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 | 31 | 2012 |
| Generation of test data structures using constraint logic programming V Senni, F Fioravanti Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech …, 2012 | 29 | 2012 |
| Automated strategies for specializing constraint logic programs KK Lau, F Fioravanti, M Proietti, A Pettorossi Logic Based Program Synthesis and Transformation: 10th International …, 2001 | 27 | 2001 |
| 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 | 26 | 2018 |
| 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 | 23 | 2015 |
| 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 | 23 | 2004 |
| Identity management for e-government services F Fioravanti, E Nardelli Digital Government: E-Government Research, Case Studies, and Implementation …, 2008 | 21 | 2008 |
| 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 | 20 | 2013 |
| Verifying array programs by transforming verification conditions E De Angelis, F Fioravanti, A Pettorossi, M Proietti Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 18 | 2014 |
| 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 | 18 | 2010 |
