| 2007 |
|---|
| 12 | EE | Dirk Beyer,
Arindam Chakrabarti,
Thomas A. Henzinger,
Sanjit A. Seshia:
An Application ofWeb-Service Interfaces.
ICWS 2007: 831-838 |
| 2006 |
|---|
| 11 | EE | Arindam Chakrabarti,
Patrice Godefroid:
Software partitioning for effective automated unit testing.
EMSOFT 2006: 262-271 |
| 2005 |
|---|
| 10 | EE | Arindam Chakrabarti,
Krishnendu Chatterjee,
Thomas A. Henzinger,
Orna Kupferman,
Rupak Majumdar:
Verifying Quantitative Properties Using Bound Functions.
CHARME 2005: 50-64 |
| 9 | EE | Arindam Chakrabarti:
Effective Filtering for Collaborative Publishing.
WINE 2005: 424-433 |
| 8 | EE | Dirk Beyer,
Arindam Chakrabarti,
Thomas A. Henzinger:
Web service interfaces.
WWW 2005: 148-159 |
| 2003 |
|---|
| 7 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Mariëlle Stoelinga:
Resource Interfaces.
EMSOFT 2003: 117-133 |
| 2002 |
|---|
| 6 | EE | Pallab Dasgupta,
Arindam Chakrabarti,
P. P. Chakrabarti:
Open Computation Tree Logic for Formal Verification of Modules.
ASP-DAC 2002: 735-740 |
| 5 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces.
CAV 2002: 414-427 |
| 4 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Marcin Jurdzinski,
Freddy Y. C. Mang:
Interface Compatibility Checking for Software Modules.
CAV 2002: 428-441 |
| 3 | EE | Arindam Chakrabarti,
Pallab Dasgupta,
P. P. Chakrabarti,
Ansuman Banerjee:
Formal verification of module interfaces against real time specifications.
DAC 2002: 141-145 |
| 2 | EE | Pallab Dasgupta,
Arindam Chakrabarti,
P. P. Chakrabarti:
Open Computation Tree Logic for Formal Verification of Modules.
VLSI Design 2002: 735-740 |
| 2001 |
|---|
| 1 | EE | Pallab Dasgupta,
P. P. Chakrabarti,
Amit Nandi,
Sekar Krishna,
Arindam Chakrabarti:
Abstraction of word-level linear arithmetic functions from bit-level component descriptions.
DATE 2001: 4-8 |
