An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBMF, 2016)

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. - Luciano Zemín; Simón Gutiérrez Brida; Ariel Godio; César Cornejo; Renzo Degiovanni; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2017)

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. - Germán Regis; César Cornejo; Simón Gutiérrez Brida; Mariano Politano; Fernando D. Raverta; Pablo Ponzio; Nazareno Aguirre; Juan Pablo Galeotti; Marcelo F. Frias (ESEC/SIGSOFT FSE, 2017)

An evolutionary approach to translating operational specifications into declarative specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (Sci. Comput. Program., 2019)

SAT-Based Arithmetic Support for Alloy. - César Cornejo (ASE, 2020)

A Study of the Electrum and DynAlloy Dynamic Behavior Notations. - César Cornejo; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (IEEE Trans. Software Eng., 2023)

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. - César Cornejo; María Marta Novaira; Sonia Permigiani; Nazareno Aguirre; Marcelo F. Frias; Simón Gutiérrez Brida; Germán Regis (ABZ, 2024)

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria. - Luciano Zemín; Ariel Godio; César Cornejo; Renzo Degiovanni; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo Fabian Frias (ACM Trans. Softw. Eng. Methodol., 2025)