Gabriela Moreira

Orcid: 0000-0003-0275-5717

According to our database¹, Gabriela Moreira authored at least 4 papers between 2018 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA<sup>+</sup>.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Fully-Tested code generation from TLA+ specifications.

[BibT_eX]

[DOI]

Gabriela Moreira

Cristiano D. Vasconcellos

Janine Kniess

Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

2018

Type inference for GADTs, outsidein and anti-unification.

[BibT_eX]

[DOI]

Gabriela Moreira

Cristiano D. Vasconcellos

Rodrigo Geraldo Ribeiro

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Gabriela Moreira

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...