2019

Ariel Godio, Valeria Bengolea, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias, Efficient Test Generation guided by Field Coverage Criteria, in Proceedings of the 34th ACM/IEEE International Conference on Automated Software Engineering ASE 2019, San Diego (CA), USA, IEEE, 2019. [pdf]

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo Castro, Nazareno Aguirre and Marcelo Frias, An Operational Approach to Translating Operational Specifications into Declarative Specifications, Science of Computer Programming 181, Elsevier, 2019. [pdf]

Carlos G. López Pombo, Pablo Castro, Nazareno Aguirre and Tom Maibaum, Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems, Fundamenta Informaticae 166(4), IOS Press, 2019. [pdf]

Pablo Ponzio, Valeria Bengolea, Mariano Politano, Nazareno Aguirre and Marcelo Frias, Automatically Identifying Sufficient Object Builders from Module APIs, in Proceedings of the 22th International Conference on Fundamental Approaches to Software Engineering FASE 2019, Prague, Czech Republic, LNCS 11424, Springer, 2019. [pdf]   

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre and Marcelo Frias, Training Binary Classifiers as Data Structure Invariants, in Proceedings of 41th International Conference on Software Engineering ICSE 2018, Montreal, Canada, IEEE, 2019. [pdf]

2018

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias, Improving Lazy Abstraction for SCR Specifications through Constraint Relaxation, Software Testing, Verification and Reliability 28(2), Wiley, 2018. [pdf]

Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo Castro, Nazareno Aguirre and Marcelo Frias, From Operational to Declarative Specifications using a Genetic Algorithm, in Proceedings of 11th International Workshop on Search-Based Software Testing SBST@ICSE 2018, Gothenburg, Sweden, ACM, 2018. [pdf]

Pablo Ponzio, Valeria Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre and Marcelo Frias, On the Effect of Object Redundancy Elimination in Randomly Testing Collection Classes, in Proceedings of 11th International Workshop on Search-Based Software Testing SBST@ICSE 2018, Gothenburg, Sweden, ACM, 2018. [pdf]

Renzo Degiovanni, Pablo Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre and Marcelo Frias, Goal-Conflict Likelihood Assessment based on Model Counting, in Proceedings of 40th International Conference on Software Engineering ICSE 2018, Gothenburg, Sweden, ACM, 2018. [pdf]

Renzo Degiovanni, Facundo Molina, Germán Regis and Nazareno Aguirre, A Genetic Algorithm for Goal-Conflict Identification, in Proceedings of 33rd ACM/IEEE International Conference on Automated Software Engineering ASE 2018, Montpellier, France, ACM, 2018. [pdf]

2017

Ramiro Demasi, Pablo Castro, Tom Maibaum and Nazareno Aguirre, Simulation Relations for Fault-Tolerance, en Formal Aspects of Computing 29(6), Springer, 2017. [pdf]

Germán Regis, Renzo Degiovanni, Nicolás D’Ippolito and Nazareno Aguirre, CLTSA: Labelled Transition System Analyser with Counting Fluent Support, in Proceedings 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2017, Paderborn, Germany, ACM, 2017. [pdf]

Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti and Marcelo Frias, DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour, in Proceedings 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2017, Paderborn, Germany, ACM, 2017. [pdf]

Nazareno Aguirre, Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair (invited talk), in Proceedings of 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering FormaliSE@ICSE 2017, Buenos Aires, Argentina, IEEE, 2017. [pdf]

Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre and Marcelo Frias, An Analysis of the Suitability of Test-based Patch Acceptance Criteria, in Proceedings of 10th IEEE/ACM International Workshop on Search-Based Software Testing SBST@ICSE, Buenos Aires, Argentina, IEEE, 2017. [pdf]

Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre and Marcelo Frias, Automated Workarounds from Java Program Specifications based on SAT Solving, in Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering FASE 2017, Uppsala, Sweden, LNCS, Springer, 2017. [pdf]

2016

