Ramesh Bharadwaj

According to our database, Ramesh Bharadwaj authored at least 32 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Effects of Lossy Compression on the Age of Information in a Low Power Network.

Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj

Proceedings of the 24th IEEE International Symposium on a World of Wireless, 2023

2022

Improving Quality of Service in a Mesh Network Using Age of Information.

Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj

Proceedings of the IEEE Military Communications Conference, 2022

2021

QoS Extension to a B.A.T.M.A.N. based LoRa Mesh Network.

Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj

Proceedings of the 2021 IEEE Military Communications Conference, 2021

2015

Reasoning about security in sensor networks.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Concurr. Comput. Pract. Exp., 2015

2013

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2012

A complex-event-processing framework for smart-grid management.

Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012

2011

Counterfactually reasoning about security.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Functional "AJAX" in Secure Synchronous Programming.

Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

'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

Proceedings of the Third International Conference on Communication Systems and Networks, 2011

2009

Automatic Synthesis and Deployment of Intensional Kahn Process Networks.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the Grid and Distributed Computing, 2009

2008

Cognitive Distributed Networks in Environmental e-Science.

Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.

Ramesh Bharadwaj, Supratik Mukhopadhyay

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

RE Theory Meets Software Practice: Lessons from the Software Development Trenches.

Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems.

Ramesh Bharadwaj, Supratik Mukhopadhyay

Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

2005

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.

Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords

Comput. Syst. Sci. Eng., 2005

Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.

Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Verified Software: The RealGrand Challenge.

Ramesh Bharadwaj

Proceedings of the Verified Software: Theories, 2005

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.

Ralph D. Jeffords, Ramesh Bharadwaj

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Service Composition in a Secure Agent-Based Architecture.

Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh

Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

What Is SINS?

Ramesh Bharadwaj

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Introduction.

Ramesh Bharadwaj, Robert J. Hall

Autom. Softw. Eng., 2004

2003

Secure Middleware for Situation-Aware Naval C2 and Combat Systems.

Ramesh Bharadwaj

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002

SOL: A Verifiable Synchronous Language for Reactive Systems.

Ramesh Bharadwaj

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

Naval Applications of Secure Multi-agent Technology.

Ramesh Bharadwaj

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Verifiable Middleware for Secure Agent Interoperability.

Ramesh Bharadwaj

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2000

Applying the SCR Requirements Method to the Light Control Case Study.

Constance L. Heitmeyer, Ramesh Bharadwaj

J. Univers. Comput. Sci., 2000

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.

Ramesh Bharadwaj, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Analysis of Agent-Based Systems Using Decision Procedures.

Ramesh Bharadwaj

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Model Checking Complete Requirements Specifications Using Abstraction.

Ramesh Bharadwaj, Constance L. Heitmeyer

Autom. Softw. Eng., 1999

1998

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj

IEEE Trans. Software Eng., 1998

SCR*: A Toolset for Specifying and Analyzing Software Requirements.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1995

Formalizing Inductive Proofs of Network Algorithms.

Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp

Proceedings of the Algorithms, 1995