Shobha Vasudevan

20042019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2004 2019

  • 43 Conference contribution
  • 15 Article
  • 2 Conference article
Filter
Conference article
2012

Word level feature discovery to enhance quality of assertion mining

Liu, L., Lin, C. H. & Vasudevan, S., Dec 1 2012, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 210-217 8 p., 6386611.

Research output: Contribution to journalConference article

Static analysis
Ethernet
Dynamic analysis
Learning algorithms
Learning systems
2005

Efficient model checking of hardware using conditioned slicing

Vasudevan, S., Emerson, E. A. & Abraham, J. A., May 23 2005, In : Electronic Notes in Theoretical Computer Science. 128, 6, p. 279-294 16 p.

Research output: Contribution to journalConference article

Computer hardware description languages
Slicing
Model checking
Model Checking
Hardware