Travelled to:1 × India
1 × USA
Collaborated with:K.R.G.d.Silva H.d.N.Cunha P.E.S.Barbosa J.M.Cabral J.C.A.d.Figueiredo D.S.Guerrero
Talks about:use (2) hierarch (1) function (1) composit (1) approach (1) theori (1) system (1) improv (1) explor (1) comput (1)
Person: Cássio L. Rodrigues
DBLP: Rodrigues:C=aacute=ssio_L=
Contributed to:
2009
2006Wrote 2 papers:
- SAC-2009-RodriguesSC #composition #embedded #functional #set #using #verification
- Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.
- SEFM-2006-RodriguesBCFG #approach #using
- A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (CLR, PESB, JMC, JCAdF, DSG), pp. 226–235.