dblp.uni-trier.dewww.uni-trier.de

Arindam Chakrabarti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)