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)

Tartare: Automatic Generation of C Pointer Statements and Feedback. - Géraldine Brieven; Valentin Baum; Benoit Donnet (ACE, 2024)

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)

Training Diagrammatic Reasoning with Automated Feedback through CAFÉ 2.0. - Géraldine Brieven; Benoit Donnet (SIGCSE (2), 2025)

Integrating Soft Skills Training into your Course through a Collaborative Activity. - Géraldine Brieven; Marcia Moraes; Dieter Pawelczak; Simona Vasilache; Benoit Donnet (SIGCSE (1), 2025)