| 2009 |
|---|
| 4 | EE | Cássio L. Rodrigues,
Karina R. G. da Silva,
Henrique N. Cunha:
Improving functional verification of embedded systems using hierarchical composition and set theory.
SAC 2009: 1632-1636 |
| 2006 |
|---|
| 3 | EE | Cássio L. Rodrigues,
Paulo E. S. Barbosa,
Jairson M. Cabral,
Jorge C. A. de Figueiredo,
Dalton Serey Guerrero:
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.
SEFM 2006: 226-235 |
| 2005 |
|---|
| 2 | 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) |
| 2004 |
|---|
| 1 | EE | Cássio L. Rodrigues,
Dalton Serey Guerrero,
Jorge C. A. de Figueiredo:
Model checking in object-oriented Petri nets.
SMC (5) 2004: 4977-4982 |
