| |
| 2007 | ||
|---|---|---|
| 3 | EE | Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva: Formal modelling and verification of a component model using coloured petri nets and model checking. SAC 2007: 1427-1431 |
| 2 | EE | Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira: A Java code annotation approach for model checking software systems. SAC 2007: 1536-1537 |
| 2005 | ||
| 1 | EE | Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues: Testing from Structured Algebraic Specifications: The Veritas Case Study. Electr. Notes Theor. Comput. Sci. 130: 235-261 (2005) |
| 1 | Hyggo Oliveira de Almeida | [3] |
| 2 | Paulo E. S. Barbosa | [1] |
| 3 | Glauber Ferreira | [2] |
| 4 | Emerson Loureiro | [2] |
| 5 | Patrícia D. L. Machado | [1] |
| 6 | Cássio L. Rodrigues | [1] |
| 7 | Leandro Dias da Silva | [3] |