FIORAVANTI, Fabio

FIORAVANTI, Fabio  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 77 (tempo di esecuzione: 0.083 secondi).
Titolo Data di pubblicazione Autore(i) File
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Specification for Security Services on Computational Grids 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Statechart based representation for SBML descriptions 2010 Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 2005 Franco, Arcieri; Andrea, Dimitri; Fioravanti, Fabio; Enrico, Nardelli; Katia, Pallucca; Alberto, Postiglione; Maurizio, Talamo
Analysis and Transformation of Constrained Horn Clauses for Program Verification 2021 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
Automated strategies for specializing constraint logic programs 2001 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Automatic Proofs of Protocols via Program Transformation. 2005 Fioravanti, Fabio; Alberto, Pettorossi; Proietti, Maurizio
Bounded symbolic execution for runtime error detection of Erlang programs 2018 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Branching Preserving Specialization for Software Model Checking 2012 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Combining logic programs and monadic second order logics by program transformation 2003 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Controlling Polyvariance for Specialization-based Verification 2011 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Controlling Polyvariance for Specialization-based Verification 2013 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Defense trees for economic evaluation of security investments 2006 Bistarelli, Stefano; Fioravanti, Fabio; Peretti, Pamela
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 2015 Fioravanti, Fabio; Proietti, M.; Senni, V.
Evaluation of complex security scenarios using defense trees and economic indexes 2012 S., Bistarelli; Fioravanti, Fabio; P., Peretti; F., Santini
Generalization Strategies for the Verification of Infinite State Systems 2013 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Generalization Strategies for the Verification of Infinite State Systems. 2010 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Generation of test data structures using Constraint Logic Programming 2012 Senni, Valerio; Fioravanti, Fabio
Identity Management for e-Government Services 2008 Fioravanti, Fabio; Enrico, Nardelli
Improving Reachability Analysis of Infinite State Systems by Specialization 2011 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni