Profil

Brieven Géraldine

Dép. d'électric., électron. et informat. (Inst.Montefiore) > Algorithmique des grands systèmes

Montefiore Institute

See author's contact details
ORCID
0000-0003-1410-1470
Main Referenced Co-authors
Donnet, Benoît  (7)
Leduc, Laurent  (2)
Liénardy, Simon  (2)
Malcev, Lev  (2)
Baum, Valentin  (1)
Main Referenced Keywords
CS1 (3); Problem Solving (2); Abstraction (1); abstraction (1); Active Pedagogy (1);
Main Referenced Disciplines
Computer science (7)

Publications (total 7)

The most downloaded
165 downloads
Brieven, G., Liénardy, S., Malcev, L., & Donnet, B. (2023). Graphical Loop Invariant Based Programming. In Proceedings of Formal Methods Teaching Workshop (FMTea). Springer. https://hdl.handle.net/2268/298149

The most cited

1 citations (Scopus®)

Brieven, G., Leduc, L., & Donnet, B. (2022). Collaborative Design and Build Activity in a CS1 Course: A Practical Experience Report. In 8th International Conference on Higher Education Advances. Universitat Polytecnica de Valencia. doi:10.4995/HEAd22.2022.14386 https://hdl.handle.net/2268/289814

Brieven, G., & Donnet, B. (2024). Practicing Abstraction through a Top-Down Problem-Solving Framework in a CS1 Course. In 10th International Conference on Higher Education Advances (HEAd’24). Valence, Unknown/unspecified: Universitat Polytecnica de Valencia.
Peer reviewed

Brieven, G., Malcev, L., & Donnet, B. (2024). Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0. In IEEE Global Engineering Education Conference (EDUCON). IEEE.
Peer reviewed

Brieven, G., Baum, V., & Donnet, B. (2024). Tartare: Automatic Generation of C Pointer Statements and Feedback. In ACM 26th Australasian Computing Education Conference (ACE). ACM. doi:10.1145/3636243.3636264
Peer reviewed

Brieven, G., Leduc, L., & Donnet, B. (2023). How Students Manage Peer Feedback Through a Collaborative Activity in a CS1 Course. In 9th International Conference on Higher Education Advances. Valence, Spain: Universitat Polytecnica de Valencia.
Peer reviewed

Brieven, G., Liénardy, S., Malcev, L., & Donnet, B. (2023). Graphical Loop Invariant Based Programming. In Proceedings of Formal Methods Teaching Workshop (FMTea). Springer.
Peer reviewed

Brieven, G., Leduc, L., & Donnet, B. (2022). Collaborative Design and Build Activity in a CS1 Course: A Practical Experience Report. In 8th International Conference on Higher Education Advances. Universitat Polytecnica de Valencia. doi:10.4995/HEAd22.2022.14386
Peer reviewed

Brieven, G., Liénardy, S., & Donnet, B. (2022). Lessons Learned from 6 Years of a Remote Programming Challenge Activity with Automatic Supervision. In European Distance and E-Learning Network (EDEN). Springer.
Peer reviewed

Contact ORBi