Nazareno Aguirre
Nazareno Aguirre
Universidad Nacional de Río Cuarto / Consejo Nac. de Investigaciones Científicas y Técnicas
Verified email at dc.exa.unrc.edu.ar - 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
1142005
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
542002
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
512011
A logical basis for the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
International Conference on Fundamental Approaches to Software Engineering …, 2003
332003
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
272013
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
262005
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
242002
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
232015
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
International Conference on Formal Engineering Methods, 162-175, 2004
232004
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
222007
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
152013
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
152010
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
142013
Hierarchical temporal specifications of dynamically reconfigurable component based systems
N Aguirre, T Maibaum
Electronic Notes in Theoretical Computer Science 108, 69-81, 2004
142004
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
122014
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
112012
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
102014
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
92014
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
82016
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
82011
The system can't perform the operation now. Try again later.
Articles 1–20