Germán Regis

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 23

Top Topics

Abdominal Aortic Aneurysm

Set Of Test Images

Dynamic Behavior

Fault Localization

Top Venues

ICSE (Companion Volume)

Publications

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ (2024)
César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
A Study of the Electrum and DynAlloy Dynamic Behavior Notations. IEEE Trans. Software Eng. 49 (11) (2023)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
A genetic algorithm for goal-conflict identification. ASE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
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
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE (2017)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE (2017)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated Workarounds from Java Program Specifications Based on SAT Solving. FASE (2017)
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. SBST@ICSE (2017)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) (2015)
Germán Regis, Fernando Villar, Nicolás Ricci
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. LAFM (2013)
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF (2012)
Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Business Processes Using PPML. ICFEM (2009)
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
Towards Abstraction for DynAlloy Specifications. ICFEM (2008)
Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
Verifying Temporal Properties of CommUnity Designs. IFM (2007)