Ramesh Bharadwaj

Publication Activity (10 Years)

Years Active: 1995-2025
Publications (10 Years): 4

Top Topics

Lossy Compression

Quality Of Service

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Frederick M. Chache, Caden J. Pici, Ramesh Bharadwaj
Effects of Lossy Compression on the Value of Information in a Low Powered Network. WoWMoM (2025)
Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
Effects of Lossy Compression on the Age of Information in a Low Power Network. WoWMoM (2023)
Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
Improving Quality of Service in a Mesh Network Using Age of Information. MILCOM (2022)
Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
QoS Extension to a B.A.T.M.A.N. based LoRa Mesh Network. MILCOM (2021)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. 27 (15) (2015)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops (2013)
Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj
A complex-event-processing framework for smart-grid management. CogSIMA (2012)
Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu
Functional "AJAX" in Secure Synchronous Programming. HICSS (2011)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Counterfactually reasoning about security. SIN (2011)
Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya
'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS (2011)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC (2009)
Ramesh Bharadwaj, Supratik Mukhopadhyay
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC (2008)
Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder
Cognitive Distributed Networks in Environmental e-Science. FTDCS (2008)
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE (2007)
Ramesh Bharadwaj, Supratik Mukhopadhyay
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS (2007)
Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS (2005)
Ramesh Bharadwaj
What Is SINS? COMPSAC (2) (2005)
Ralph D. Jeffords, Ramesh Bharadwaj
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE (2005)
Ramesh Bharadwaj
Verified Software: The RealGrand Challenge. VSTTE (2005)
Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh
Service Composition in a Secure Agent-Based Architecture. EEE (2005)
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. 20 (1) (2005)
Ramesh Bharadwaj, Robert J. Hall
Introduction. Autom. Softw. Eng. 11 (2) (2004)
Ramesh Bharadwaj
Secure Middleware for Situation-Aware Naval C2 and Combat Systems. FTDCS (2003)
Ramesh Bharadwaj
Verifiable Middleware for Secure Agent Interoperability. FAABS (2002)
Ramesh Bharadwaj
Naval Applications of Secure Multi-agent Technology. FAABS (2002)
Ramesh Bharadwaj
SOL: A Verifiable Synchronous Language for Reactive Systems. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Constance L. Heitmeyer, Ramesh Bharadwaj
Applying the SCR Requirements Method to the Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Ramesh Bharadwaj, Steve Sims
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. TACAS (2000)
Ramesh Bharadwaj
Analysis of Agent-Based Systems Using Decision Procedures. FAABS (2000)
Ramesh Bharadwaj, Constance L. Heitmeyer
Model Checking Complete Requirements Specifications Using Abstraction. Autom. Softw. Eng. 6 (1) (1999)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24 (11) (1998)
Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
Formalizing Inductive Proofs of Network Algorithms. ASIAN (1995)