Papers
CHC-COMP 2023: Competition Report
[
PDF]
E. De Angelis, H. Govind V K.
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis (
HCVS 2023).
Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 402,
Open Publishing Association, 2023.
ABA Learning via ASP
[
PDF]
E. De Angelis, M. Proietti, F.Toni.
Proceedings of the 39th International Conference on Logic Programming
(
ICLP 2023).
Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 385,
Open Publishing Association, 2023.
CHC-COMP 2022: Competition Report
[
PDF]
E. De Angelis, H. Govind V K.
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and
10th International Workshop on Verification and Program Transformation
(
HCVS/VPT 2022).
Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 373,
Open Publishing Association, 2022.
Transformational Verification of Quicksort
[
PDF]
E. De Angelis, F. Fioravanti, M. Proietti.
Proceedings 8th International Workshop on Verification and Program Transformation
and 7th Workshop on Horn Clauses for Verification and Synthesis
(
VPT 2020
and
HCVS 2020).
Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 320,
Open Publishing Association, 2020.
Verifying Relational Program Properties by Transforming Constrained Horn clauses
[
PDF]
E. De Angelis, F. Fioravanti, A. Pettorossi, M. Proietti.
Proceedings of the 31st Italian Conference on Computational Logic
(
CILC 2016).
CEUR Workshop Proceedings, vol. 1645, CEUR-WS.org, 2016.
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
[
PDF]
E. De Angelis, F. Fioravanti, A. Pettorossi, M. Proietti.
Proceedings of the 29th Italian Conference on Computational Logic
(
CILC 2014).
CEUR Workshop Proceedings, vol. 1195, CEUR-WS.org, 2014.
Synthesizing Concurrent Programs using Answer Set Programming
[
PDF]
E. De Angelis, A. Pettorossi, M. Proietti.
Fundamenta Informaticae, vol. 120, IOS Press, 2012.
The source code for synthesizing
k-mutex-
p programs can be found
here.
More details on the experimental evaluation and the source code can be found in my Ph.D. thesis (Part II - Chapters 4 and 6).
Software Model Checking by Program Specialization
[
PDF]
E. De Angelis, F. Fioravanti, A. Pettorossi, M. Proietti.
Proceedings of the 27th Italian Conference on Computational Logic,
(
CILC 2012).
CEUR Workshop Proceedings, vol. 857, CEUR-WS.org, 2012.
Synthesizing Concurrent Programs using Answer Set Programming
[
PDF]
E. De Angelis, A. Pettorossi, M. Proietti.
Proceedings of the International Workshop on on Concurrency, Specification, and Programming
(
CS&P2011).
Białystok University of Technology, 2011.
Also presented at the 26th Italian Conference on Computational Logic
(
CILC 2011).
CEUR Workshop Proceedings, vol. 810, CEUR-WS.org, 2011.
Talks
Learning Brave Assumption-Based Argumentation Frameworks via ASP
[
PDF]
27th European Conference on Artificial Intelligence
(
ECAI 2024)
October 21, 2024, Santiago de Compostela, Spain
Logic-based Software Testing and Verification
[
PDF]
Giornate Scientifiche di Istituto
(
IASI Day 2023)
January 18, 2023, Rome, Italy
CHC-COMP: Report on the 2022 edition
[
PDF]
9th Workshop on Horn Clauses for Verification and Synthesis
(
HCVS 2022)
April 3, 2022, Munich, Germany
Property-Based Test Case Generators for Free
[
PDF]
13th International Conference on Tests and Proofs
(
TAP 2019)
October 9-11, 2019, Porto, Portugal
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
[
PDF]
34th Italian Conference on Computational Logic
(
CILC 2019)
June 19-21, 2019, Trieste, Italy
Meta-programming and symbolic execution for detecting run-time errors in Erlang programs
[
PDF]
33rd Italian Conference on Computational Logic
(
CILC 2018)
September 20-22, 2018, Bolzano, Italy
Verifica formale di modelli e programmi basata sulla trasformazione di clausole di Horn con vincoli
[
PDF]
Convegno e Assemblea GNCS 2018
February 14-16, 2018, Montecatini Terme, Italy
Enhancing Predicate Pairing with Abstraction for Relational Verification
[
PDF]
27th International Symposium on Logic-Based Program Synthesis and Transformation
(
LOPSTR 2017)
October 10-12, 2017, Namur, Belgium
Verifying Relational Program Properties by Transforming Constrained Horn clauses
[
PDF]
31st Italian Conference on Computational Logic
(
CILC 2016)
June 20-22, 2016, Milano, Italy
Software Verification and Synthesis using Constraints and Program Transformation.
[
PDF]
30th Italian Conference on Computational Logic
(
CILC 2015)
July 1-3, 2015, Genova, Italy
Verification of Programs by Combining Iterated Specialization with Interpolation
[
PDF]
First International Workshop on Horn Clauses for Verification and Synthesis
(
HCVS 2014)
July 17, 2014, Vienna, Austria
Program Verification using Constraint Handling Rules and
Array Constraint Generalizations
[
PDF]
29th Italian Conference on Computational Logic
(
CILC 2014)
June 16-18, 2014, Turin, Italy
VeriMAP: A Tool for Verifying Programs through Transformations
[
PDF]
20th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (
TACAS 2014)
April 5-13, 2014, Grenoble, France
Verifying Programs via Iterated Specialization
[
PDF]
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.
(
PEPM 2013)
January 21-22, 2013, Rome, Italy
Branching Preserving Specialization for Software Model Checking
[
PDF]
International Symposium on Logic-Based Program Synhesis and Transformation
(
LOPSTR 2012)
September 18-20, 2012, Leuven, Belgium
Software Model Checking by Program Specialization
[
PDF]
International Conference on Logic Programming
(
ICLP 2012)
September 3-8, 2012, Budapest, Hungary
Software Model Checking by Program Specialization
[
PDF]
27th Italian Conference on Computational Logic
(
CILC 2012)
June 6-7, 2012, Rome, Italy
Synthesizing Concurrent Programs using Answer Set Programming
[
PDF]
26th Italian Conference on Computational Logic
(
CILC 2011)
August 31 - September 2, 2011, Pescara, Italy
Extended version of the presentation given in February 2012 at LIAFA, Paris, France
[
PDF]
Activities
CILC 2024:
39th Italian Conference on Computational Logic (Co-chair)
June 26-28, 2024, Rome, Italy
HCVS 2024:
11th Workshop on Horn Clauses for Verification and Synthesis (PC member)
April 7, 2024, Luxembourg City, Luxembourg
VMCAI 2024:
25th International Conference on Verification, Model Checking, and Abstract Interpretation (PC member)
January 17-19, 2024, London, United Kingdom
AST 2024:
5th ACM/IEEE International Conference on Automation of Software Test (OC member)
April 15-16, 2024, Lisbon, Portugal
CILC 2023:
38th Italian Conference on Computational Logic (PC member)
June 21-23, 2023, Udine, Italy
CHC-COMP 2023:
6th Competition on Constraint Horn Clauses (Co-chair)
April 23, 2023, Paris, France
CILC 2022:
37th Italian Conference on Computational Logic (PC member)
June 29 - July 1, 2022, Bologna, Italy
LOPSTR 2022:
32nd International Symposium on Logic-Based Program Synthesis and Transformation (PC member)
September 21-23, 2022, Tbilisi, Georgia
CHC-COMP 2022:
5th Competition on Constraint Horn Clauses (Co-chair)
April 3, 2022, Munich, Germany
HCVS 2022:
9th Workshop on Horn Clauses for Verification and Synthesis (PC member)
April 3, 2022, Munich, Germany
AST 2022:
3rd ACM/IEEE International Conference on Automation of Software Test (OC member)
May 21-22, 2022, Pennsylvania, USA
LOPSTR 2021:
31st International Symposium on Logic-Based Program Synthesis and Transformation (PC co-chair)
September 7-9, 2021, Tallinn, Estonia
ACEC@WETICE 2021:
19th Adaptive Computing (and Agents) for Enhanced Collaboration (PC member)
October 27-29, 2021, Basque Coast - Bayonne, France
CILC 2021:
36th Italian Conference on Computational Logic (PC member)
September 7-9, 2021, Parma, Italy
HCVS 2021:
8th Workshop on Horn Clauses for Verification and Synthesis (PC member)
March 28, 2021, Luxembourg, Luxembourg
VPT 2021:
9th International Workshop on Verification and Program Transformation (PC Member)
March 27-28, 2021, Luxembourg, Luxembourg
CILC 2020:
35th Italian Conference on Computational Logic (PC member)
October 13-15, 2020, Rende, Italy
LOPSTR 2020:
30th International Symposium on Logic-Based Program Synthesis and Transformation (PC member)
September 7-9, 2020, Bologna, Italy
ACEC@WETICE 2020:
18th Adaptive Computing (and Agents) for Enhanced Collaboration (PC member)
June 10-12, 2020, Basque Coast - Bayonne, France
IJCAI-PRICAI 2020:
29th International Joint Conference on Artificial Intelligence -
17th Pacific Rim International Conference on Artificial Intelligence (PC member)
July 11-17, 2020, Yokohama, Japan
HCVS 2020:
7th Workshop on Horn Clauses for Verification and Synthesis (PC member)
April 26, 2020, Dublin, Ireland
IJCAI 2019:
28th International Joint Conference on Artificial Intelligence (PC member)
August 10-16, 2019, Macao, China
HCVS 2019:
6th Workshop on Horn Clauses for Verification and Synthesis (PC co-chair)
April 7, 2019, Prague, Czech Republic
CILC 2018:
33rd Italian Conference on Computational Logic (PC Member)
September 20-22, 2018, Bolzano, Italy
VPT 2018:
6th International Workshop on Verification and Program Transformation (PC Member)
April 29, 2018, Thessaloniki, Greece
LOPSTR 2017:
27th International Symposium on Logic-Based Program Synthesis and Transformation (PC Member)
October 10-12, 2017, Namur, Belgium
VPT 2017:
5th International Workshop on Verification and Program Transformation (PC Member)
April 29, 2017, Uppsala, Sweden
CILC 2016:
31st Italian Conference on Computational Logic (PC Member)
June 20-22, 2016, Milano, Italy
CILC 2015:
30th Italian Conference on Computational Logic (PC Member)
July 1-3, 2015, Genova, Italy
VPT 2015:
3rd International Workshop on Verification and Program Transformation (OC Member)
April 11, 2015, London, UK
LOPSTR 2014:
24th International Symposium on Logic-based Program Transformation and Synthesis (OC Member)
September 9-11, 2014, Canterbury, UK
IFIP WG2.1 2012 Meeting:
68th Meeting of the IFIP Working Group 2.1 on Algorithmic Languages and Calculi (OC Member)
February 6-10, 2012, Rome, Italy
CILC 2011:
26th Italian Conference on Computational Logic (OC Member)
August 31 - September 2, 2011, Pescara, Italy
