Concepedia

Nazareno Aguirre

NA

24

Publications

614

Citations

17

H-Index

2002

Active since

Affiliations

National University of Río Cuarto(Current)

Buenos Aires Institute of Technology

Consejo Nacional de Investigaciones Científicas y Técnicas

Universidad de Buenos Aires

University of Nebraska–Lincoln

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignSoftware AnalysisAutomated ReasoningProgram AnalysisSoftware Testing

Publications per year

2002–2022

24

Publications

24

DynAlloy

Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo et al. · 2005 · 100 citations

Engineering, Verification, Software Engineering +18

Teaching software engineering using globally distributed projects

Martín Nordio, Carlo Ghezzi, Bertrand Meyer et al. · 2011 · 42 citations

Stem Education, South America, Software Development Practice +10

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

A temporal logic approach to the specification of reconfigurable component-based systems

Nazareno Aguirre, T. S. E. Maibaum · 2002 · 37 citations

Engineering, Component-based Systems, Software Engineering +20

BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre et al. · IEEE Transactions on Software Engineering · 2015 · 35 citations

Rows per page

1–5 of 24