| |
| 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] |