Exploring Automatic Specification Repair in Dafny Programs. - Alexandre Abreu; Nuno Macedo 001; Alexandra Mendes (ASEW, 2023)

The Evolution of Complexity Co-occurring Keywords: bibliometric Analysis and Network Approach. - Tanya Araújo; Alexandre Abreu; Francisco Louçã (Adv. Complex Syst., 2024)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. - Carolina Carreira; Álvaro F. Silva; Alexandre Abreu; Alexandra Mendes (CoRR, 2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. - Valentina Wu; Alexandra Mendes; Alexandre Abreu (CoRR, 2025)