Arindam Chakrabarti Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
2006
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Patrice Godefroid: Software partitioning for effective automated unit testing. EMSOFT 2006: 262-271
2005
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti: Effective Filtering for Collaborative Publishing. WINE 2005: 424-433
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
2003
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
2002
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee: Formal verification of module interfaces against real time specifications. DAC 2002: 141-145
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti: Open Computation Tree Logic for Formal Verification of Modules. VLSI Design 2002: 735-740
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Luca de Alfaro
[c6] [c5] [c4]
2Ansuman Banerjee
[c3]
3Dirk Beyer
[c11] [c7]
4P. P. Chakrabarti (Partha Pratim Chakrabarti)
[c3] [c2] [c1]
5Krishnendu Chatterjee
[c9]
6Pallab Dasgupta
[c3] [c2] [c1]
7Patrice Godefroid
[c10]
8Thomas A. Henzinger
[c11] [c9] [c7] [c6] [c5] [c4]
9Marcin Jurdzinski
[c4]
10Sekar Krishna
[c1]
11Orna Kupferman
[c9]
12Rupak Majumdar
[c9]
13Freddy Y. C. Mang
[c5] [c4]
14Amit Nandi
[c1]
15Sanjit A. Seshia
[c11]
16Mariëlle Stoelinga
[c6]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 19:57:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page