Pablo Ponzio, Nazareno Aguirre, Marcelo Frias and Willem Visser, Field-Exhaustive Testing, in Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle (WA), USA, ACM, 2016. [pdf]

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro and Nazareno Aguirre, An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications, in Proceedings of the 19th Brazilian Symposium on Formal Methods SBMF 2016, Natal, Brazil, LNCS 10090, Springer, 2016. [pdf]

Pablo Castro and Nazareno Aguirre, Algebraic Foundations for Specification Refinements, in Proceedings of the 19th Brazilian Symposium on Formal Methods SBMF 2016, Natal, Brazil, LNCS 10090, Springer, 2016. [pdf]

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro and Nazareno Aguirre, Goal-Conflict Detection based on Temporal Satisfiability Checking, in Proceedings of the 31st ACM/IEEE International Conference on Automated Software Engineering ASE 2016, Singapore, ACM, 2016. [pdf]

2015

Pablo Castro, Nazareno Aguirre, Carlos López Pombo and Tom Maibaum, Categorical Foundations for Structured Specifications in Z, in Formal Aspects of Computing 27(5), Springer, 2015. [pdf]

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser and Marcelo Frias, BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support, in IEEE Transactions on Software Engineering 41(7), IEEE, 2015. [pdf]

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito and Nazareno Aguirre, Specifying Event-Based Systems with a Counting Fluent Temporal Logic, in Proceedings of International Conference on Software Engineering ICSE 2015, Florence, Italy, IEEE, 2015. [pdf]

Ramiro Demasi, Nicolas Ricci, Pablo Castro, Tom Maibaum and Nazareno Aguirre, syntMaskFT: a tool for synthesizing masking fault-tolerant programs from deontic specifications, in Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2015, London, United Kingdom, LNCS 9035, Springer, 2015. [pdf]

2014

Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo Frias, RepOK-based Reduction of Bounded Exhaustive Testing, in Software Testing, Verification and Reliability 24(8), Wiley, 2014. [pdf]

Martin Nordio, Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto and Anthony Savidis, An Experiment on Teaching Coordination in a Globally Distributed Software Engineering Class, in Proceedings of IEEE Conference on Software Engineering Education and Training CSEE&T 2014, Klagenfurt, Austria, IEEE, 2014. [pdf]

Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre and Marcelo Frias, Efficient Tight Field Bounds Computation based on Shape Predicates, in Proceedings of International Symposium on Formal Methods FM 2014, Singapur, LNCS 8442, Springer, 2014. [pdf]

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre and Sebastián Uchitel, Automated Goal Operationalisation based on Interpolation and SAT Solving, in Proceedings of International Conference on Software Engineering ICSE 2014, Hyderabad, India, ACM, 2014. [pdf]

Carlos López Pombo, Pablo Castro, Nazareno Aguirre and Tom Maibaum, A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting, in Proceedings of International Colloquium on Theoretical Computer Science ICTAC 2014, Bucarest, Romania, LNCS 8687, Springer, 2014. [pdf]

Nicolás Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo Frias and Sarfraz Khurshid, Bounded Exhaustive Test Input Generation from Hybrid Invariants, in Proceedings of International Conference on Object Oriented Programming Systems, Languages and Applications OOPSLA 2014, Portland (OR), USA, ACM, 2014. [pdf]

2013

Nicolás Rosner, Carlos López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili and Marcelo Frias, Parallel Bounded Verification of Alloy Models by TranScoping, in Proceedings of 5th International Conference on Verified Software: Theory, Tools, Experiments VSTTE 2013, LNCS 8164, Springer, 2013. [pdf]

Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid and Marcelo Frias, Ranger: Parallel Analysis of Alloy Models by Range Partitioning, in Proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering ASE 2013, Silicon Valley (CA), USA, IEEE, 2013. [pdf]

Ramiro Demasi, Pablo Castro, Tom Maibaum and Nazareno Aguirre, Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications, in Proceedings of 11th International Symposium on Automated Technology for Verification and Analysis ATVA 2013, Hanoi, Vietnam, LNCS 8172, Springer, 2013. [pdf]

