| Bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 33 | 2021 |
| 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 |
| A genetic algorithm for goal-conflict identification R Degiovanni, F Molina, G Regis, N Aguirre Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 20 | 2018 |
| Training binary classifiers as data structure invariants F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 19 | 2019 |
| Atr: Template-based repair for alloy specifications G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 16 | 2022 |
| Flack: Counterexample-guided fault localization for alloy models G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 14 | 2021 |
| 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 | 14 | 2017 |
| Specifying and verifying declarative fluent temporal logic properties of workflows G Regis, N Ricci, NM Aguirre, T Maibaum Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 14 | 2012 |
| Specifying event-based systems with a counting fluent temporal logic G Regis, R Degiovanni, N D'Ippolito, N Aguirre 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 12 | 2015 |
| 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 | 8 | 2019 |
| ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications S Gutiérrez Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, ... Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 7 | 2022 |
| BeAFix: an automated repair tool for faulty alloy models SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 7 | 2021 |
| Automated workarounds from Java program specifications based on SAT solving M Uva, P Ponzio, G Regis, N Aguirre, MF Frias International Journal on Software Tools for Technology Transfer 20, 665-688, 2018 | 5 | 2018 |
| Specifying and verifying business processes using ppml G Regis, N Aguirre, T Maibaum Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 5 | 2009 |
| Towards abstraction for DynAlloy specifications NM Aguirre, MF Frias, P Ponzio, BJ Cardiff, JP Galeotti, G Regis Formal Methods and Software Engineering: 10th International Conference on …, 2008 | 5 | 2008 |
| Verifying temporal properties of commUnity designs N Aguirre, G Regis, T Maibaum International Conference on Integrated Formal Methods, 1-20, 2007 | 4 | 2007 |
| Fluent logic workflow analyser: a tool for the verification of workflow properties G Regis, F Villar, N Ricci arXiv preprint arXiv:1401.0971, 2014 | 3 | 2014 |
| Análisis estático de programas M Arroyo, F Bavera, G Regis XII Workshop de Investigadores en Ciencias de la Computación, 2010 | 2 | 2010 |
| From operational to declarative specifications using a genetic algorithm F Molina, R Degiovanni, G Regis, P Castro, N Aguirre, M Frias Proceedings of the 11th International Workshop on Search-Based Software …, 2018 | 1 | 2018 |
| 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 |
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas在 dc.exa.unrc.edu.ar 的电子邮件经过验证
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas在 dc.exa.unrc.edu.ar 的电子邮件经过验证