Sayak Ray

	2008
2		Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan: A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227
	2007
1		Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti: A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102

Coauthor Index

1	Ansuman Banerjee	[2]
2	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2]
3	Pallab Dasgupta	[1] [2]
4	P. Vignesh V. Ganesan	[2]
5	S. Ramesh (Sethu Ramesh)	[2]