Publications

Articles

International Conferences: 2

2021

- Changjian Zhang and Ryan Wagner and Pedro Miguel Orvalho and David Garlan and Vasco Manquinho and Ruben Martins and Eunsuk Kang, AlloyMax: Bringing Maximum Satisfaction toRelational Specifications, presented at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Jun. 2021 [bibTex]

2020

- Pedro Miguel Orvalho and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex] [Video]