Muralidhar Talupur

First name

Muralidhar

Last name

Talupur

Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2016. “Model Checking Unbounded Concurrent Lists”. International Journal on Software Tools for Technology Transfer 18 (4). Springer Berlin Heidelberg: 375–391.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2014. “Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom”. In International Symposium on Automated Technology for Verification and Analysis, 330–347. Springer International Publishing.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, Daniel Schwartz-Narbonne, and Sharad Malik. 2012. “Parameterized Model Checking of Fine Grained Concurrency”. In International SPIN Workshop on Model Checking of Software, 208–226. Springer Berlin Heidelberg.

Reference Link