publications

publications in reversed chronological order.

2024

  1. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
    Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024

2023

  1. A Study of the Electrum and DynAlloy Dynamic Behavior Notations
    César Cornejo, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    IEEE Trans. Software Eng., 2023
  2. ACoRe: Automated Goal-Conflict Resolution
    Luiz Carvalho, Renzo Degiovanni, Matı́as Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
  3. Efficient Bounded Exhaustive Input Generation from Program APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, and Pablo Ponzio
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
  4. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
    Matı́as Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, and Renzo Degiovanni
    In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, 2023
  5. Enabling Efficient Assertion Inference
    Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, and Yves Le Traon
    In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
  6. Precise Lazy Initialization for Programs with Complex Heap Inputs
    Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, and Pablo Ponzio
    In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
  7. EvoSpex: A Search-Based Tool for Postcondition Inference
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023
  8. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023

2022

  1. Fuzzing Class Specifications
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022
  2. Learning to Prune Infeasible Paths in Generalized Symbolic Execution
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022
  3. ATR: template-based repair for Alloy specifications
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
    In ISSTA ’22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, 2022
  4. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022
  5. LISSA: Lazy Initialization with Specialized Solver Aid
    Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022

2021

  1. Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
    Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, and Marcelo F. Frias
    In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021
  2. Artifact of ’FLACK: Counterexample-Guided Fault Localization for Alloy Models’
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
  3. EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
  4. Artifact of Bounded Exhaustive Search of Alloy Specification Repairs
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
  5. FLACK: Counterexample-Guided Fault Localization for Alloy Models
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
  6. Bounded Exhaustive Search of Alloy Specification Repairs
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
  7. EvoSpex: An Evolutionary Algorithm for Learning Postconditions
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
  8. BeAFix: An Automated Repair Tool for Faulty Alloy Models
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021
  9. FLACK: Localizing Faults in Alloy Models
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021

2019

  1. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
    Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, and Thomas Stephen Edward Maibaum
    Fundam. Informaticae, 2019
  2. An evolutionary approach to translating operational specifications into declarative specifications
    Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    Sci. Comput. Program., 2019
  3. Automatically Identifying Sufficient Object Builders from Module APIs
    Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, and Marcelo F. Frias
    In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019
  4. Training binary classifiers as data structure invariants
    Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019
  5. Efficient Test Generation Guided by Field Coverage Criteria
    Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, and Marcelo Fabian Frias
    In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, 2019

2018

  1. Automated workarounds from Java program specifications based on SAT solving
    Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    Int. J. Softw. Tools Technol. Transf., 2018
  2. Improving lazy abstraction for SCR specifications through constraint relaxation
    Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    Softw. Test. Verification Reliab., 2018
  3. From operational to declarative specifications using a genetic algorithm
    Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, 2018
  4. On the effect of object redundancy elimination in randomly testing collection classes
    Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, 2018
  5. Goal-conflict likelihood assessment based on model counting
    Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018
  6. A genetic algorithm for goal-conflict identification
    Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre
    In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, 2018

2017

  1. Simulation relations for fault-tolerance
    Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, and Nazareno Aguirre
    Formal Aspects Comput., 2017
  2. Automated Workarounds from Java Program Specifications Based on SAT Solving
    Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    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
  3. Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair
    Nazareno Aguirre
    In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, 2017
  4. An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
    Luciano Zemı́n, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    In 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, 2017
  5. 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, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo F. Frias
    In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017
  6. CLTSA: labelled transition system analyser with counting fluent support
    Germán Regis, Renzo Degiovanni, Nicolás D’Ippolito, and Nazareno Aguirre
    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. Goal-conflict detection based on temporal satisfiability checking
    Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, and Nazareno Aguirre
    In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, 2016
  2. Algebraic Foundations for Specification Refinements
    Pablo F. Castro, and Nazareno Aguirre
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, 2016
  3. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
    Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, 2016
  4. Field-exhaustive testing
    Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser
    In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, 2016

2015

  1. Categorical foundations for structured specifications in Z
    Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, and T. S. E. Maibaum
    Formal Aspects Comput., 2015
  2. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
    Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, and Marcelo F. Frias
    IEEE Trans. Software Eng., 2015
  3. Specifying Event-Based Systems with a Counting Fluent Temporal Logic
    Germán Regis, Renzo Degiovanni, Nicolás D’Ippolito, and Nazareno Aguirre
    In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015
  4. syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
    Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, and Nazareno Aguirre
    In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015

