AGUSTIN BORDA; GERMÁN E. REGIS; NAZARENO AGUIRRE; MARCELO F. FRIAS; PABLO PONZIO

Automated Combinatorial Test Generation for Alloy

ASE 2025: 40th IEEE/ACM International Conference on Automated Software Engeniering

Lugar: Seul; Año: 2025;

CESAR CORNEJO; MARIA MARTA NOVAIRA; SONIA PERMIGIANI; NAZARENO AGUIRRE; MARCELO F. FRIAS; GERMÁN E. REGIS

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

10th International Conference, ABZ

Lugar: Bergamo; Año: 2024;

GUOLONG ZHENG; THANHVU NGUYEN; SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; NAZARENO M. AGUIRRE; MARCELO F. FRIAS; HAMID BAGHERI

ATR: template-based repair for Alloy specifications

ISSTA 22: 31st ACM-SIGSOFT International Symposium on Software Testing and Analysis

Año: 2022;

SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; NAZARENO AGUIRRE; MARCELO F. FRIAS

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

ASE 2022: International Conference on Automated Software Engineering

Lugar: Rochester; Año: 2022;

GUOLONG ZHENG; THANHVU NGUYEN; SIMON GUTIERREZ BRIDA; REGIS, GERMÁN; FRIAS, MARCELO F.; AGUIRRE, NAZARENO; HAMID BAGHERI

FLACK: Counterexample-Guided Fault Localization for Alloy Models

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Artifact of Bounded Exhaustive Search of Alloy Speci�cation Repairs

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

SIMON GUTIERREZ BRIDA; REGIS, GERMÁN; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Bounded Exhaustive Search of Alloy Specification Repairs

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

GUOLONG ZHENG; THANHVU NGUYEN; SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; FRIAS, MARCELO F.; AGUIRRE, NAZARENO; HAMID BAGHERI

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

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

BeAFix: An Automated Repair Tool for Faulty Alloy Models

ASE 2021: 36th IEEE/ACM International Conference on Automated Software Engeniering

Lugar: Melbourne; Año: 2021;

GUOLONG ZHENG; THANHVU NGUYEN; SIMON GUTIERREZ BRIDA; GERMÁN E. REGIS; FRIAS, MARCELO F.; AGUIRRE, NAZARENO; HAMID BAGHERI

FLACK: Localizing Faults in Alloy Models

ASE 2021: 36th IEEE/ACM International Conference on Automated Software Engeniering

Lugar: Merbourne; Año: 2021;

FACUNDO MOLINA; RENZO DEGIOVANNI; GERMAN REGIS; NAZARENOS AGUIRRE; MARCELO FRIAS

Training Binary Classifiers as Data Structure Invariants

ICSE 2019: 41st International Conference on Software Engineering

Lugar: Montreal; Año: 2019;

FACUNDO MOLINA; RENZO DEGIOVANNI; GERMÁN REGIS; PABLO CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

From operational to declarative specifications using a genetic algorithm

International Workshop on Search-Based Software Testing

Año: 2018;

FACUNDO MOLINA; RENZO DEGIOVANNI; GERMÁN REGIS; PABLO CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

From operational to declarative specifications using a genetic algorithm

International Workshop on Search-Based Software Testing

Año: 2018;

RENZO DEGIOVANNI; FACUNDO MOLINA; GERMÁN REGIS; NAZARENO M. AGUIRRE

A genetic algorithm for goal-conflict identification

33rd {ACM/IEEE} International Conference on Automated Software Engineering, ASE 2018

Lugar: Montpellier; Año: 2018;

UVA, MARCELO; PONZIO, PABLO; REGIS, GERMÁN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Automated Workarounds from Java Program Specifications Based on SAT Solving

Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software

Lugar: Uppsala; Año: 2017;

GERMÁN REGIS; CESAR CORNEJO; SIMON GUTIERREZ BRIDA; MARIANO POLITANO; FERNANDO RAVERTA; PABLO PONZIO; NAZARENO M. AGUIRRE; JUAN P. GALEOTTI; MARCELO F. FRIAS

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017

Lugar: Paderborn; Año: 2017;

LUCIANO ZEMIN; SIMON GUTIERREZ BRIDA; ARIEL GODIO; CESAR CORNEJO; RENZO DEGIOVANNI; GERMAN REGIS; NAZARENO M. AGUIRRE; MARCELO F. FRIAS

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria

10th IEEE/ACM International Workshop on Search-Based Software Testing

Lugar: Buenos Aries; Año: 2017;

