On the Generative Power of Simple H Systems. - Lakshminarayanan Subramanian; Muralidhar Talupur; Kamala Krithivasan; C. Pandu Rangan (J. Autom. Lang. Comb., 2000)

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. - Edmund M. Clarke; Orna Grumberg; Muralidhar Talupur; Dong Wang (CAV, 2003)

High Level Verification of Control Intensive Systems Using Predicate Abstraction. - Edmund M. Clarke; Orna Grumberg; Muralidhar Talupur; Dong Wang (MEMOCODE, 2003)

SAT Based Predicate Abstraction for Hardware Verification. - Edmund M. Clarke; Muralidhar Talupur; Helmut Veith; Dong Wang (SAT, 2003)

Range Allocation for Separation Logic. - Muralidhar Talupur; Nishant Sinha 001; Ofer Strichman; Amir Pnueli (CAV, 2004)

Verification by Network Decomposition. - Edmund M. Clarke; Muralidhar Talupur; Tayssir Touili; Helmut Veith (CONCUR, 2004)

Revisiting Positive Equality. - Shuvendu K. Lahiri; Randal E. Bryant; Amit Goel; Muralidhar Talupur (TACAS, 2004)

Communicating Distributed H systems with Simple Splicing Rules. - Kamala Krithivasan; Prahladh Harsha; Muralidhar Talupur (CDES, 2006)

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. - Malay K. Ganai; Muralidhar Talupur; Aarti Gupta (TACAS, 2006)

Environment Abstraction for Parameterized Verification. - Edmund M. Clarke; Muralidhar Talupur; Helmut Veith (VMCAI, 2006)

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. - Malay K. Ganai; Muralidhar Talupur; Aarti Gupta (J. Satisf. Boolean Model. Comput., 2007)

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. - Edmund M. Clarke; Muralidhar Talupur; Helmut Veith (TACAS, 2008)

Hardware model checking: status, challenges, and opportunities. - Muralidhar Talupur (FMCAD, 2011)

Biased Model Checking Using Flows. - Muralidhar Talupur; Hyojung Han (TACAS, 2011)

Parameterized Model Checking of Fine Grained Concurrency. - Divjyot Sethi; Muralidhar Talupur; Daniel Schwartz-Narbonne; Sharad Malik (SPIN, 2012)

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. - Divjyot Sethi; Muralidhar Talupur; Sharad Malik (ATVA, 2014)

Model checking unbounded concurrent lists. - Divjyot Sethi; Muralidhar Talupur; Sharad Malik (Int. J. Softw. Tools Technol. Transf., 2016)

Model Checking Parameterized Systems. - Parosh Aziz Abdulla; A. Prasad Sistla; Muralidhar Talupur (Handbook of Model Checking, 2018)