Fabio Fioravanti

105 papers A 3B 4C 15Misc 1Journal 40Unranked 38
YearRankTypeTitle / Venue / Authors
2026 J jnl
Constrained Assumption-Based Argumentation Frameworks.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti, Francesca Toni
2025 J jnl
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2025 C conf
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization.
LOPSTR
Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi
2024 — conf
A Comprehensive Framework for Aspect-Category Sentiment Analysis.
NL4AI@AI*IA
Loris Di Quilio, Fabio Fioravanti
2024 C conf
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution).
PEPM
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
2024 — conf
AI for Sustainability: Research at Ud'A Node.
Ital-IA
Gianluca Amato, Alessia Amelio, Luciano Caroprese, Piero Chiacchiaretta, Fabio Fioravanti, Luigi Ippoliti, Maria Chiara Meo, Gianpiero Monaco, Christian Morbidoni, Luca Moscardelli, Maurizio Parton, Francesca Scozzari
2024 J jnl
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2024 — conf
Towards Benchmarking of Solidity Verification Tools.
FMBC@CAV
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
2024 J jnl
Towards benchmarking of Solidity verification tools.
CoRR
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
2024 — conf
Visualizing CHC Verification Conditions for Smart Contracts Auditing.
CILC
Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi
2023 C conf
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2023 — conf
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper).
NL4AI@AI*IA
Loris Di Quilio, Fabio Fioravanti
2023 C conf
Multiple Query Satisfiability of Constrained Horn Clauses.
PADL
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2022 — conf
Contract Strengthening through Constrained Horn Clause Verification.
HCVS/VPT@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Multiple Query Satisfiability of Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.
J. Log. Comput.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2022 J jnl
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
Theory Pract. Log. Program.
Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
2021 J jnl
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2021 J jnl
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 J jnl
Preface.
Fundam. Informaticae
Fabio Fioravanti, John P. Gallagher, Maurizio Proietti
2020 — conf
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
IJCAR (1)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 J jnl
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2020 — conf
Transformational Verification of Quicksort.
VPT/HCVS@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
2019 — conf
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.
VPT@Programming
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 — conf
Property-Based Test Case Generators for Free.
TAP@FM
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2019 — conf
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 — conf
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
HCVS/PERR@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2019 J jnl
Semantics and Controllability of Time-Aware Business Processes.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2019 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 — conf
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.
HCVS
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2018 C ed.
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
LOPSTR
Fabio Fioravanti, John P. Gallagher
2018 J jnl
Predicate Pairing for program verification.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
Solving Horn Clauses on Inductive Data Types Without Induction.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Enhancing Predicate Pairing with Abstraction for Relational Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).
CoRR
Fabio Fioravanti, John P. Gallagher
2017 J jnl
Predicate Pairing for Program Verification.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 C conf
Predicate Pairing with Abstraction for Relational Verification.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 J jnl
Semantics-based generation of verification conditions via program specialization.
Sci. Comput. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2017 B conf
Verifying Controllability of Time-Aware Business Processes.
RuleML+RR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 B conf
Relational Verification Through Horn Clause Transformation.
SAS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2016 — conf
Removing Unnecessary Variables from Horn Clause Verification Conditions.
HCVS@ETAPS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2016 C conf
Verification of Time-Aware Business Processes Using Constrained Horn Clauses.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 J jnl
Verification of Time-Aware Business Processes using Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 — conf
Verifying Relational Program Properties by Transforming Constrained Horn clauses.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
A Rule-based Verification Strategy for Array Manipulating Programs.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
Efficient generation of test data structures using constraint logic programming and program transformation.
J. Log. Comput.
Fabio Fioravanti, Maurizio Proietti, Valerio Senni
2015 J jnl
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 J jnl
Proving correctness of imperative programs by linearizing constrained Horn clauses.
Theory Pract. Log. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2015 C conf
Semantics-based generation of verification conditions by program specialization.
PPDP
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — ed.
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014.
HCVS
Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni
2014 — conf
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
VPT@CAV
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — conf
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 J jnl
Program verification via iterated specialization.
Sci. Comput. Program.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 A conf
VeriMAP: A Tool for Verifying Programs through Transformations.
TACAS
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014 — conf
Verification of Programs by Combining Iterated Specialization with Interpolation.
HCVS
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
2014 B conf
Verifying Array Programs by Transforming Verification Conditions.
VMCAI
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 J jnl
Controlling Polyvariance for Specialization-based Verification.
Fundam. Informaticae
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2013 J jnl
Generalization strategies for the verification of infinite state systems.
Theory Pract. Log. Program.
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2013 J jnl
Preface.
Fundam. Informaticae
Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi
2013 J jnl
Proving Theorems by Program Transformation.
Fundam. Informaticae
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2013 — conf
Verification of Imperative Programs by Constraint Logic Program Transformation.
Festschrift for Dave Schmidt
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 — conf
Verification of Imperative Programs by Transforming Constraint Logic Programs.
CILC
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 — conf
Verification of Imperative Programs through Transformation of Constraint Logic Programs.
VPT@CAV
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2013 C conf
Verifying programs via iterated specialization.
PEPM
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2012 J jnl
Evaluation of complex security scenarios using defense trees and economic indexes.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini
2012 — conf
Generation of Test Data Structures Using Constraint Logic Programming.
TAP@TOOLS
Valerio Senni, Fabio Fioravanti
2012 J jnl
Improving Reachability Analysis of Infinite State Systems by Specialization.
Fundam. Informaticae
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2012 J jnl
Modeling gene regulatory network motifs using statecharts.
BMC Bioinform.
Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli
2012 — conf
Software Model Checking by Program Specialization.
CILC
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
2012 C conf
Specialization with Constrained Generalization for Software Model Checking.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2011 — conf
Controlling Polyvariance for Specialization-based Verification.
CILC
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011 J jnl
Generalization Strategies for the Verification of Infinite State Systems
CoRR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011 — conf
Improving Reachability Analysis of Infinite State Systems by Specialization.
RP
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011 — ed.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011
CILC
Fabio Fioravanti
2011 J jnl
Program transformation for development, verification, and synthesis of programs.
Intelligenza Artificiale
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011 C conf
Using Real Relaxations during Program Specialization.
LOPSTR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010 — conf
Generalization Strategies for the Verification of Infinite State Systems.
CILC
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010 C conf
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.
LOPSTR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2008 — ch.
Identity Management for e-Government Services.
Digital Government
Fabio Fioravanti, Enrico Nardelli
2007 Misc conf
Using CP-nets as a guide for countermeasure selection.
SAC
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
2006 B conf
Defense trees for economic evaluation of security investments.
ARES
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
2005 — conf
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone.
EGOV
Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo
2004 — conf
A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services.
RIDE
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
2004 — conf
A Specification for Security Services on Computational Grids.
GSEM
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
2004 — conf
Automatic Proofs of Protocols via Program Transformation.
MSRAS
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2004 — conf
Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet.
EGOV
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
2004 — conf
The Italian Electronic Identity Card: a short introduction.
DG.O
Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
2004 J jnl
Transformation Rules for Locally Stratified Constraint Logic Programs
CoRR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2004 — ch.
Transformation Rules for Locally Stratified Constraint Logic Programs.
Program Development in Computational Logic
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2003 — conf
Certifying performance of cooperative services in a digital government framework.
SAINT
Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo
2003 J jnl
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
CoRR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2003 — conf
Inter-Organizational E-Services Accounting Management on Computational Grids.
I3E
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
2003 A conf
Quality of Service in Wireless Networks.
IPDPS
Vittorio Bilò, Adriano Di Pasquale, Fabio Fioravanti, Michele Flammini, Luca Forlizzi, Francesco Lo Presti, Giovanna Melideo, Enrico Nardelli, Alfredo Navarra, Guido Proietti
2002 C conf
Combining Logic Programs and Monadic Second Order Logics by Program Transformation.
LOPSTR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2002 — conf
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs.
APPIA-GULP-PRODE
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2001 A conf
Verification of Infinite-State Systems by Specialization of CLP Programs.
CP
Fabio Fioravanti
2001 C conf
Verification of Sets of Infinite State Processes Using Program Transformation.
LOPSTR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2000 — conf
Automated Strategies for Specializing Constraint Logic Programs.
LOPSTR (LNCS 2042: Selected Papers)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2000 C conf
Automated strategies for specializing constraint logic programs.
LOPSTR
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
1999 — conf
Contextual Specialization of Constraint Logic Programs.
APPIA-GULP-PRODE
Fabio Fioravanti, Maurizio Proietti
1999 — conf
Rules and Strategies for Contextual Specialization of Constraint Logic Programs.
WOID@ICLP
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti