Get started
Author

Germán Regis

Observed names: German Regis, Germán E. Regis, Regis, Germán
ORCID: 0000-0002-0979-4623
Observed ORCID: 0000-0002-0979-4623
OpenAlex ID: A5074298887
Bounded Exhaustive Search of Alloy Specification Repairs
2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 30
PDF
A genetic algorithm for goal-conflict identification
2018 · Renzo Degiovanni, Facundo Molina, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 26
ATR: template-based repair for Alloy specifications
2022 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 24
PDF
FLACK: Counterexample-Guided Fault Localization for Alloy Models
2021 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 24
PDF
Training Binary Classifiers as Data Structure Invariants
2019 · Facundo Molina, Renzo Degiovanni, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 21
PDF
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
2022 · Simón Gutiérrez Brida, Germán Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 20
PDF
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
2017 · Germán Regis, César Cornejo, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 18
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
2012 · Germán Regis, Nicolás Ricci, et al. · Lecture notes in computer science · 10
Specifying Event-Based Systems with a Counting Fluent Temporal Logic
2015 · German Regis, Renzo Degiovanni, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 9
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
2017 · Luciano Zemin, Simon Gutierrez Brida, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 8
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
2016 · Facundo Molina, César Cornejo, et al. · Lecture notes in computer science · 8
BeAFix: An Automated Repair Tool for Faulty Alloy Models
2021 · Simon Gutierrez Brida, German Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 7
An evolutionary approach to translating operational specifications into declarative specifications
2019 · Facundo Molina, César Cornejo, et al. · Science of Computer Programming · 5
Towards Abstraction for DynAlloy Specifications
2008 · Nazareno M. Aguirre, Marcelo F. Frias, et al. · Lecture notes in computer science · 4
Verifying Temporal Properties of CommUnity Designs
2007 · Nazareno Aguirre, Germán Regis, et al. · Lecture notes in computer science · 4
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
2024 · Luciano Zemín, Ariel Godio, et al. · ACM Transactions on Software Engineering and Methodology · 3
PDF
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs
2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 3
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
2014 · Germán Regis, Fernando Villar, et al. · Electronic Proceedings in Theoretical Computer Science · 3
Specifying and Verifying Business Processes Using PPML
2009 · Germán Regis, Nazareno Aguirre, et al. · Lecture notes in computer science · 3
Automated workarounds from Java program specifications based on SAT solving
2018 · Marcelo Uva, Pablo Ponzio, et al. · International Journal on Software Tools for Technology Transfer · 2
From operational to declarative specifications using a genetic algorithm
2018 · Facundo Molina, Renzo Degiovanni, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 2
Iter-T: ITERative Test Suite Generation for Automated Program Repair
2026 · Ariel Godio, Simón Gutiérrez Brida, et al. · IEEE Transactions on Software Engineering · 1
An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
2024 · César Cornejo, María Marta Novaira, et al. · Lecture notes in computer science · 1
A Study of the Electrum and DynAlloy Dynamic Behavior Notations
2023 · César Cornejo, Germán E. Regis, et al. · IEEE Transactions on Software Engineering · 1
FLACK: Localizing Faults in Alloy Models
2021 · Guolong Zheng, ThanhVu Nguyen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1
Works count: 45
Citation count: 240
H-index: 9
I10-index: 8
Year
Topic
Type