The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Arindam Chakrabarti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.029secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002