Arnab Ray

According to our database, Arnab Ray authored at least 19 papers between 2003 and 2015.

Collaborative distances:

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

2015

Security Assurance Cases for Medical Cyber-Physical Systems.

Arnab Ray, Rance Cleaveland

IEEE Des. Test, 2015

2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.

Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An analysis method for medical device security.

Arnab Ray, Rance Cleaveland

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2013

Constructing safety assurance cases for medical devices.

Arnab Ray, Rance Cleaveland

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2011

Functional and Nonfunctional Design Verification for Embedded Software Systems.

Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin

Adv. Comput., 2011

2010

Automatic Requirement Extraction from Test Cases.

Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Engineering high confidence medical device software.

Arnab Ray, Raoul Praful Jetley, Paul L. Jones

SIGBED Rev., 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.

Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin

Proceedings of the ASE 2009, 2009

2008

Authentication, Access Control, and Information Flow.

Arnab Ray

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007

Executable Specifications for Real-Time Distributed Systems.

Arnab Ray, Rance Cleaveland

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2006

A Software Architectural Approach to Security by Design.

Arnab Ray, Rance Cleaveland

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Preventing race condition attacks on file-systems.

Prem Uppuluri, Uday Joshi, Arnab Ray

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.

Arnab Ray

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Unit verification: the CARA experience.

Arnab Ray, Rance Cleaveland

Int. J. Softw. Tools Technol. Transf., 2004

An Algebraic Theory Of Boundary Crossing Transitions.

Arnab Ray, Rance Cleaveland, Arne Skou

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Formal Modeling Of Middleware-based Distributed Systems.

Arnab Ray, Rance Cleaveland

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Secure Requirements Elicitation Through Triggered Message Sequence Charts.

Arnab Ray, Bikram Sengupta, Rance Cleaveland

Proceedings of the Distributed Computing and Internet Technology, 2004

2003

Security check: a formal yet practical framework for secure software architecture.

Arnab Ray

Proceedings of the New Security Paradigms Workshop 2003, 2003

Architectural Interaction Diagrams: AIDs for System Modeling.

Arnab Ray, Rance Cleaveland

Proceedings of the 25th International Conference on Software Engineering, 2003