Publications          Teaching         

---

Journals

---

2025

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.

L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutierrez Brida, G. Regis, N. Aguirre, M. Frias. ACM Transactions on Software Engineering and Methodology.

2023

A Study of the Electrum and DynAlloy Dynamic Behavior Notations

César Cornejo, Germán Regis, Nazareno Aguirre and Marcelo Frias. IEEE Transactions on Software Engineering, vol. 49, no. 11, pp. 4946-4963, Nov. 2023, doi: 10.1109/TSE.2023.3320625.

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 Frias. - Science of Computer Programming, Volume 181.

---

Conferences

---

2026

Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications.

A. Bombarda, S. Bonfanti, C. Cornejo, A.Gargantini, N. Pellegrinelli. - NASA Formal Methods - May 2026.

Evaluating the Practical Impact of Parallelism in Asmeta.

A. Bombarda, S. Bonfanti, C. Cornejo, A.Gargantini, N. Pellegrinelli. - ABZ 2026 - May 2026.

2024

An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding

C. Cornejo, M. Novaira, S. Permigiani, N. Aguirre, M. Frias, S. Gutierrez, G. Regis. - Accepted for publication at 10th International Conference on Rigorous State-Based Methods (ABZ2024) - June 2024.

2020

SAT-Based Arithmetic Support for Alloy.

César Cornejo - Doctoral Symposium - 35th IEEE/ACM International Conference on Automated Software Engineering - ASE2020 - Melbourne, Australia. Virtual Event

2017

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. - 10th SBST@ICSE 2017 - Buenos Aires, Argentina.

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 Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti y Marcelo Frias. - 11th Joint meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering – ESEC/FSE 2017 - Paderborn, Alemania

2016

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 Frias. - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil.

---

Popular Science

---

2019

Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching.

César Cornejo, Germán Regis, Nazareno Aguirre. - Congreso Argentino de Ciencias de la Computación 2019.

2015

Analizando el uso de (Dyn) Alloy como herramienta educativa.

César Cornejo, Mariano Politano, Fernando Raverta, Sonia Permigiani, Pablo Daniel Ponzio, Germán Regis, Nazareno Matías Aguirre. - Congreso Argentino de Ciencias de la Computación 2015.

---