IRIS

FIORAVANTI, Fabio

FIORAVANTI, Fabio  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autore(i) File
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 2024 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Rule-based Verification Strategy for Array Manipulating Programs 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
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
AI for Sustainability: Research at Ud’A Node 2024 Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F.
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
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 2024 De Angelis, E.; Fioravanti, F. A. B. I. O.; Pettorossi, A.; Proietti, M.
Combining logic programs and monadic second order logics by program transformation 2003 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 2023 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Contract Strengthening through Constrained Horn Clause Verification 2022 De Angelis, Emanuele; 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.