Fabio Fioravanti

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022

Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

[BibT_eX]

[DOI]

Emanuele De Angelis

John P. Gallagher

Manuel V. Hermenegildo

Theory Pract. Log. Program., 2022

Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Contract Strengthening through Constrained Horn Clause Verification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, 2022

2020

Preface.

[BibT_eX]

[DOI]

John P. Gallagher

Fundam. Informaticae, 2020

Transformational Verification of Quicksort.

[BibT_eX]

[DOI]

Emanuele De Angelis

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Semantics and Controllability of Time-Aware Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019

Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Property-Based Test Case Generators for Free.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Solving Horn Clauses on Inductive Data Types Without Induction.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Predicate Pairing for program verification.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017

Semantics-based generation of verification conditions via program specialization.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Program Verification using Constraint Handling Rules and Array Constraint Generalizations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Enhancing Predicate Pairing with Abstraction for Relational Verification.

[BibT_eX]

[DOI]

CoRR, 2017

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).

[BibT_eX]

[DOI]

John P. Gallagher

CoRR, 2017

Verifying Controllability of Time-Aware Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Predicate Pairing with Abstraction for Relational Verification.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

Removing Unnecessary Variables from Horn Clause Verification Conditions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Relational Verification Through Horn Clause Transformation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Verification of Time-Aware Business Processes Using Constrained Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Verifying Relational Program Properties by Transforming Constrained Horn clauses.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Proving correctness of imperative programs by linearizing constrained Horn clauses.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Efficient generation of test data structures using constraint logic programming and program transformation.

[BibT_eX]

[DOI]

Valerio Senni

J. Log. Comput., 2015

A Rule-based Verification Strategy for Array Manipulating Programs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Semantics-based generation of verification conditions by program specialization.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Program verification via iterated specialization.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Verification of Programs by Combining Iterated Specialization with Interpolation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Verifying Array Programs by Transforming Verification Conditions.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

VeriMAP: A Tool for Verifying Programs through Transformations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Generalization strategies for the verification of infinite state systems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Preface.

[BibT_eX]

[DOI]

Gianfranco Rossi

Fundam. Informaticae, 2013

Proving Theorems by Program Transformation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Controlling Polyvariance for Specialization-based Verification.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Verification of Imperative Programs by Constraint Logic Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2013

Verifying programs via iterated specialization.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Verification of Imperative Programs by Transforming Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Verification of Imperative Programs through Transformation of Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012

Evaluation of complex security scenarios using defense trees and economic indexes.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2012

Improving Reachability Analysis of Infinite State Systems by Specialization.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Modeling gene regulatory network motifs using statecharts.

[BibT_eX]

[DOI]

Manuela Helmer-Citterich

Enrico Nardelli

BMC Bioinform., 2012

Generation of Test Data Structures Using Constraint Logic Programming.

[BibT_eX]

[DOI]

Valerio Senni

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Specialization with Constrained Generalization for Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Software Model Checking by Program Specialization.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Program transformation for development, verification, and synthesis of programs.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Using Real Relaxations during Program Specialization.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2008

Identity Management for e-Government Services.

[BibT_eX]

[DOI]

Enrico Nardelli

Proceedings of the Digital Government: E-Government Research, 2008

2007

Using CP-nets as a guide for countermeasure selection.

[BibT_eX]

[DOI]

Stefano Bistarelli

Pamela Peretti

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Defense trees for economic evaluation of security investments.

[BibT_eX]

[DOI]

Stefano Bistarelli

Pamela Peretti

Proceedings of the The First International Conference on Availability, 2006

2005

An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government: 4th International Conference, 2005

2004

Transformation Rules for Locally Stratified Constraint Logic Programs

[BibT_eX]

[DOI]

CoRR, 2004

A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Research Issues in Data Engineering (RIDE-WS-ECEG 2004), 2004

Automatic Proofs of Protocols via Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Transformation Rules for Locally Stratified Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

A Specification for Security Services on Computational Grids.

[BibT_eX]

[DOI]

Proceedings of the Grid Services Engineering and Management, 2004

Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government: Third International Conference, 2004

The Italian Electronic Identity Card: a short introduction.

[BibT_eX]

[DOI]

Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004

2003

Certifying performance of cooperative services in a digital government framework.

[BibT_eX]

[DOI]

Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

Quality of Service in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Inter-Organizational E-Services Accounting Management on Computational Grids.

[BibT_eX]

[DOI]

Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

2002

Combining Logic Programs and Monadic Second Order Logics by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Verification of Sets of Infinite State Processes Using Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Verification of Infinite-State Systems by Specialization of CLP Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Automated strategies for specializing constraint logic programs.

[BibT_eX]

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999

Rules and Strategies for Contextual Specialization of Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Contextual Specialization of Constraint Logic Programs.

[BibT_eX]