Nazareno Aguirre
Nazareno Aguirre
Universidad Nacional de Río Cuarto / Consejo Nac. de Investigaciones Científicas y Técnicas
Verified email at - Homepage
TitleCited byYear
DynAlloy: upgrading alloy with actions
MR Frias, JP Galeotti, CGL Pombo, NM Aguirre
Proceedings. 27th International Conference on Software Engineering, 2005 …, 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
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
A logical basis for the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
International Conference on Fundamental Approaches to Software Engineering …, 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
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
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
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
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
International Conference on Formal Engineering Methods, 162-175, 2004
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 4, 2007
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 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
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
Hierarchical temporal specifications of dynamically reconfigurable component based systems
N Aguirre, T Maibaum
Electronic Notes in Theoretical Computer Science 108, 69-81, 2004
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
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
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
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
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
dCTL: a branching time temporal logic for fault-tolerant system verification
PF Castro, C Kilmurray, A Acosta, N Aguirre
International Conference on Software Engineering and Formal Methods, 106-121, 2011
The system can't perform the operation now. Try again later.
Articles 1–20