Follow
German Regis
German Regis
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
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
302021
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
232017
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
192019
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
192018
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
142022
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
142021
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
142017
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
142012
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
122015
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
82019
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
72022
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
52018
Specifying and verifying business processes using ppml
G Regis, N Aguirre, T Maibaum
Formal Methods and Software Engineering: 11th International Conference on …, 2009
52009
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
52008
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
42021
Verifying temporal properties of commUnity designs
N Aguirre, G Regis, T Maibaum
International Conference on Integrated Formal Methods, 1-20, 2007
42007
Fluent logic workflow analyser: a tool for the verification of workflow properties
G Regis, F Villar, N Ricci
arXiv preprint arXiv:1401.0971, 2014
32014
Análisis estático de programas
M Arroyo, F Bavera, G Regis
XII Workshop de Investigadores en Ciencias de la Computación, 2010
22010
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
12018
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
12015
The system can't perform the operation now. Try again later.
Articles 1–20