Graphical Loop Invariant Based Programming. - Géraldine Brieven; Simon Liénardy; Lev Malcev; Benoit Donnet (FMTea, 2023)

Training Students' Abstraction Skills Around a CAFÉ 2.0. - Géraldine Brieven; Lev Malcev; Benoit Donnet (CoRR, 2023)

Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0. - Géraldine Brieven; Lev Malcev; Benoit Donnet (EDUCON, 2024)

How to Automate Feedback on Diagrammatic Reasoning with a Relevant Degree of Freedom? - Géraldine Brieven; Lev Malcev; Benoit Donnet (EDUCON, 2025)