Concepedia

Murali Talupur

MT

Statistics

Publications

2

Citations

105

H-Index

2

Active since

2008

Affiliations

Intel (Israel)(Current)

Murali Talupur is an author at Intel (Israel) specializing in formal methods, protocol analysis, and computer engineering.

Publications per year

2008–2009

2

Publications

2

Going with the Flow: Parameterized Verification Using Message Flows

Murali Talupur, Mark R. Tuttle · 2008 · 63 citations

, , +16

Protocol verification using flows: An industrial experience

John O’Leary, Murali Talupur, Mark R. Tuttle · 2009 · 42 citations

, , +17

1–2 of 2