Arindam Chakrabarti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2001–2007
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICWS | An Application ofWeb-Service Interfaces. | Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia |
| 2006 | EMSOFT | Software partitioning for effective automated unit testing. | Arindam Chakrabarti, Patrice Godefroid |
| 2005 | WWW | Web service interfaces. | Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger |
| 2003 | EMSOFT | Resource Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2002 | CAV | Interface Compatibility Checking for Software Modules. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
| 2002 | CAV | Synchronous and Bidirectional Component Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2002 | DAC | Formal verification of module interfaces against real time specifications. | Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee |
| 2002 | VLSID | Open Computation Tree Logic for Formal Verification of Modules. | Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti |
| 2001 | DATE | Abstraction of word-level linear arithmetic functions from bit-level component descriptions. | Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti |