Arindam Chakrabarti

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

Publications

Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia
An Application ofWeb-Service Interfaces. ICWS (2007)
Arindam Chakrabarti, Patrice Godefroid
Software partitioning for effective automated unit testing. EMSOFT (2006)
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
Verifying Quantitative Properties Using Bound Functions. CHARME (2005)
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
Web service interfaces. WWW (2005)
Arindam Chakrabarti
Effective Filtering for Collaborative Publishing. WINE (2005)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
Resource Interfaces. EMSOFT (2003)
Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti
Open Computation Tree Logic for Formal Verification of Modules. VLSI Design (2002)
Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee
Formal verification of module interfaces against real time specifications. DAC (2002)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Synchronous and Bidirectional Component Interfaces. CAV (2002)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
Interface Compatibility Checking for Software Modules. CAV (2002)
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)