5 citations · 5 across the 4 of their papers we have counts for
6 papers
Bounded Autonomy and Verifiable Safety for Agentic AI Enabled Automation
Srini Ramaswamy, Deveeshree Nayak
Agentic AI-enabled automation cannot be safely deployed in high-stakes environments on probabilistic reasoning alone. A recurring risk is epistemic drift: as reasoning deepens, sys…
SMARtCARE: Privacy-Preserving Agentic AI Systems for Bounded-Autonomy Clinical Decision Support
Srini Ramaswamy, Deveeshree Nayak
Long-context clinical AI systems can miss relevant patient history when prior admissions fall outside the active reasoning context. In ICU monitoring, this can cause early vital-si…
Managed Autonomy at Runtime: Gear-Based Safety and Governance for Single- and Multi-Agent Cyber-Physical Systems
Srini Ramaswamy, Wang Miaosheng
Autonomous agents, whether LLM-driven software agents or robotic physical agents, face a common class of failure modes when operating without continuous human oversight: safety vio…
Verifying Response Times in Networked Automation Systems Using Jitter Bounds
Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy +1
Networked Automation Systems (NAS) have to meet stringent response time during operation. Verifying response time of automation is an important step during design phase before depl…
Design Contracts For Networked Automation Systems Co-design
B. Sreram, Seshadhri Srinivasan, B. Subathra +1
Networked automation systems (NAS) are characterized by confluence of control, computation, communication and Information (C3I) technologies. Design decisions of one domain are aff…
Analysis of Software Binaries for Reengineering-Driven Product Line ArchitectureâAn Industrial Case Study
Ian D. Peake, Jan Olaf Blech, Lasith Fernando +3
This paper describes a method for the recovering of software architectures from a set of similar (but unrelated) software products in binary form. One intention is to drive refacto…