Ramiro Demasi, Pablo Castro, Tom Maibaum and Nazareno Aguirre, Characterizing Fault-Tolerant Systems by Means of Simulation Relations, in Proceedings of 10th International Conference on Integrated Formal Methods IFM 2013, Turku, Finland, LNCS 7940, Springer, 2013. [pdf]

Carlos López Pombo, Pablo Castro, Nazareno Aguirre and Tom Maibaum, Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics, in Proceedings of 21st International Workshop on Algebraic Development Techniques WADT 2012 (post-proceedings), LNCS 7841, Springer, 2013. [pdf]

Jaco Geldenhuys, Nazareno Aguirre, Marcelo Frias and Willem Visser, Bounded Lazy Initialization, in Proceedings of 5th Nasa Formal Methods Symposium NFM 2013, Moffet Field, CA, USA, LNCS 7871, Springer, 2013. [pdf]

Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo Frias, Juan P. Galeotti, Tom Maibaum, Mariano Moscato, Nicolás Rosner and Ignacio Vissani, Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving, in Proceedings of 6th IEEE International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg City, Luxembourg, IEEE, 2013. [pdf]

2012

Pablo Castro, Nazareno Aguirre, Carlos López Pombo and Tom Maibaum, A Categorical Approach to Structuring and Promoting Z Specifications, in Proceedings of 9th International Symposium on Formal Aspects of Component Software FACS 2012, Mountain View, CA, USA, LNCS 7684, Springer, 2012. [pdf]

Germán Regis, Nicolás Ricci, Nazareno Aguirre and Tom Maibaum, Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows, in Proceedings of 15th Brazilian Symposium on Formal Methods SBMF 2012, Natal, Brazil, LNCS 7498, Springer, 2012. [pdf]

Araceli Acosta, Cecilia Kilmurray, Pablo Castro and Nazareno Aguirre, Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization, in Proceedings of 15th Brazilian Symposium on Formal Methods SBMF 2012, Natal, Brazil, LNCS 7498, Springer, 2012. [pdf]

Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo Frias, Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites, in Proceedings of International Conference on Tests and Proofs TAP 2012, Prague, Czech Republic, LNCS 7305, Springer, 2012. [pdf]

2011

Pablo Castro, Cecilia Kilmurray, Araceli Acosta and Nazareno Aguirre, dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification, in Proceedings of International Conference on Software Engineering and Formal Methods SEFM 2011, Montevideo, Uruguay, LNCS 7041, Springer, 2011. [pdf]

Nazareno Aguirre, Valeria Bengolea, Marcelo Frias and Juan P. Galeotti, Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs, in Proceedings of International Conference on Tests and Proofs TAP 2011, Zurich, Switzerland, LNCS 6706, Springer, 2011. [pdf]

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias, Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications, in Proceedings of International Conference on Tests and Proofs TAP 2011, Zurich, Switzerland, LNCS 6706, Springer, 2011. [pdf]

2010

Pablo Castro, Nazareno Aguirre, Carlos López Pombo and Tom Maibaum, Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting, in Proceedings of International Colloquium on Theoretical Aspects of Computing ICTAC 2010, Natal, Brazil, LNCS 6255, Springer, 2010. [pdf]

2009

Nazareno Aguirre, Marcelo Frias, Mariano Moscato, Tom Maibaum and Alan Wassyng, Describing and Analyzing Behaviours over Tabular Specifications using (Dyn)Alloy, in Proceedings of International Conference on Formal Approaches to Software Engineering FASE 2009, York, United Kingdom, LNCS 5503, Springer, 2009. [pdf]

Germán Regis, Nazareno Aguirre and Tom Maibaum, Specifying and Verifying Business Processes using PPML, in Proceedings of International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, LNCS 5885, Springer, 2009. [pdf]

Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani and Gastón Scilingo, An Introductory Course on Programming based on Formal Specification and Program Calculation, SIGCSE Bulletin 41(2), ACM, 2009. [pdf]

2008

Nazareno Aguirre, Marcelo Frias, Pablo Ponzio, Brian Cardiff, Juan P. Galeotti and Germán Regis, Towards Abstraction for DynAlloy Specifications, in Proceedings of International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu, Japan, LNCS 5256, Springer, 2008. [pdf]

