Ramesh Bharadwaj

Proceedings of the 25th IEEE International Symposium on a World of Wireless, 2025

2024

A logical alarm for misaligned binary classifiers.

[BibT_eX]

[DOI]

Andrés Corrada-Emmanuel

Ilya Parker

CoRR, 2024

2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Military Communications Conference, 2022

2021

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

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Military Communications Conference, 2021

2015

Reasoning about security in sensor networks.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

2013

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

[BibT_eX]

[DOI]

Srivathsan Srinivasagopalan

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.

[BibT_eX]

[DOI]

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

2011

Counterfactually reasoning about security.

[BibT_eX]

[DOI]

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

Functional "AJAX" in Secure Synchronous Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mohammad Rabby

Kaliappa Ravindran

Gaurav Mangukiya

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

2009

Automatic Synthesis and Deployment of Intensional Kahn Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Grid and Distributed Computing, 2009

2008

Cognitive Distributed Networks in Environmental e-Science.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ralph D. Jeffords

Myla Archer

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

Myla Archer

Ralph D. Jeffords

Comput. Syst. Sci. Eng., 2005

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

[BibT_eX]

[DOI]

Stephen S. Yau

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

Verified Software: The RealGrand Challenge.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

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

[BibT_eX]

[DOI]

Ralph D. Jeffords

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.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

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

2004

Introduction.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2004

2003

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Naval Applications of Secure Multi-agent Technology.

[BibT_eX]

[DOI]

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

Verifiable Middleware for Secure Agent Interoperability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

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

[BibT_eX]

[DOI]

Steve Sims

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

Analysis of Agent-Based Systems Using Decision Procedures.

[BibT_eX]

[DOI]

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

1999

Model Checking Complete Requirements Specifications Using Abstraction.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1999

1998

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

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

[BibT_eX]

[DOI]

James Kirby

Bruce G. Labaw

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

1995

Formalizing Inductive Proofs of Network Algorithms.

[BibT_eX]

[DOI]