Simón Gutiérrez Brida

Statistics

Publications

Citations

H-Index

Active since

2017

Affiliations

Instituto Tecnológico de Buenos Aires (ITBA)(Current)

Universidad Nacional de Río Cuarto

University of Nebraska–Lincoln

Consejo Nacional de Investigaciones Científicas y Técnicas

George Mason University

Simón Gutiérrez Brida is an author at Instituto Tecnológico de Buenos Aires (ITBA) specializing in computer science, computing, and programming languages.

ORCID

Publications per year

2017–2022

Publications

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

Computing, Computer Engineering, Computer Science +11

FLACK: Counterexample-Guided Fault Localization for Alloy Models

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

Computing, Computer Engineering, Computer Science +12

ATR: template-based repair for Alloy specifications

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

Computing, Computer Engineering, Computer Science +13

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 et al. · 2017 · 15 citations

Computing, Computer Science, Dynamical Systems +9

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng et al. · 2022 · 13 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 5