publications

publications by categories in reversed chronological order.

2021

  1. Bounded Exhaustive Search of Alloy Specification Repairs
    Gutiérrez Brida, Simón, Regis, Germán, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno, and Frias, Marcelo F.
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021 2021
  2. FLACK: Counterexample-Guided Fault Localization for Alloy Models
    Zheng, Guolong, Nguyen, ThanhVu, Brida, Simón Gutiérrez, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno, and Bagheri, Hamid
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021 2021

2019

  1. Training binary classifiers as data structure invariants
    Molina, Facundo, Degiovanni, Renzo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.
    In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 2019
  2. An evolutionary approach to translating operational specifications into declarative specifications
    Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    Sci. Comput. Program. 2019

2018

  1. Automated workarounds from Java program specifications based on SAT solving
    Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.
    Int. J. Softw. Tools Technol. Transf. 2018
  2. From operational to declarative specifications using a genetic algorithm
    Molina, Facundo, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018 2018
  3. A genetic algorithm for goal-conflict identification
    Degiovanni, Renzo, Molina, Facundo, Regis, Germán, and Aguirre, Nazareno
    In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 2018

2017

  1. Automated Workarounds from Java Program Specifications Based on SAT Solving
    Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.
    In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 2017
  2. An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
    Zemı́n, Luciano, Brida, Simón Gutiérrez, Godio, Ariel, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.
    In 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017 2017
  3. DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
    Regis, Germán, Cornejo, César, Brida, Simón Gutiérrez, Politano, Mariano, Raverta, Fernando D., Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, and Frias, Marcelo F.
    In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017
  4. CLTSA: labelled transition system analyser with counting fluent support
    Regis, Germán, Degiovanni, Renzo, D’Ippolito, Nicolás, and Aguirre, Nazareno
    In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017

2016

  1. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
    Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings 2016

2015

  1. Specifying Event-Based Systems with a Counting Fluent Temporal Logic
    Regis, Germán, Degiovanni, Renzo, D’Ippolito, Nicolás, and Aguirre, Nazareno
    In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 2015

2013

  1. Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
    Regis, Germán, Villar, Fernando, and Ricci, Nicolás
    In Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013 2013

2012

  1. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
    Regis, Germán, Ricci, Nicolás, Aguirre, Nazareno, and Maibaum, T. S. E.
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012

2009

  1. Specifying and Verifying Business Processes Using PPML
    Regis, Germán, Aguirre, Nazareno, and Maibaum, T. S. E.
    In Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 2009

2008

  1. Towards Abstraction for DynAlloy Specifications
    Aguirre, Nazareno, Frias, Marcelo F., Ponzio, Pablo, Cardiff, Brian J., Galeotti, Juan P., and Regis, Germán
    In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 2008

2007

  1. Verifying Temporal Properties of CommUnity Designs
    Aguirre, Nazareno, Regis, Germán, and Maibaum, T. S. E.
    In Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007