Géraldine Brieven

According to our database, Géraldine Brieven authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Integrating Soft Skills Training into your Course through a Collaborative Activity.

Géraldine Brieven, Marcia Moraes, Dieter Pawelczak, Simona Vasilache, Benoit Donnet

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Training Diagrammatic Reasoning with Automated Feedback through CAFÉ 2.0.

Géraldine Brieven, Benoit Donnet

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

How to Automate Feedback on Diagrammatic Reasoning with a Relevant Degree of Freedom?

Géraldine Brieven, Lev Malcev, Benoit Donnet

Proceedings of the IEEE Global Engineering Education Conference, 2025

2024

Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0.

Géraldine Brieven, Lev Malcev, Benoit Donnet

Proceedings of the IEEE Global Engineering Education Conference, 2024

Tartare: Automatic Generation of C Pointer Statements and Feedback.

Géraldine Brieven, Valentin Baum, Benoit Donnet

Proceedings of the 26th Australasian Computing Education Conference, 2024

2023

Training Students' Abstraction Skills Around a CAFÉ 2.0.

Géraldine Brieven, Lev Malcev, Benoit Donnet

CoRR, 2023

Graphical Loop Invariant Based Programming.

Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023