Murali Talupur

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Matrix Multiplication

Inference In Graphical Models

Message Passing

Approximate Inference

Top Venues

Publications

Murali Talupur, Sandip Ray, John Erickson
Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. FMCAD (2015)
John W. O'Leary, Murali Talupur, Mark R. Tuttle
Protocol verification using flows: An industrial experience. FMCAD (2009)
David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle
Extracting models from design documents with mapster. PODC (2008)
Murali Talupur, Mark R. Tuttle
Going with the Flow: Parameterized Verification Using Message Flows. FMCAD (2008)