| 2007 |
|---|
| 4 | | Clauirton de Siebra,
Angela Freitas,
Paulo Costa,
R. Freitas,
Fabio Q. B. da Silva,
Andre M. Santos:
An investigation into the use of AI planning for handsets network test automation.
Artificial Intelligence and Applications 2007: 280-286 |
| 3 | EE | Clauirton de Siebra,
Fabio Q. B. da Silva,
Andre M. Santos,
Angela Freitas,
Kleber Carneiro,
Paulo Costa,
Amanda Araujo,
Karine Santos,
Talita Spiller,
Fernando Buononato:
An architecture for handsets network test automation.
PM2HW2N 2007: 92-95 |
| 2006 |
|---|
| 2 | EE | Angela Freitas,
Ana Cavalcanti:
Automatic Translation from Circus to Java.
FM 2006: 115-130 |
| 2003 |
|---|
| 1 | EE | Angela Freitas,
Carla Nascimento,
Ana Cavalcanti:
A Refinement Tool for Z.
ICFEM 2003: 396-415 |
