Concepedia

Germán Regis

GR

7

Publications

127

Citations

7

H-Index

2017

Active since

Affiliations

National University of Río Cuarto(Current)

Buenos Aires Institute of Technology

Consejo Nacional de Investigaciones Científicas y Técnicas

University of Nebraska–Lincoln

George Mason University

Germán Regis is an author at National University of Río Cuarto specializing in engineering, software analysis, and formal verification.

ORCID

Top concepts

Publications per year

2017–2022

7

Publications

7

A genetic algorithm for goal-conflict identification

Renzo Degiovanni, Facundo Molina, Germán Regis et al. · 2018 · 25 citations

, , +22

Bounded Exhaustive Search of Alloy Specification Repairs

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng et al. · El Servicio de Difusión de la Creación Intelectual (National University of La Plata) · 2021 · 21 citations · Full text

Training Binary Classifiers as Data Structure Invariants

Facundo Molina, Renzo Degiovanni, Pablo Ponzio et al. · 2019 · 20 citations · Full text

FLACK: Counterexample-Guided Fault Localization for Alloy Models

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida et al. · 2021 · 17 citations

, , +23

ATR: template-based repair for Alloy specifications

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida et al. · 2022 · 17 citations

, , +23

Rows per page

1–5 of 7