Murali Talupur

According to our database, Murali Talupur authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

Murali Talupur, Sandip Ray, John Erickson

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2009

Protocol verification using flows: An industrial experience.

John W. O'Leary, Murali Talupur, Mark R. Tuttle

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Extracting models from design documents with mapster.

David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Going with the Flow: Parameterized Verification Using Message Flows.

Murali Talupur, Mark R. Tuttle

Proceedings of the Formal Methods in Computer-Aided Design, 2008