Arindam Chakrabarti

	2007
11		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
	2006
10		Arindam Chakrabarti, Patrice Godefroid: Software partitioning for effective automated unit testing. EMSOFT 2006: 262-271
	2005
9		Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
8		Arindam Chakrabarti: Effective Filtering for Collaborative Publishing. WINE 2005: 424-433
7		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
	2003
6		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
	2002
5		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
4		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
3		Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee: Formal verification of module interfaces against real time specifications. DAC 2002: 141-145
2		Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti: Open Computation Tree Logic for Formal Verification of Modules. VLSI Design 2002: 735-740
	2001
1		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: 4-8

Coauthor Index

1	Luca de Alfaro	[4] [5] [6]
2	Ansuman Banerjee	[3]
3	Dirk Beyer	[7] [11]
4	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2] [3]
5	Krishnendu Chatterjee	[9]
6	Pallab Dasgupta	[1] [2] [3]
7	Patrice Godefroid	[10]
8	Thomas A. Henzinger	[4] [5] [6] [7] [9] [11]
9	Marcin Jurdzinski	[4]
10	Sekar Krishna	[1]
11	Orna Kupferman	[9]
12	Rupak Majumdar	[9]
13	Freddy Y. C. Mang	[4] [5]
14	Amit Nandi	[1]
15	Sanjit A. Seshia	[11]
16	Mariëlle Stoelinga	[6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page