The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Muralidhar Talupur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:126-140 [Conf]
  2. Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
    Range Allocation for Separation Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:148-161 [Conf]
  3. Kamala Krithivasan, Prahladh Harsha, Muralidhar Talupur
    Communicating Distributed H systems with Simple Splicing Rules. [Citation Graph (0, 0)][DBLP]
    CDES, 2006, pp:107-111 [Conf]
  4. Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
    Verification by Network Decomposition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:276-291 [Conf]
  5. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    High Level Verification of Control Intensive Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:55-64 [Conf]
  6. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang
    SAT Based Predicate Abstraction for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:78-92 [Conf]
  7. Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
    SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:135-150 [Conf]
  8. Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
    Revisiting Positive Equality. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:1-15 [Conf]
  9. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
    Environment Abstraction for Parameterized Verification. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:126-141 [Conf]
  10. Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala Krithivasan, C. Pandu Rangan
    On the Generative Power of Simple H Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2000, v:5, n:4, pp:457-0 [Journal]

  11. Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002