Muralidhar Talupur
According to our database1,
Muralidhar Talupur
authored at least 18 papers
between 2000 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Handbook of Model Checking., 2018
2016
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
Proceedings of the Model Checking Software - 19th International Workshop, 2012
2011
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
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
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
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
2003
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
2000