2019

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

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo Castro, Nazareno Aguirre y 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 y 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 y Marcelo Frias, Automatically Identifying Sufficient Object Builders from Module APIs, en Proceedings of the 22th International Conference on Fundamental Approaches to Software Engineering FASE 2019, Praga, República Checa, LNCS 11424, Springer, 2019. [pdf]   

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

2018

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre y 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 y Marcelo Frias, From Operational to Declarative Specifications using a Genetic Algorithm, en Proceedings de 11th International Workshop on Search-Based Software Testing SBST@ICSE 2018, Gotemburgo, Suecia, ACM, 2018. [pdf]

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

Renzo Degiovanni, Pablo Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre y Marcelo Frias, Goal-Conflict Likelihood Assessment based on Model Counting, en Proceedings de 40th International Conference on Software Engineering ICSE 2018, Gotemburgo, Suecia, ACM, 2018. [pdf]

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

2017

Ramiro Demasi, Pablo Castro, Tom Maibaum y 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 y Nazareno Aguirre, CLTSA: Labelled Transition System Analyser with Counting Fluent Support, a publicarse en Proceedings de 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2017, Paderborn, Alemania, 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 y Marcelo Frias, DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour, en Proceedings de 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2017, Paderborn, Alemania, ACM, 2017. [pdf]

Nazareno Aguirre, Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair (charla invitada), en Proceedings de 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 y Marcelo Frias, An Analysis of the Suitability of Test-based Patch Acceptance Criteria, en Proceedings de 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 y Marcelo Frias, Automated Workarounds from Java Program Specifications based on SAT Solving, en Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering FASE 2017, Uppsala, Suecia, LNCS, Springer, 2017. [pdf]

2016

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

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

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

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

2015

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

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

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

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

2014

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

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

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

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

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

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

2013

Nicolás Rosner, Carlos López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili y Marcelo Frias, Parallel Bounded Verification of Alloy Models by TranScoping, en Proceedings de 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 y Marcelo Frias, Ranger: Parallel Analysis of Alloy Models by Range Partitioning, en Proceedings de 28th IEEE/ACM International Conference on Automated Software Engineering ASE 2013, Silicon Valley (CA), Estados Unidos, IEEE, 2013. [pdf]

Ramiro Demasi, Pablo Castro, Tom Maibaum y Nazareno Aguirre, Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications, en Proceedings de 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 y Nazareno Aguirre, Characterizing Fault-Tolerant Systems by Means of Simulation Relations, en Proceedings de 10th International Conference on Integrated Formal Methods IFM 2013, Turku, Finlandia, LNCS 7940, Springer, 2013. [pdf]

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

Jaco Geldenhuys, Nazareno Aguirre, Marcelo Frias y Willem Visser, Bounded Lazy Initialization, en Proceedings de 5th Nasa Formal Methods Symposium NFM 2013, Moffet Field, CA, Estados Unidos, 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 e Ignacio Vissani, Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving, en Proceedings de 6th IEEE International Conference on Software Testing, Verification and Validation ICST 2013, Ciudad de Luxemburgo, Luxemburgo, IEEE, 2013. [pdf]

2012

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

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

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

Valeria Bengolea, Nazareno Aguirre, Darko Marinov y Marcelo Frias, Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites, en Proceedings de International Conference on Tests and Proofs TAP 2012, Praga, República Checa, LNCS 7305, Springer, 2012. [pdf]

2011

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

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

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

2010

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

2009

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

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

Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani y 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 y Germán Regis, Towards Abstraction for DynAlloy Specifications, en Proceedings de International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu, Japón, LNCS 5256, Springer, 2008. [pdf]

2007

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

Nazareno Aguirre, Germán Regis y Tom Maibaum, Verifying Temporal Properties of CommUnity Designs, en Proceedings de International Conference on Integrated Formal Methods IFM 2007, Oxford, Reino Unido, LNCS 4591, Springer, 2007. [pdf]

Marcelo Frias, Carlos López Pombo, Juan P. Galeotti y 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 y Paulo Alencar, Extension Morphisms for CommUnity, en 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 y Tom Maibaum, Towards Dynamically Communicating Abstract Machines in the B Method, en Proceedings de International Conference on Formal Engineering Methods ICFEM 2005, Manchester, Reino Unido, LNCS 3785, Springer, 2005. [pdf]

Marcelo Frias, Juan P. Galeotti, Carlos López Pombo y Nazareno Aguirre, DynAlloy: Upgrading Alloy with Actions, en Proceedings de International Conference on Software Engineering ICSE 2005, St. Louis, Missouri, Estados Unidos, ACM, 2005. [pdf]

Marcelo Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre y 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 y Nazareno Aguirre, An Equational Calculus for Alloy, en Proceedings de International Conference on Software Engineering ICFEM 2004, Seattle, Washington, Estados Unidos, LNCS 3308, Springer, 2004. [pdf]

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

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

2003

Nazareno Aguirre y Tom Maibaum, A Logical Basis for the Specification of Reconfigurable Component Based Systems, en Proceedings de International Conference on Formal Approaches to Software Engineering FASE 2003, Varsovia, Polonia, LNCS 2621, Springer, 2003. [pdf]

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

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

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

2002

Nazareno Aguirre y Tom Maibaum, A Temporal Logic Approach to the Specification of Reconfigurable Component Based Systems, en Proceedings de International Conference on Automated Software Engineering ASE 2002, Edimburgo, Reino Unido, IEEE, 2002. [pdf]