Folgen
Fabio Fioravanti
Titel
Zitiert von
Zitiert von
Jahr
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
922014
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Proc. VCL 1, 85-96, 2001
642001
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
592013
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
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
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
472014
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
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
432016
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
312022
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
302012
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
Automated strategies for specializing constraint logic programs
KK Lau, F Fioravanti, M Proietti, A Pettorossi
Logic Based Program Synthesis and Transformation: 10th International …, 2001
272001
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
262018
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
232015
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
Identity management for e-government services
F Fioravanti, E Nardelli
Digital Government: E-Government Research, Case Studies, and Implementation …, 2008
212008
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20