 | 2007 |
| 3 |  | Glauber Ferreira,
Emerson Loureiro,
Elthon A. S. Oliveira:
A Java code annotation approach for model checking software systems.
SAC 2007: 1536-1537 |
| 2006 |
| 2 |  | Hyggo Oliveira de Almeida,
Angelo Perkusich,
Glauber Ferreira,
Emerson Loureiro,
Evandro de Barros Costa:
A Component Model to Support Dynamic Unanticipated Software Evolution.
SEKE 2006: 262-267 |
| 1 |  | Emerson Loureiro,
Frederico Bublitz,
Nadia Barbosa,
Angelo Perkusich,
Hyggo Oliveira de Almeida,
Glauber Ferreira:
A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks.
WOWMOM 2006: 609-614 |