| DynAlloy Analyzer: A tool for the specification and analysis of Alloy models with dynamic behaviour G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ... Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 22 | 2017 |
| An analysis of the suitability of test-based patch acceptance criteria L Zemín, SG Brida, A Godio, C Cornejo, R Degiovanni, G Regis, N Aguirre, ... 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing …, 2017 | 17 | 2017 |
| An evolutionary approach to translating operational specifications into declarative specifications F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ... Science of Computer Programming 181, 47-63, 2019 | 9 | 2019 |
| An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding C Cornejo, MM Novaira, S Permigiani, N Aguirre, M Frias, SG Brida, ... International Conference on Rigorous State-Based Methods, 141-159, 2024 | 2 | 2024 |
| Analizando el uso de (Dyn) Alloy como herramienta educativa C Cornejo, M Politano, F Raverta, S Permigiani, PD Ponzio, G Regis, ... XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015 | 1 | 2015 |
| An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria L Zemin, SG Brida, A Godio, C Cornejo, R Degiovanni, G Regis, N Aguirre, ... ACM Transactions on Software Engineering and Methodology, 2024 | | 2024 |
| A Study of the Electrum and DynAlloy Dynamic Behavior Notations C Cornejo, GE Regis, N Aguirre, MF Frias IEEE Transactions on Software Engineering 49 (11), 4946-4963, 2023 | | 2023 |
| SAT-based arithmetic support for alloy C Cornejo Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | | 2020 |
| Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching C Cornejo, G Regis, NM Aguirre XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019 | | 2019 |
| Experiencia de ensenanza de la programación en un contexto de vulnerabilidad social F Bavera, S Permigiani, G Scilingo, MM Novaira, C Kilmurray, M Arroyo, ... XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., 2016 | | 2016 |
| Especificación de modelos dinámicos y análisis automático de propiedades con herramientas basadas en Alloy CM Cornejo, GE Regis | | |
