Murali Talupur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2008–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FMCAD | Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. | Murali Talupur, Sandip Ray, John Erickson |
| 2009 | FMCAD | Protocol verification using flows: An industrial experience. | John W. O'Leary, Murali Talupur, Mark R. Tuttle |
| 2008 | FMCAD | Going with the Flow: Parameterized Verification Using Message Flows. | Murali Talupur, Mark R. Tuttle |
| 2008 | PODC | Extracting models from design documents with mapster. | David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle |