Fabio Fioravanti

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 44

Top Topics

Constraint Handling Rules

Symbolic Execution

Top Venues

Theory Pract. Log. Program.

Fundam. Informaticae

Publications

Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). PEPM (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards benchmarking of Solidity verification tools. CoRR (2024)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. LOPSTR (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Multiple Query Satisfiability of Constrained Horn Clauses. PADL (2023)
Loris Di Quilio, Fabio Fioravanti
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper). NL4AI@AI*IA (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Multiple Query Satisfiability of Constrained Horn Clauses. CoRR (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Contract Strengthening through Constrained Horn Clause Verification. HCVS/VPT@ETAPS (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. CoRR (2022)
Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. Theory Pract. Log. Program. 22 (4) (2022)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22 (6) (2022)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. J. Log. Comput. 32 (2) (2022)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR (2021)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach. CoRR (2021)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. IJCAR (1) (2020)
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
Transformational Verification of Quicksort. VPT/HCVS@ETAPS (2020)
Fabio Fioravanti, John P. Gallagher, Maurizio Proietti
Preface. Fundam. Informaticae 173 (4) (2020)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. CoRR (2020)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Property-Based Test Case Generators for Free. TAP@FM (2019)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Semantics and Controllability of Time-Aware Business Processes. Fundam. Informaticae 165 (3-4) (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Theory Pract. Log. Program. 19 (4) (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC (2019)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS (2019)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing for program verification. Theory Pract. Log. Program. 18 (2) (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction. Theory Pract. Log. Program. 18 (3-4) (2018)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Solving Horn Clauses on Inductive Data Types Without Induction. CoRR (2018)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verifying Controllability of Time-Aware Business Processes. RuleML+RR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Enhancing Predicate Pairing with Abstraction for Relational Verification. CoRR (2017)
Fabio Fioravanti, John P. Gallagher
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). CoRR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Fundam. Informaticae 150 (1) (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing with Abstraction for Relational Verification. LOPSTR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Predicate Pairing for Program Verification. CoRR (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Semantics-based generation of verification conditions via program specialization. Sci. Comput. Program. 147 (2017)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Relational Verification Through Horn Clause Transformation. SAS (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS (2016)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Relational Program Properties by Transforming Constrained Horn clauses. CILC (2016)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR (2016)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving correctness of imperative programs by linearizing constrained Horn clauses. Theory Pract. Log. Program. 15 (4-5) (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Semantics-based generation of verification conditions by program specialization. PPDP (2015)
Fabio Fioravanti, Maurizio Proietti, Valerio Senni
Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25 (6) (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Informaticae 140 (3-4) (2015)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. CoRR (2015)
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. CILC (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program verification via iterated specialization. Sci. Comput. Program. 95 (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying Array Programs by Transforming Verification Conditions. VMCAI (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
VeriMAP: A Tool for Verifying Programs through Transformations. TACAS (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV (2014)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proving Theorems by Program Transformation. Fundam. Informaticae 127 (1-4) (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. 13 (2) (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs through Transformation of Constraint Logic Programs. VPT@CAV (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae 124 (4) (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verifying programs via iterated specialization. PEPM (2013)
Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi
Preface. Fundam. Informaticae 124 (4) (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs by Transforming Constraint Logic Programs. CILC (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae 119 (3-4) (2012)
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
Software Model Checking by Program Specialization. CILC (2012)
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini
Evaluation of complex security scenarios using defense trees and economic indexes. J. Exp. Theor. Artif. Intell. 24 (2) (2012)
Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli
Modeling gene regulatory network motifs using statecharts. BMC Bioinform. 13 (S-4) (2012)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Specialization with Constrained Generalization for Software Model Checking. LOPSTR (2012)
Valerio Senni, Fabio Fioravanti
Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS (2012)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Improving Reachability Analysis of Infinite State Systems by Specialization. RP (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5 (1) (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization Strategies for the Verification of Infinite State Systems CoRR (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Using Real Relaxations during Program Specialization. LOPSTR (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Controlling Polyvariance for Specialization-based Verification. CILC (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR (2010)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization Strategies for the Verification of Infinite State Systems. CILC (2010)
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
Using CP-nets as a guide for countermeasure selection. SAC (2007)
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
Defense trees for economic evaluation of security investments. ARES (2006)
Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. EGOV (2005)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Transformation Rules for Locally Stratified Constraint Logic Programs CoRR (2004)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Automatic Proofs of Protocols via Program Transformation. MSRAS (2004)
Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
The Italian Electronic Identity Card: a short introduction. DG.O (2004)
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. EGOV (2004)
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. RIDE (2004)
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
A Specification for Security Services on Computational Grids. GSEM (2004)
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
Inter-Organizational E-Services Accounting Management on Computational Grids. I3E (2003)
Vittorio Bilò, Adriano Di Pasquale, Fabio Fioravanti, Michele Flammini, Luca Forlizzi, Francesco Lo Presti, Giovanna Melideo, Enrico Nardelli, Alfredo Navarra, Guido Proietti
Quality of Service in Wireless Networks. IPDPS (2003)
Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo
Certifying performance of cooperative services in a digital government framework. SAINT (2003)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Combining Logic Programs and Monadic Second Order Logics by Program Transformation CoRR (2003)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR (2002)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. APPIA-GULP-PRODE (2002)
Fabio Fioravanti
Verification of Infinite-State Systems by Specialization of CLP Programs. CP (2001)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR (2001)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Automated strategies for specializing constraint logic programs. LOPSTR (2000)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (2) (1999)
Fabio Fioravanti, Maurizio Proietti
Contextual Specialization of Constraint Logic Programs. APPIA-GULP-PRODE (1999)