According to our database1, Arnab Ray authored at least 19 papers between 2003 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Security Assurance Cases for Medical Cyber-Physical Systems.
IEEE Design & Test, 2015
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
An analysis method for medical device security.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014
Constructing safety assurance cases for medical devices.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Advances in Computers, 2011
Automatic Requirement Extraction from Test Cases.
Proceedings of the Runtime Verification - First International Conference, 2010
Engineering high confidence medical device software.
SIGBED Review, 2009
Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009
Authentication, Access Control, and Information Flow.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Executable Specifications for Real-Time Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2008
A Software Architectural Approach to Security by Design.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
An Algebraic Theory Of Boundary Crossing Transitions.
Electr. Notes Theor. Comput. Sci., 2005
Preventing race condition attacks on file-systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
Unit verification: the CARA experience.
Formal Modeling Of Middleware-based Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2004
Secure Requirements Elicitation Through Triggered Message Sequence Charts.
Proceedings of the Distributed Computing and Internet Technology, 2004
Security check: a formal yet practical framework for secure software architecture.
Proceedings of the New Security Paradigms Workshop 2003, 2003
Architectural Interaction Diagrams: AIDs for System Modeling.
Proceedings of the 25th International Conference on Software Engineering, 2003