Ashvin Dsouza

According to our database, Ashvin Dsouza authored at least 6 papers between 1995 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Static analysis of deadends in SVA constraints.

Ashvin Dsouza

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2005

Supporting sequential assumptions in hybrid verification.

Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

1997

Using a Protean Language to Enhance Expressiveness in Specification.

Bard Bloom, Allan Cheng, Ashvin Dsouza

IEEE Trans. Software Eng., 1997

1996

Model Checking and Expressiveness for First Order Process Algebras.

Ashvin Dsouza

PhD thesis, 1996

1995

On the Expressive Power of CCS.

Ashvin Dsouza, Bard Bloom

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Generating BDD Models for Process Algebra Terms.

Ashvin Dsouza, Bard Bloom

Proceedings of the Computer Aided Verification, 1995