Arindam Chakrabarti

11 papers A* 4A 2Misc 2Unranked 3
YearRankTypeTitle / Venue / Authors
2007 A conf
An Application ofWeb-Service Interfaces.
ICWS
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia
2006 Misc conf
Software partitioning for effective automated unit testing.
EMSOFT
Arindam Chakrabarti, Patrice Godefroid
2005 — conf
Effective Filtering for Collaborative Publishing.
WINE
Arindam Chakrabarti
2005 — conf
Verifying Quantitative Properties Using Bound Functions.
CHARME
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
2005 A* conf
Web service interfaces.
WWW
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
2003 Misc conf
Resource Interfaces.
EMSOFT
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
2002 A* conf
Formal verification of module interfaces against real time specifications.
DAC
Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee
2002 A* conf
Interface Compatibility Checking for Software Modules.
CAV
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
2002 — conf
Open Computation Tree Logic for Formal Verification of Modules.
ASP-DAC/VLSI Design
Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti
2002 A* conf
Synchronous and Bidirectional Component Interfaces.
CAV
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
2001 A conf
Abstraction of word-level linear arithmetic functions from bit-level component descriptions.
DATE
Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti