Muralidhar Talupur

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