Nazareno Aguirre
Nazareno Aguirre
Universidad Nacional de Río Cuarto / Consejo Nacional 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
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
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
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
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
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
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
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
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
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
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
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