GERMÁN REGIS; RENZO DEGIOVANNI; NICOLAS D'IPPOLITO; NAZARENO M. AGUIRRE

CLTSA: labelled transition system analyser with counting fluent support

11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017

Lugar: Paderborn; Año: 2017;

MOLINA, FACUNDO; CORNEJO, CÉSAR; DEGIOVANNI, RENZO; REGIS, GERMÁN; CASTRO, PABLO F.; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016

Lugar: Natal; Año: 2016;

CESAR CORNEJO; MARIANO POLITANO ; FERNANDO RAVERTA; SONIA PERMIGIANI; PABLO PONZIO; GERMÁN REGIS; NAZARENO AGUIRRE

Analizando el uso de (Dyn)Alloy como Herramienta Educativa

XXI Congreso Argentino de Ciencias de la Computación

Lugar: Junin; Año: 2015;

GERMÁN E. REGIS; DEGIOVANNI, RENZO; NICOLAS D'IPPOLITO; AGUIRRE, NAZARENO

Specifying Event-Based Systems with a Counting Fluent Temporal Logic

37th {IEEE/ACM} International Conference on Software Engineering, ICSE 2015

Lugar: Florencia; Año: 2015;

REGIS, GERMÁN; FERNANDO VILLAR; NICOLÁS RICCI

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

First Latin American Workshop on Formal Methods

Lugar: Buenos Aires; Año: 2013;

NICOLÁS RICCI; GERMÁN E. REGIS; NAZARENO AGUIRRE

Especificación y verificación de propiedades sobre workflows con lógica de fluentes

XVIII Congreso Argentino de Ciencias de la Computación

Lugar: Bahia Blanca; Año: 2012;

REGIS, GERMÁN; NICOLÁS RICCI; AGUIRRE, NAZARENO; T. S. E. MAIBAUM

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012

Lugar: Natal; Año: 2012;

MARCELO ARROYO; FRANCISCO BAVERA; GERMÁN E. REGIS

Análisis estático de programas

XII Workshop de Investigadores en Ciencias de la Computación

Lugar: El Calafate; Año: 2011;

REGIS, GERMÁN; AGUIRRE, NAZARENO; T. S. E. MAIBAUM

Specifying and Verifying Business Processes Using PPML

Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009

Lugar: Natal; Año: 2009;

GERMÁN E. REGIS; NAZARENO AGUIRRE

Productos como referentes explícitos en el modelado de procesos de negocios

XV Congreso Argentino de Ciencias de la Computación

Lugar: Jujuy; Año: 2009;

AGUIRRE, NAZARENO; FRIAS, MARCELO F.; PONZIO, PABLO; REGIS, GERMÁN

Towards Abstraction for DynAlloy Specifications

Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008

Lugar: Kitakyushu-City; Año: 2008;

GERMÁN E. REGIS; NAZARENO M. AGUIRRE

Verificación de Propiedades Temporales en PPML

XIV Congreso Argentino de Ciencias de la Computación

Lugar: Chilecito ; Año: 2008;

AGUIRRE, NAZARENO; GERMÁN E. REGIS; T. S. E. MAIBAUM

Verifying Temporal Properties of CommUnity Designs

Integrated Formal Methods, 6th International Conference, {IFM} 2007

Lugar: Oxford; Año: 2007;

GERMÁN E. REGIS; MARCELO ARROYO; JORGE AGUIRRE

Open Arithmetics Fortran 90

XI CONGRESO ARGENTINO DE CIENCIAD DE LA COMPUTACION

Lugar: UNIVERSIDAD NACIONAL DE ENTRE RIOS; Año: 2005;

NAZARENO AGUIRRE; GERMÁN REGIS

Verificación de Propiedades Temporales de Diseños CommUnity: Un Caso de Estudio

XI CONGRESO ARGENTINO DE CIENCIAD DE LA COMPUTACION

Lugar: UNIVERSIDAD NACIONAL DE ENTRE RIOS; Año: 2005;

GERMÁN E. REGIS; MARCELO ARROYO; JORGE AGUIRRE

Open Arithmetics Fortran 90

XI Congreso Argentino de Ciencias de la Computación

Lugar: ENTRE RIOS; Año: 2005;

NAZARENO AGUIRRE; GERMÁN REGIS

Verificación de Propiedades Temporales de Diseños CommUnity: Un Caso de Estudio

XI Congreso Argentino de Ciencias de la Computación

Lugar: ENTRE RIOS; Año: 2005;