Nazareno Aguirre - Concepedia

Author

Nazareno Aguirre

Also Known As

Aguirre, Nazareno, Aguirre, Nazareno Matías, Gastn Scilingo, N. Aguirre, N.M. Aguirre, Nazareno Aguirre, Nazareno M. Aguirre

149

Publications

914

Citations

H-Index

Concepts

All Affiliations

National University of Río Cuarto Buenos Aires Institute of Technology Consejo Nacional de Investigaciones Científicas y Técnicas Universidad de Buenos Aires University of Nebraska–Lincoln

About

Nazareno Aguirre is an author at National University of Río Cuarto specializing in engineering, software engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	17	453
2	Computer Engineering	8	8	272
3	Business	3	3	81
4	Education	2	2	56
5	Management	1	1	19

Nazareno Aguirre

Publications

614

Citations

H-Index

Page 1

	Year	Citations
DynAlloy Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2005	100
Teaching software engineering using globally distributed projects Martín Nordio, Carlo Ghezzi, Bertrand Meyer, Stem EducationSouth AmericaSoftware Development PracticeSoftware DevelopmentSoftware Management	2011	42
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea, EngineeringVerificationTest Data GenerationSoftware EngineeringComputational Complexity	2013	40
A temporal logic approach to the specification of reconfigurable component-based systems Nazareno Aguirre, T. S. E. Maibaum EngineeringComponent-based SystemsSoftware EngineeringFormal VerificationComponent System	2002	37
BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, IEEE Transactions on Software Engineering	2015	35
DynAlloy: upgrading alloy with actions Marcelo F. Frias, J.R. Galeotti, Carlos G. López Pombo, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2005	26
A genetic algorithm for goal-conflict identification Renzo Degiovanni, Facundo Molina, Germán Regis, EngineeringGame TheoryProject ManagementRequirement ModelingSoftware Engineering	2018	25
Efficient Analysis of DynAlloy Specifications Marcelo F. Frias, Carlos G. López Pombo, Juan Pablo Galeotti, ACM Transactions on Software Engineering and Methodology EngineeringGeometryVerificationSoftware EngineeringComputer-aided Design	2007	24
Fuzzing class specifications Facundo Molina, Marcelo d’Amorim, Nazareno Aguirre Proceedings of the 44th International Conference on Software Engineering EngineeringVerificationSoftware EngineeringExecutable ConstraintsSoftware Analysis	2022	24
Goal-conflict detection based on temporal satisfiability checking Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, EngineeringRequirement ModelingVerificationSoftware EngineeringSubtle Situations	2016	23

Page 1