Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. - Théo Losekoot; Thomas Genet; Thomas P. Jensen (FSCD, 2023)

Verification of Programs with ADTs Using Shallow Horn Clauses. - Théo Losekoot; Thomas Genet; Thomas P. Jensen (SAS, 2024)

Automatic program verification by inference of relational models. (Vérification automatique de programmes par inférence de modèles relationnels). - Théo Losekoot (2024)