Type inference for GADTs, outsidein and anti-unification. - Gabriela Moreira; Cristiano D. Vasconcellos; Rodrigo Geraldo Ribeiro (SBLP, 2018)

Fully-Tested code generation from TLA+ specifications. - Gabriela Moreira; Cristiano D. Vasconcellos; Janine Kniess (SAST, 2022)

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. - Paolo Dini; Manuel Bravo; Philipp Paulweber; Alexander Raschke; Gabriela Moreira (CoRR, 2023)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. - Jan Corazza; Ivan Gavran; Gabriela Moreira; Daniel Neider (ICST, 2025)