Nazareno Aguirre
Nazareno Aguirre
Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas
Verified email at - Homepage
Cited by
Cited by
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
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
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
A logical basis for the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
International Conference on Fundamental Approaches to Software Engineering …, 2003
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
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
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
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
International Conference on Formal Engineering Methods, 162-175, 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
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
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
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, CG López Pombo, TSE Maibaum
International Colloquium on Theoretical Aspects of Computing, 306-321, 2010
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
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
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
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
Hierarchical temporal specifications of dynamically reconfigurable component based systems
N Aguirre, T Maibaum
Electronic Notes in Theoretical Computer Science 108, 69-81, 2004
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
The system can't perform the operation now. Try again later.
Articles 1–20