Ashvin Dsouza

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Ashvin Dsouza
Static analysis of deadends in SVA constraints. HLDVT (2010)
Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. ASP-DAC (2005)
Bard Bloom, Allan Cheng, Ashvin Dsouza
Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23 (4) (1997)
Ashvin Dsouza, Bard Bloom
On the Expressive Power of CCS. FSTTCS (1995)
Ashvin Dsouza, Bard Bloom
Generating BDD Models for Process Algebra Terms. CAV (1995)