Nazareno Aguirre

Cited by

	All	Since 2016
Citations	822	361
h-index	15	11
i10-index	22	15

120

20032004200520062007200820092010201120122013201420152016201720182019202020219 28 18 21 30 26 33 41 30 51 40 51 63 55 54 69 103 56 24

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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
German RegisUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Carlos Gustavo Lopez PomboProfessor, Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresVerified email at dc.uba.ar
Pablo PonzioUniversidad 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
Renzo DegiovanniSnT, University of LuxembourgVerified email at uni.lu
Nicolás RosnerUniversity of California Santa BarbaraVerified email at cs.ucsb.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Gabriel BaumProfesor de Informática Universidad Nacional de La PlataVerified email at lifia.info.unlp.edu.ar
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Dalal AlrajehLecturer (Assistant Professor), Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
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
Facundo MolinaPhD Student, Universidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
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
Ramiro DemasiUniversidad Nacional de CórdobaVerified email at famaf.unc.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	137	2005
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	60	2011
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	59	2002
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	36	2013
A logical basis for the specification of reconfigurable component-based systems N Aguirre, T Maibaum International Conference on Fundamental Approaches to Software Engineering …, 2003	35	2003
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	32	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	29	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
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	27	2002
An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre International Conference on Formal Engineering Methods, 162-175, 2004	26	2004
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	20	2010
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	18	2013
Bounded lazy initialization J Geldenhuys, N Aguirre, MF Frias, W Visser NASA Formal Methods Symposium, 229-243, 2013	18	2013
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	17	2014
Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	15	2016
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
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
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	13	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	13	2012
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

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