 |
Muralidhar Talupur Publications |
 |
[1] Edmund Clarke, Murali Talupur, Helmut Veith. [pdf][ps]
"Proving Ptolemy Right: Environment Abstraction Principle
for Model Checking Concurrent System."
In TACAS 2008.
[2] Edmund Clarke, Muralidhar Talupur, Helmut Veith. [pdf]
"Environment Abstraction for Parameterized Verification."
To appear in VMCAI 2006.
[3] Malay Ganai, Muralidhar Talupur, Aarti Gupta [pdf]
"SDSAT: A robust solver for Difference Logic."
To appear in Proceedings of International Conference on Tools and
Algorithms for Construction and Analysis of Systems(TACAS) 2006.
[4] Edmund Clarke, Muralidhar Talupur, Tayssir Touilli, Helmut Veith.[pdf]
"Verification by Network Decomposition."
In International Conference on Concurrency Theory(CONCUR) 2004.
[5] Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli. [pdf]
"Range Allocation for Separation Logic."
In Proceedings of International Conference on Computer Aided
Verification(CAV) 2004.
[6] Shuvendu Lahiri, Randy Bryant, Amit Goel, Muralidhar Talupur. [ps]
"Revisiting Positive Equality."
In Proceedings of International Conference on Tools and Algorithms for
Construction and Analysis of Systems(TACAS) 2004.
[7] Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang. [pdf]
"Making Predicate Abstraction Efficient: how to remove
redundant predicates."
In Proceedings of International Conference on Computer Aided
Verification(CAV) 2003.
[8] Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang. [pdf]
"High Level Verification of Control Intensive Systems using
Predicate Abstraction."
In International Conference on Formal Methods and Models for
Codesign(MEMOCODE) 2003.
[9] Edmund Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang. [pdf]
"SAT based Predicate Abstraction for Hardware Verification."
In International Conference on Theory and Applications of Satisfiability
Testing(SAT) 2003.
[10] Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala
Krithivasan, C. Pandu Rangan.
"On the Generative Power of Simple H Systems."
In Journal of Automata, Languages and Combinatorics, Vol. 5, No. 4, 2000.
[11] Prahlad Harsha, Muralidhar Talupur, Kamala Krithivasan
"Simple Test Tube systems."
Submitted to Journal of Automata, Languages, and Combinatorics.
[12] Muralidhar Talupur, Kamala Krithivasan.
"The generative power of simple H system with permitting
contexts."
Submitted to Theoretical Computer Science.
Technical Reports
[1] Edmund Clarke, Muralidhar Talupur, Dong Wang.
"SAT based Predicate Abstraction for Hardware Verification."
Technical Report CMU-ECE-CSSI 02-45, CMU, 2002.
[2] Daniel Sleator, Muralidhar Talupur.
"Optimal Binary Trees in Online Algorithms."
Technical Report CMU-CS-02-148, SCS, CMU, 2002.
Unpublished Reports
[1] Muralidhar Talupur [ps]
"Model Checkers for Test Case Generation: An Experimental Study"
Unpublished work. Done while at NRL