According to our database1, Muralidhar Talupur authored at least 18 papers between 2000 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Handbook of Model Checking., 2018
Int. J. Softw. Tools Technol. Transf., 2016
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.
Proceedings of the Automated Technology for Verification and Analysis, 2014
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
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
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic.
J. Satisf. Boolean Model. Comput., 2007
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003