| 2009 |
|---|
| 17 | EE | Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
T. S. E. Maibaum,
Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
FASE 2009: 155-170 |
| 2008 |
|---|
| 16 | EE | Nazareno Aguirre,
Marcelo F. Frias,
Pablo Ponzio,
Brian J. Cardiff,
Juan P. Galeotti,
Germán Regis:
Towards Abstraction for DynAlloy Specifications.
ICFEM 2008: 207-225 |
| 2007 |
|---|
| 15 | EE | Xiang Ling,
T. S. E. Maibaum,
Nazareno Aguirre:
Design in CommUnity with Extension Morphisms.
Formal Methods and Hybrid Real-Time Systems 2007: 435-466 |
| 14 | EE | Nazareno Aguirre,
Germán Regis,
T. S. E. Maibaum:
Verifying Temporal Properties of CommUnity Designs.
IFM 2007: 1-20 |
| 13 | EE | Marcelo F. Frias,
Carlos López Pombo,
Juan P. Galeotti,
Nazareno Aguirre:
Efficient Analysis of DynAlloy Specifications.
ACM Trans. Softw. Eng. Methodol. 17(1): (2007) |
| 2006 |
|---|
| 12 | EE | Nazareno Aguirre,
T. S. E. Maibaum,
Paulo S. C. Alencar:
Extension Morphisms for CommUnity.
Essays Dedicated to Joseph A. Goguen 2006: 173-193 |
| 2005 |
|---|
| 11 | EE | Nazareno Aguirre,
Marcelo Arroyo,
Juan Bicarregui,
Lucio Guzmán,
T. S. E. Maibaum:
Towards Dynamically Communicating Abstract Machines in the B Method.
ICFEM 2005: 141-155 |
| 10 | EE | Marcelo F. Frias,
Juan P. Galeotti,
Carlos López Pombo,
Nazareno Aguirre:
DynAlloy: upgrading alloy with actions.
ICSE 2005: 442-451 |
| 9 | EE | Marcelo F. Frias,
Carlos López Pombo,
Gabriel A. Baum,
Nazareno Aguirre,
T. S. E. Maibaum:
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005) |
| 2004 |
|---|
| 8 | EE | Marcelo F. Frias,
Carlos López Pombo,
Nazareno Aguirre:
An Equational Calculus for Alloy.
ICFEM 2004: 162-175 |
| 7 | EE | Nazareno Aguirre,
Juan Bicarregui,
Lucio Guzmán,
T. S. E. Maibaum:
Implementing Dynamic Aggregations of Abstract Machines in the B Method.
ICFEM 2004: 403-417 |
| 6 | EE | Nazareno Aguirre,
T. S. E. Maibaum:
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.
Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004) |
| 2003 |
|---|
| 5 | EE | Nazareno Aguirre,
T. S. E. Maibaum:
A Logical Basis for the Specification of Reconfigurable Component-Based Systems.
FASE 2003: 37-51 |
| 4 | EE | Marcelo F. Frias,
Carlos López Pombo,
Gabriel Baum,
Nazareno Aguirre,
T. S. E. Maibaum:
Taking Alloy to the Movies.
FME 2003: 678-697 |
| 3 | EE | Nazareno Aguirre,
T. S. E. Maibaum:
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.
Verification: Theory and Practice 2003: 407-435 |
| 2 | EE | Nazareno Aguirre,
Juan Bicarregui,
Theodosis Dimitrakos,
T. S. E. Maibaum:
Towards Dynamic Population Management of Abstract Machines in the B Method.
ZB 2003: 528-545 |
| 2002 |
|---|
| 1 | EE | Nazareno Aguirre,
T. S. E. Maibaum:
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
ASE 2002: 271-274 |
