Muralidhar Talupur

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Temporal Properties

Computation Tree Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Model checking unbounded concurrent lists. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. ATVA (2014)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. CoRR (2014)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Model Checking Unbounded Concurrent Lists. SPIN (2013)
Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik
Parameterized Model Checking of Fine Grained Concurrency. SPIN (2012)
Muralidhar Talupur
Hardware model checking: status, challenges, and opportunities. FMCAD (2011)
Muralidhar Talupur, Hyojung Han
Biased Model Checking Using Flows. TACAS (2011)
Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS (2008)
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. J. Satisf. Boolean Model. Comput. 3 (1-2) (2007)
Kamala Krithivasan, Prahladh Harsha, Muralidhar Talupur
Communicating Distributed H systems with Simple Splicing Rules. CDES (2006)
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
Approaches in a Separation Logic Solver. TACAS (2006)
Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Environment Abstraction for Parameterized Verification. VMCAI (2006)
Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
Range Allocation for Separation Logic. CAV (2004)
Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
Revisiting Positive Equality. TACAS (2004)
Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
Verification by Network Decomposition. CONCUR (2004)
Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE (2003)
Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang
SAT Based Predicate Abstraction for Hardware Verification. SAT (2003)
Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV (2003)
Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala Krithivasan, C. Pandu Rangan
On the Generative Power of Simple H Systems. J. Autom. Lang. Comb. 5 (4) (2000)