Travelled to:1 × USA
Collaborated with:L.C.V.d.Santos B.Albertini S.Rigo
Talks about:techniqu (1) behavior (1) verif (1) uncov (1) order (1) novel (1) out (1) duv (1)
Person: Gabriel Marcilio
DBLP: Marcilio:Gabriel
Contributed to:
2009Wrote 1 papers:
- DAC-2009-MarcilioSAR #behaviour #novel #verification
- A novel verification technique to uncover out-of-order DUV behaviors (GM, LCVdS, BA, SR), pp. 448–453.