Nazareno Aguirre

Cited by

	All	Since 2019
Citations	1178	527
h-index	20	14
i10-index	33	19

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 27 18 25 29 27 34 44 32 49 39 51 64 58 55 69 100 59 66 90 132 79

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

German RegisUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Pablo PonzioUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Carlos Gustavo Lopez PomboProfessor, Escuela de Ingeniería, Universidad Nacional de Río NegroVerified email at dc.uba.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
Facundo MolinaPostdoctoral Researcher, IMDEA Software InstituteVerified email at dc.exa.unrc.edu.ar
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Dalal AlrajehAssociate professor, Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
Gabriel BaumProfesor de Informática Universidad Nacional de La PlataVerified email at lifia.info.unlp.edu.ar
Mariano PolitanoUniversidad Nacional de Rio CuartoVerified email at dc.exa.unrc.edu.ar
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
Martin NordioETH ZurichVerified email at inf.ethz.ch
Bertrand MeyerProfessor of Software Engineering, Constructor UniversityVerified email at inf.ethz.ch
Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com
Ramiro DemasiUniversidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Nicolas D'IppolitoUniversidad de Buenos AiresVerified email at dc.uba.ar
BicarreguiScience and Technology Facilities CouncilVerified email at stfc.ac.uk

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	156	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	61	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	61	2002
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	47	2015
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	44	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	39	2003
Bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	33	2021
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
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	31	2007
Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	28	2016
Bounded lazy initialization J Geldenhuys, N Aguirre, MF Frias, W Visser NASA Formal Methods Symposium, 229-243, 2013	26	2013
An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre Formal Methods and Software Engineering: 6th International Conference on …, 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	26	2002
Evospex: An evolutionary algorithm for learning postconditions F Molina, P Ponzio, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	24	2021
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	24	2014
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	24	2013
Fuzzing class specifications F Molina, M d'Amorim, N Aguirre Proceedings of the 44th International Conference on Software Engineering …, 2022	23	2022
Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	23	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	22	2017
A genetic algorithm for goal-conflict identification R Degiovanni, F Molina, G Regis, N Aguirre Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	20	2018

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

Follow

Cited by

Co-authors