Arindam Chakrabarti

According to our database, Arindam Chakrabarti authored at least 11 papers between 2001 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

An Application ofWeb-Service Interfaces.

Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

Software partitioning for effective automated unit testing.

Arindam Chakrabarti, Patrice Godefroid

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Web service interfaces.

Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger

Proceedings of the 14th international conference on World Wide Web, 2005

Effective Filtering for Collaborative Publishing.

Arindam Chakrabarti

Proceedings of the Internet and Network Economics, First International Workshop, 2005

Verifying Quantitative Properties Using Bound Functions.

Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Resource Interfaces.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Open Computation Tree Logic for Formal Verification of Modules.

Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Formal verification of module interfaces against real time specifications.

Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee

Proceedings of the 39th Design Automation Conference, 2002

Synchronous and Bidirectional Component Interfaces.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Abstraction of word-level linear arithmetic functions from bit-level component descriptions.

Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti

Proceedings of the Conference on Design, Automation and Test in Europe, 2001