2007 |
3 | EE | 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 | EE | 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 |