FIORAVANTI, Fabio
FIORAVANTI, Fabio
DIPARTIMENTO DI ECONOMIA
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
2024-01-01 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services
2004-01-01 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Rule-based Verification Strategy for Array Manipulating Programs
2015-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
A Specification for Security Services on Computational Grids
2004-01-01 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Statechart based representation for SBML descriptions
2010-01-01 Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone
2005-01-01 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-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
Automated strategies for specializing constraint logic programs
2001-01-01 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Automatic Proofs of Protocols via Program Transformation.
2005-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Proietti, Maurizio
Bounded symbolic execution for runtime error detection of Erlang programs
2018-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Branching Preserving Specialization for Software Model Checking
2012-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Combining logic programs and monadic second order logics by program transformation
2003-01-01 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
2023-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Contract Strengthening through Constrained Horn Clause Verification
2022-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Controlling Polyvariance for Specialization-based Verification
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Controlling Polyvariance for Specialization-based Verification
2013-01-01 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Defense trees for economic evaluation of security investments
2006-01-01 Bistarelli, Stefano; Fioravanti, Fabio; Peretti, Pamela
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation
2015-01-01 Fioravanti, Fabio; Proietti, M.; Senni, V.
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset
2023-01-01 DI QUILIO, Loris; Fioravanti, Fabio
Evaluation of complex security scenarios using defense trees and economic indexes
2012-01-01 S., Bistarelli; Fioravanti, Fabio; P., Peretti; F., Santini
| 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 | |
| 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 | |
| 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. | |
| Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset | 2023 | DI QUILIO, Loris; Fioravanti, Fabio | |
| Evaluation of complex security scenarios using defense trees and economic indexes | 2012 | S., Bistarelli; Fioravanti, Fabio; P., Peretti; F., Santini |