![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | 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 | EE | Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti: A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102 |
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] |