Germán Regis

According to our database, Germán Regis authored at least 25 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023

A Study of the Electrum and DynAlloy Dynamic Behavior Notations.

César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

IEEE Trans. Software Eng., November, 2023

2022

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

FLACK: Localizing Faults in Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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 F. Frias

Sci. Comput. Program., 2019

Training binary classifiers as data structure invariants.

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Automated workarounds from Java program specifications based on SAT solving.

Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Int. J. Softw. Tools Technol. Transf., 2018

A genetic algorithm for goal-conflict identification.

Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

From operational to declarative specifications using a genetic algorithm.

Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017

CLTSA: labelled transition system analyser with counting fluent support.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

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 D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 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

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

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 F. Frias

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.

Germán Regis, Fernando Villar, Nicolás Ricci

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

2012

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.

Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2009

Specifying and Verifying Business Processes Using PPML.

Germán Regis, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Verifying Temporal Properties of CommUnity Designs.

Nazareno Aguirre, Germán Regis, T. S. E. Maibaum

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007