Verifying Temporal Properties of CommUnity Designs. - Nazareno Aguirre; Germán Regis; T. S. E. Maibaum (IFM, 2007)

Towards Abstraction for DynAlloy Specifications. - Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio; Brian J. Cardiff; Juan P. Galeotti; Germán Regis (ICFEM, 2008)

Specifying and Verifying Business Processes Using PPML. - Germán Regis; Nazareno Aguirre; T. S. E. Maibaum (ICFEM, 2009)

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. - Germán Regis; Nicolás Ricci; Nazareno Aguirre; T. S. E. Maibaum (SBMF, 2012)

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. - Germán Regis; Fernando Villar; Nicolás Ricci (LAFM, 2013)

Specifying Event-Based Systems with a Counting Fluent Temporal Logic. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ICSE (1), 2015)

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)

CLTSA: labelled transition system analyser with counting fluent support. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ESEC/SIGSOFT FSE, 2017)

From operational to declarative specifications using a genetic algorithm. - Facundo Molina; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

A genetic algorithm for goal-conflict identification. - Renzo Degiovanni; Facundo Molina; Germán Regis; Nazareno Aguirre (ASE, 2018)

Automated workarounds from Java program specifications based on SAT solving. - Marcelo Uva; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (Int. J. Softw. Tools Technol. Transf., 2018)

Training binary classifiers as data structure invariants. - Facundo Molina; Renzo Degiovanni; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2019)

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)

Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE, 2021)

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE (Companion Volume), 2021)

BeAFix: An Automated Repair Tool for Faulty Alloy Models. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2021)

FLACK: Localizing Faults in Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ASE, 2021)

ATR: template-based repair for Alloy specifications. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo F. Frias; Hamid Bagheri (ISSTA, 2022)

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2022)

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)