| 2008 |
|---|
| 10 | EE | Mario R. F. Benevides,
Carla A. D. M. Delgado,
Carlos López Pombo,
Luis Lopes,
Ricardo Ribeiro:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008) |
| 2007 |
|---|
| 9 | EE | Marcelo F. Frias,
Carlos López Pombo,
Mariano M. Moscato:
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.
TACAS 2007: 587-601 |
| 8 | 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 |
|---|
| 7 | EE | Carlos López Pombo,
Marcelo F. Frias:
Fork Algebras as a Sufficiently Rich Universal Institution.
AMAST 2006: 235-247 |
| 6 | EE | Marcelo F. Frias,
Carlos López Pombo:
Interpretability of first-order linear temporal logics in fork algebras.
J. Log. Algebr. Program. 66(2): 161-184 (2006) |
| 2005 |
|---|
| 5 | EE | Marcelo F. Frias,
Juan P. Galeotti,
Carlos López Pombo,
Nazareno Aguirre:
DynAlloy: upgrading alloy with actions.
ICSE 2005: 442-451 |
| 4 | 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 |
|---|
| 3 | EE | Marcelo F. Frias,
Carlos López Pombo,
Nazareno Aguirre:
An Equational Calculus for Alloy.
ICFEM 2004: 162-175 |
| 2003 |
|---|
| 2 | 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 |
| 2002 |
|---|
| 1 | EE | Víctor A. Braberman,
Carlos López Pombo,
Alfredo Olivero:
On Improving Backwards Verification of Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