2014

  1. RepOK-based reduction of bounded exhaustive testing
    Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, and Marcelo F. Frias
    Softw. Test. Verification Reliab., 2014
  2. An experiment on teaching coordination in a globally distributed software engineering class
    Martı́n Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, and Anthony Savidis
    In 27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014, Klagenfurt, Austria, April 23-25, 2014, 2014
  3. Efficient Tight Field Bounds Computation Based on Shape Predicates
    Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, and Marcelo F. Frias
    In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014
  4. Automated goal operationalisation based on interpolation and SAT solving
    Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastián Uchitel
    In 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014, 2014
  5. A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
    Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, and T. S. E. Maibaum
    In Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014
  6. Bounded exhaustive test input generation from hybrid invariants
    Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, and Sarfraz Khurshid
    In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, 2014
  7. Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013
    2014

2013

  1. Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
    Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, and Nazareno Aguirre
    In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, 2013
  2. Analyzing formal requirements specifications using an off-the-shelf model checker
    Gastón Scilingo, Marı́a Marta Novaira, Renzo Degiovanni, and Nazareno Aguirre
    In 2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013, 2013
  3. Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
    Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, and Ignacio Vissani
    In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, 2013
  4. Characterizing Fault-Tolerant Systems by Means of Simulation Relations
    Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, and Nazareno Aguirre
    In Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, 2013
  5. Ranger: Parallel analysis of alloy models by range partitioning
    Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias
    In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013
  6. Bounded Lazy Initialization
    Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser
    In NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013
  7. Parallel Bounded Verification of Alloy Models by TranScoping
    Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, and Marcelo F. Frias
    In Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, 2013

2012

  1. A Categorical Approach to Structuring and Promoting Z Specifications
    Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, and Tom Maibaum
    In Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, 2012
  2. Model Checking Propositional Deontic Temporal Logic via a \(μ\)-Calculus Characterization
    Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, and Nazareno Aguirre
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012
  3. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
    Germán Regis, Nicolás Ricci, Nazareno Aguirre, and T. S. E. Maibaum
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012
  4. Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
    Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, and Marcelo F. Frias
    In Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, 2012
  5. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
    Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, and T. S. E. Maibaum
    In Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012

2011

  1. Teaching software engineering using globally distributed projects: the DOSE course
    Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, and Vidya Kulkarni
    In Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011, 2011
  2. dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
    Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, and Nazareno Aguirre
    In Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, 2011
  3. Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
    Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, and Juan P. Galeotti
    In Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, 2011
  4. Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
    Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, 2011

2010

  1. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
    Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, and T. S. E. Maibaum
    In Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, 2010

2009

  1. An introductory course on programming based on formal specification and program calculation
    Javier Blanco, Leticia Losano, Nazareno Aguirre, Marı́a Marta Novaira, Sonia Permigiani, and Gastón Scilingo
    ACM SIGCSE Bull., 2009
  2. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
    Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, and Alan Wassyng
    In Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, 2009
  3. Specifying and Verifying Business Processes Using PPML
    Germán Regis, Nazareno Aguirre, and T. S. E. Maibaum
    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
    Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, and Germán Regis
    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. Efficient Analysis of DynAlloy Specifications
    Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, and Nazareno Aguirre
    ACM Trans. Softw. Eng. Methodol., 2007
  2. Design in CommUnity with Extension Morphisms
    Xiang Ling, T. S. E. Maibaum, and Nazareno Aguirre
    In Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, 2007
  3. Verifying Temporal Properties of CommUnity Designs
    Nazareno Aguirre, Germán Regis, and T. S. E. Maibaum
    In Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007

2006

  1. Extension Morphisms for CommUnity
    Nazareno Aguirre, T. S. E. Maibaum, and Paulo S. C. Alencar
    In Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, 2006

2005

  1. Reasoning about static and dynamic properties in alloy: A purely relational approach
    Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, and T. S. E. Maibaum
    ACM Trans. Softw. Eng. Methodol., 2005
  2. Towards Dynamically Communicating Abstract Machines in the B Method
    Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, and T. S. E. Maibaum
    In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005
  3. DynAlloy: upgrading alloy with actions
    Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, and Nazareno Aguirre
    In 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, 2005

2004

  1. A logical basis for the specification of reconfigurable component based systems
    Nazareno Aguirre
    King’s College London, UK, 2004
  2. An Equational Calculus for Alloy
    Marcelo F. Frias, Carlos López Pombo, and Nazareno Aguirre
    In Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 2004
  3. Implementing Dynamic Aggregations of Abstract Machines in the B Method
    Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, and T. S. E. Maibaum
    In Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 2004
  4. Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004, 2004

2003

  1. Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, 2003
  2. A Logical Basis for the Specification of Reconfigurable Component-Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, 2003
  3. Taking Alloy to the Movies
    Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, and T. S. E. Maibaum
    In FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, 2003
  4. Towards Dynamic Population Management of Abstract Machines in the B Method
    Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, and T. S. E. Maibaum
    In ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003

2002

  1. A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, 2002