| 2025 | WoWMoM | Effects of Lossy Compression on the Value of Information in a Low Powered Network. | Frederick M. Chache, Caden J. Pici, Ramesh Bharadwaj |
| 2023 | WoWMoM | Effects of Lossy Compression on the Age of Information in a Low Power Network. | Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj |
| 2012 | CogSIMA | A complex-event-processing framework for smart-grid management. | Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj |
| 2011 | COMSNETS | 'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. | Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya |
| 2011 | SIN | Counterfactually reasoning about security. | Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj |
| 2008 | COMPSAC | A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. | Ramesh Bharadwaj, Supratik Mukhopadhyay |
| 2007 | RE | RE Theory Meets Software Practice: Lessons from the Software Development Trenches. | Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer |
| 2005 | COMPSAC | What Is SINS? | Ramesh Bharadwaj |
| 2005 | MEMOCODE | Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. | Ralph D. Jeffords, Ramesh Bharadwaj |
| 2000 | TACAS | Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. | Ramesh Bharadwaj, Steve Sims |
| 1998 | CAV | SCR*: A Toolset for Specifying and Analyzing Software Requirements. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |