Nazareno Aguirre

Cited by

	All	Since 2016
Citations	778	330
h-index	15	10
i10-index	21	13

120

20022003200420052006200720082009201020112012201320142015201620172018201920202 9 27 18 20 30 26 33 41 29 47 40 56 63 54 54 68 104 50

Co-authors

Marcelo F. FriasProfessor of Computer Science, Buenos Aires Institute of TechnologyVerified email at itba.edu.ar
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Carlos Gustavo Lopez PomboProfessor, Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresVerified email at dc.uba.ar
German RegisUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Pablo CastroUniversidad Nacional de Rio Cuarto, ArgentinaVerified email at dc.exa.unrc.edu.ar
Juan Pablo GaleottiUniversidad de Buenos AiresVerified email at dc.uba.ar
Pablo PonzioUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Renzo DegiovanniSnT, University of LuxembourgVerified email at uni.lu
Nicolás RosnerUniversity of California Santa BarbaraVerified email at cs.ucsb.edu
Gabriel BaumProfesor de Informática Universidad Nacional de La PlataVerified email at lifia.info.unlp.edu.ar
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Martin NordioETH ZurichVerified email at inf.ethz.ch
Bertrand MeyerProfessor of Software Engineering, Schaffhausen Institute of Technology and Innopolis UniversityVerified email at inf.ethz.ch
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Mariano PolitanoUniversidad Nacional de Rio CuartoVerified email at dc.exa.unrc.edu.ar
Dalal AlrajehLecturer (Assistant Professor), Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
Ramiro DemasiUniversidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Facundo MolinaPhD Student, Universidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu

Nazareno Aguirre

Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas

Verified email at dc.exa.unrc.edu.ar - Homepage

Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
DynAlloy: upgrading alloy with actions MF Frias, JP Galeotti, CG López Pombo, NM Aguirre Proceedings of the 27th international conference on Software engineering …, 2005	132	2005
A temporal logic approach to the specification of reconfigurable component-based systems N Aguirre, T Maibaum Proceedings 17th IEEE International Conference on Automated Software …, 2002	56	2002
Teaching software engineering using globally distributed projects: the DOSE course M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ... Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011	53	2011
A logical basis for the specification of reconfigurable component-based systems N Aguirre, T Maibaum International Conference on Fundamental Approaches to Software Engineering …, 2003	34	2003
Improving test generation under rich contracts by tight bounds and incremental SAT solving P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ... 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	33	2013
Reasoning about static and dynamic properties in alloy: A purely relational approach MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005	33	2005
BLISS: improved symbolic execution by bounded lazy initialization with SAT support N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias IEEE Transactions on Software Engineering 41 (7), 639-660, 2015	28	2015
Efficient analysis of DynAlloy specifications MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007	27	2007
An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre International Conference on Formal Engineering Methods, 162-175, 2004	26	2004
A temporal logic approach to component-based system specification and reasoning N Aguirre, T Maibaum Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, 2002	24	2002
Ranger: Parallel analysis of alloy models by range partitioning N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	17	2013
Bounded lazy initialization J Geldenhuys, N Aguirre, MF Frias, W Visser NASA Formal Methods Symposium, 229-243, 2013	17	2013
Towards managing dynamic reconfiguration of software systems in a categorical setting PF Castro, NM Aguirre, CGL Pombo, TSE Maibaum International Colloquium on Theoretical Aspects of Computing, 306-321, 2010	17	2010
Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	15	2016
Automated goal operationalisation based on interpolation and SAT solving R Degiovanni, D Alrajeh, N Aguirre, S Uchitel Proceedings of the 36th International Conference on Software Engineering …, 2014	15	2014
DynAlloy Analyzer: A tool for the specification and analysis of Alloy models with dynamic behaviour G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ... Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017	14	2017
An experiment on teaching coordination in a globally distributed software engineering class M Nordio, HC Estler, B Meyer, N Aguirre, R Prikladnicki, E Di Nitto, ... 2014 IEEE 27th Conference on Software Engineering Education and Training …, 2014	14	2014
Hierarchical temporal specifications of dynamically reconfigurable component based systems N Aguirre, T Maibaum Electronic Notes in Theoretical Computer Science 108, 69-81, 2004	14	2004
Bounded exhaustive test input generation from hybrid invariants N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ... ACM SIGPLAN Notices 49 (10), 655-674, 2014	12	2014
Specifying and verifying declarative fluent temporal logic properties of workflows G Regis, N Ricci, NM Aguirre, T Maibaum Brazilian Symposium on Formal Methods, 147-162, 2012	12	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors