Muralidhar Talupur

发表

Filling In The Gaps : Efficient Techniques for Real Time Verification

E. Clarke, F. Lerda, Muralidhar Talupur, 2022 .

On the Generative Power of Simple H Systems

C. Pandu Rangan, Lakshminarayanan Subramanian, Kamala Krithivasan, 2000, J. Autom. Lang. Comb..

Model Checking Parameterized Systems

Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur, 2018, Handbook of Model Checking.

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

Helmut Veith, Edmund M. Clarke, Muralidhar Talupur, 2008, TACAS.

Environment Abstraction for Parameterized Verification

Helmut Veith, Edmund M. Clarke, Muralidhar Talupur, 2006, VMCAI.

Abstraction techniques for parameterized verification

Muralidhar Talupur, Edmund M. Clarke, E. Clarke, 2006 .

Verification by Network Decomposition

Helmut Veith, Edmund M. Clarke, Tayssir Touili, 2004, CONCUR.

Going with the Flow: Parameterized Verification Using Message Flows

Mark R. Tuttle, Murali Talupur, M. Tuttle, 2008, 2008 Formal Methods in Computer-Aided Design.

Revisiting Positive Equality

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, 2004, TACAS.

Project Report for 15781 Classification of Music Genre

Suman Nath, Muralidhar Talupur, Suman Nath, 2001 .

High level verification of control intensive systems using predicate abstraction

Dong Wang, Edmund M. Clarke, Orna Grumberg, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates

Dong Wang, Edmund M. Clarke, Orna Grumberg, 2003, CAV.

SAT Based Predicate Abstraction for Hardware Verification

Helmut Veith, Dong Wang, Edmund M. Clarke, 2003, SAT.

An Abstraction Technique for Real-Time Verification

Edmund M. Clarke, Muralidhar Talupur, Flavio Lerda, 2007 .