Muralidhar Talupur

According to our database1, Muralidhar Talupur authored at least 18 papers between 2000 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Model Checking Parameterized Systems.
Proceedings of the Handbook of Model Checking., 2018

2016
Model checking unbounded concurrent lists.
Int. J. Softw. Tools Technol. Transf., 2016

2014
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2012
Parameterized Model Checking of Fine Grained Concurrency.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

2011
Biased Model Checking Using Flows.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Hardware model checking: status, challenges, and opportunities.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2008
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic.
J. Satisf. Boolean Model. Comput., 2007

2006
Environment Abstraction for Parameterized Verification.
Proceedings of the Verification, 2006

<i>SDSAT</i>: Tight Integration of <i>Small Domain Encoding</i> and <i>Lazy</i> Approaches in a Separation Logic Solver.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Communicating Distributed H systems with Simple Splicing Rules.
Proceedings of the 2006 International Conference on Computer Design & Conference on Computing in Nanotechnology, 2006

2004
Revisiting Positive Equality.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Verification by Network Decomposition.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Range Allocation for Separation Logic.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
SAT Based Predicate Abstraction for Hardware Verification.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

High Level Verification of Control Intensive Systems Using Predicate Abstraction.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2000
On the Generative Power of Simple H Systems.
J. Autom. Lang. Comb., 2000


  Loading...