 | 2009 |
|---|
| 6 |       | Shuvendu K. Lahiri,
Shaz Qadeer,
Juan P. Galeotti,
Jan W. Voung,
Thomas Wies:
Intra-module Inference.
CAV 2009: 493-508 |
| 2008 |
|---|
| 5 | | 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 |
| 4 | | Antonio Bucchiarone,
Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy.
ECEASST 10: (2008) |
| 2007 |
|---|
| 3 | | 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 |
|---|
| 2 | | Juan P. Galeotti,
Marcelo F. Frias:
DynAlloy as a Formal Method for the Analysis of Java Programs.
SET 2006: 249-260 |
| 2005 |
|---|
| 1 | | Marcelo F. Frias,
Juan P. Galeotti,
Carlos López Pombo,
Nazareno Aguirre:
DynAlloy: upgrading alloy with actions.
ICSE 2005: 442-451 |