2007

Xiang Ling, Tom Maibaum and Nazareno Aguirre, Design in CommUnity with Extension Morphisms, in Proceedings of Formal Methods and Hybrid Real-Time Systems, Macau, China, LNCS 4700, Springer, 2007. [pdf]

Nazareno Aguirre, Germán Regis and Tom Maibaum, Verifying Temporal Properties of CommUnity Designs, in Proceedings of International Conference on Integrated Formal Methods IFM 2007, Oxford, United Kingdom, LNCS 4591, Springer, 2007. [pdf]

Marcelo Frias, Carlos López Pombo, Juan P. Galeotti and Nazareno Aguirre, Efficient Analysis of DynAlloy Specifications, ACM Transactions on Software Engineering and Methodology (ACM TOSEM) 17(1), ACM, 2007. [pdf]

2006

Nazareno Aguirre, Tom Maibaum and Paulo Alencar, Extension Morphisms for CommUnity, in Algebra, Meaning and Computation: Essays Dedicated to Joseph A. Goguen on the occasion of his 65th birthday, LNCS 4060, Springer, 2006. [pdf]

2005

Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán and Tom Maibaum, Towards Dynamically Communicating Abstract Machines in the B Method, in Proceedings of International Conference on Formal Engineering Methods ICFEM 2005, Manchester, United Kingdom, LNCS 3785, Springer, 2005. [pdf]

Marcelo Frias, Juan P. Galeotti, Carlos López Pombo and Nazareno Aguirre, DynAlloy: Upgrading Alloy with Actions, in Proceedings of International Conference on Software Engineering ICSE 2005, St. Louis, Missouri, USA, ACM, 2005. [pdf]

Marcelo Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre and Tom Maibaum, Reasoning about Static and Dynamic Properties in Alloy: A Purely Relational Approach, ACM Transactions on Software Engineering and Methodology (ACM TOSEM) 14(4), ACM, 2005. [pdf]

2004

Marcelo Frias, Carlos López Pombo and Nazareno Aguirre, An Equational Calculus for Alloy, in Proceedings of International Conference on Software Engineering ICFEM 2004, Seattle, Washington, USA, LNCS 3308, Springer, 2004. [pdf]

Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán and Tom Maibaum, Implementing Dynamic Aggregations of Abstract Machines in the B Method, in Proceedings of International Conference on Formal Engineering Methods ICFEM 2004, Seattle, Washington, USA, LNCS 3308, Springer, 2004. [pdf]

Nazareno Aguirre and Tom Maibaum, Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems, in Proceedings of International Workshop on Formal Foundations of Embedded Software and Component Based Software Architectures FESCA 2004, Barcelona, Spain, Electronic Notes in Theoretical Computer Science 108, Elsevier, 2004. [pdf]

2003

Nazareno Aguirre and Tom Maibaum, A Logical Basis for the Specification of Reconfigurable Component Based Systems, in Proceedings of International Conference on Formal Approaches to Software Engineering FASE 2003, Warsaw, Poland, LNCS 2621, Springer, 2003. [pdf]

Marcelo Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre and Tom Maibaum, Taking Alloy to the Movies, in Proceedings of International Symposium of Formal Methods Europe FME 2003, Pisa, Italy, LNCS 2805, Springer, 2003. [pdf]

Nazareno Aguirre and Tom Maibaum, Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems, in Verification: Theory and Practice, Essays dedicated to Zohar Manna on the occasion of his 64th birthday, Taormina, Italy, LNCS 2772, Springer, 2003. [pdf]

Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos and Tom Maibaum, Towards Dynamic Population Management of Abstract Machines in the B Method, in Proceedings of International Conference of B and Z Users ZB2003, Turku, Finland, LNCS 2651, Springer, 2003. [pdf]

2002

Nazareno Aguirre and Tom Maibaum, A Temporal Logic Approach to the Specification of Reconfigurable Component Based Systems, in Proceedings of International Conference on Automated Software Engineering ASE 2002, Edinburg, United Kingdom, IEEE, 2002. [pdf]