| 2008 |
|---|
| 4 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Validating High-Level Synthesis.
CAV 2008: 459-472 |
| 3 | EE | Sudipta Kundu,
Malay K. Ganai,
Rajesh Gupta:
Partial order reduction for scalable testing of systemC TLM designs.
DAC 2008: 936-941 |
| 2007 |
|---|
| 2 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Automated refinement checking of concurrent systems.
ICCAD 2007: 318-325 |
| 2004 |
|---|
| 1 | EE | Gurashish Singh Brar,
Susmit Biswas,
Sudipta Kundu,
Arijit Mukhopadhyay,
Pratik Worah,
Anupam Basu:
OaSis: An Application Specific Operating System for an Embedded Environment.
VLSI Design 2004: 776-779 |
