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

Muralidhar Talupur

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

2008
12EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS 2008: 33-47
2007
11EEMalay K. Ganai, Muralidhar Talupur, Aarti Gupta: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. JSAT 3(1-2): 91-114 (2007)
2006
10 Kamala Krithivasan, Prahladh Harsha, Muralidhar Talupur: Communicating Distributed H systems with Simple Splicing Rules. CDES 2006: 107-111
9EEMalay K. Ganai, Muralidhar Talupur, Aarti Gupta: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. TACAS 2006: 135-150
8EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006: 126-141
2004
7EEMuralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
6EEEdmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
5EEShuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur: Revisiting Positive Equality. TACAS 2004: 1-15
2003
4EEEdmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV 2003: 126-140
3EEEdmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64
2EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang: SAT Based Predicate Abstraction for Hardware Verification. SAT 2003: 78-92
2000
1 Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala Krithivasan, C. Pandu Rangan: On the Generative Power of Simple H Systems. Journal of Automata, Languages and Combinatorics 5(4): 457- (2000)

Coauthor Index

1Randal E. Bryant [5]
2Edmund M. Clarke [2] [3] [4] [6] [8] [12]
3Malay K. Ganai [9] [11]
4Amit Goel [5]
5Orna Grumberg [3] [4]
6Aarti Gupta [9] [11]
7Prahladh Harsha [10]
8Kamala Krithivasan [1] [10]
9Shuvendu K. Lahiri [5]
10Amir Pnueli [7]
11C. Pandu Rangan (Chanrasekharan Pandu Rangan) [1]
12Nishant Sinha [7]
13Ofer Strichman [7]
14Lakshminarayanan Subramanian [1]
15Tayssir Touili [6]
16Helmut Veith [2] [6] [8] [12]
17Dong Wang [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)