|
Search the dblp DataBase
Muralidhar Talupur:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
Range Allocation for Separation Logic. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:148-161 [Conf]
- 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]
- Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
Verification by Network Decomposition. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:276-291 [Conf]
- 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]
- 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]
- 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]
- Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
Revisiting Positive Equality. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:1-15 [Conf]
- Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Environment Abstraction for Parameterized Verification. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:126-141 [Conf]
- 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]
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|