Abstraction of word-level linear arithmetic functions from bit-level component descriptions. - Pallab Dasgupta; P. P. Chakrabarti 001; Amit Nandi; Sekar Krishna; Arindam Chakrabarti (DATE, 2001)

Interface Compatibility Checking for Software Modules. - Arindam Chakrabarti; Luca de Alfaro; Thomas A. Henzinger; Marcin Jurdzinski; Freddy Y. C. Mang (CAV, 2002)

Synchronous and Bidirectional Component Interfaces. - Arindam Chakrabarti; Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CAV, 2002)

Formal verification of module interfaces against real time specifications. - Arindam Chakrabarti; Pallab Dasgupta; P. P. Chakrabarti 001; Ansuman Banerjee (DAC, 2002)

Open Computation Tree Logic for Formal Verification of Modules. - Pallab Dasgupta; Arindam Chakrabarti; P. P. Chakrabarti 001 (ASP-DAC/VLSI Design, 2002)

Resource Interfaces. - Arindam Chakrabarti; Luca de Alfaro; Thomas A. Henzinger; Mariëlle Stoelinga (EMSOFT, 2003)

Verifying Quantitative Properties Using Bound Functions. - Arindam Chakrabarti; Krishnendu Chatterjee; Thomas A. Henzinger; Orna Kupferman; Rupak Majumdar (CHARME, 2005)

Effective Filtering for Collaborative Publishing. - Arindam Chakrabarti (WINE, 2005)

Web service interfaces. - Dirk Beyer 001; Arindam Chakrabarti; Thomas A. Henzinger (WWW, 2005)

Software partitioning for effective automated unit testing. - Arindam Chakrabarti; Patrice Godefroid (EMSOFT, 2006)

An Application ofWeb-Service Interfaces. - Dirk Beyer 001; Arindam Chakrabarti; Thomas A. Henzinger; Sanjit A. Seshia (ICWS, 2007)