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

Contract Strengthening through Constrained Horn Clause Verification.

[BibT_eX]

[DOI]

Emanuele De Angelis

Fabio Fioravanti

Alberto Pettorossi

Maurizio Proietti

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

2021

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021).

[BibT_eX]

[DOI]

Emanuele De Angelis

Wim Vanhoof

CoRR, 2021

Inferring Relations Among Test Programs in Microservices Applications.

[BibT_eX]

[DOI]

Emanuele De Angelis

Guglielmo De Angelis

Alessandro Pellegrini

Maurizio Proietti

Proceedings of the 15th IEEE International Conference on Service-Oriented System Engineering, 2021

Automatic Extraction of Behavioral Features for Test Program Similarity Analysis.

[BibT_eX]

[DOI]

Emanuele De Angelis

Alessandro Pellegrini

Maurizio Proietti

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Transformational Verification of Quicksort.

[BibT_eX]

[DOI]

Emanuele De Angelis

Fabio Fioravanti

Maurizio Proietti

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

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

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

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

Synthesizing Concurrent Programs Using Answer Set Programming.

[BibT_eX]

[DOI]

Emanuele De Angelis

Alberto Pettorossi

Maurizio Proietti

Fundam. Informaticae, 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]

Emanuele De Angelis

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Software Model Checking by Program Specialization.

[BibT_eX]

[DOI]

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

Emanuele De Angelis

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...