Géraldine Brieven

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

Collaborative distances:

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

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