| 2008 |
|---|
| 4 | 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 |
| 3 | EE | Antonio Bucchiarone,
Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy.
ECEASST 10: (2008) |
| 2007 |
|---|
| 2 | 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) |
| 2005 |
|---|
| 1 | EE | Marcelo F. Frias,
Juan P. Galeotti,
Carlos López Pombo,
Nazareno Aguirre:
DynAlloy: upgrading alloy with actions.
ICSE 2005: 442-451 |
