Arnab Ray

发表

Compositional modeling of interaction-centric concurrent systems

Walter Rance Cleaveland, Arnab Ray, 2004 .

Security Assurance Cases for Medical Cyber–Physical Systems

Rance Cleaveland, Arnab Ray, R. Cleaveland, 2015, IEEE Design & Test.

Functional and Nonfunctional Design Verification for Embedded Software Systems

Rance Cleaveland, Charles P. Shelton, Arnab Ray, 2011, Adv. Comput..

Validating Automotive Control Software Using Instrumentation-Based Verification

Rance Cleaveland, Charles P. Shelton, Arnab Ray, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Architectural Analysis of Dynamically Reconfigurable Systems

Arnab Ray, Mikael Lindvall, Sally Godfrey, 2010 .

Model Based Design Verification: A Monitor Based Approach

Rance Cleaveland, Arnab Ray, Christopher Martin, 2008 .

Architecture Analysis of Evolving Complex Systems of Systems (C107)

Arnab Ray, Mikael Lindvall, William C. Stratton, 2007 .

Automatic Requirement Extraction from Test Cases

Rance Cleaveland, Charles P. Shelton, Elizabeth Latronico, 2010, RV.

Formal Modeling Of Middleware-based Distributed Systems

Rance Cleaveland, Arnab Ray, R. Cleaveland, 2004, FESCA@ETAPS.

Integrating Functional and Non-Functional Design Verification for Embedded Software Systems

Rance Cleaveland, Arnab Ray, Christopher Martin, 2009 .

Authentication, Access Control, and Information Flow

Arnab Ray, 2008, Wiley Encyclopedia of Computer Science and Engineering.

Constructing safety assurance cases for medical devices

Rance Cleaveland, Arnab Ray, 2013, 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE).

Architectural Analysis of Complex Evolving Systems of Systems

Arnab Ray, Mikael Lindvall, William C. Stratton, 2009 .

Preventing race condition attacks on file-systems

Arnab Ray, Uday Joshi, Prem Uppuluri, 2005, SAC '05.

Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach

Arnab Ray, A. Ray, 2005, COORDINATION.

Architecture Analysis of Evolving Complex Systems of Systems: Technical Presentation [and Executive Status Report]

Arnab Ray, Mikael Lindvall, William C. Stratton, 2008 .

Model-based engineering for medical-device software.

Yi Zhang, Arnab Ray, Raoul Jetley, 2010, Biomedical instrumentation & technology.

Executable Specifications for Real-Time Distributed Systems

Rance Cleaveland, Arnab Ray, 2008, Electron. Notes Theor. Comput. Sci..

A Software Architectural Approach to Security by Design

Rance Cleaveland, Arnab Ray, 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

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

Arnab Ray, 2003, NSPW '03.

Secure Requirements Elicitation Through Triggered Message Sequence Charts

Rance Cleaveland, Bikram Sengupta, Arnab Ray, 2004, ICDCIT.

Unit verification: the CARA experience

Rance Cleaveland, Arnab Ray, R. Cleaveland, 2004, International Journal on Software Tools for Technology Transfer.

Generic Safety Requirements for Developing Safe Insulin Pump Software

Arnab Ray, Yi Zhang, Raoul Jetley, 2011, Journal of diabetes science and technology.

Medical device security-a new frontier.

Yi Zhang, Arnab Ray, Paul Jones, 2013, Biomedical instrumentation & technology.

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

Rance Cleaveland, Richard A. Gray, Radu Grosu, 2014, ISoLA.

An analysis method for medical device security

Rance Cleaveland, Arnab Ray, 2014, HotSoS '14.

Architectural interaction diagrams: AIDs for system modeling

Rance Cleaveland, Arnab Ray, R. Cleaveland, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

Model Based Verification and Validation of Distributed Control Architectures

Rance Cleaveland, Shengbing Jiang, Arnab Ray, 2006 .

Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0

Insup Lee, Yi Zhang, Oleg Sokolsky, 2009 .

Model-based development: a new approach to engineering medical software.

Arnab Ray, Raoul Jetley, R. Jetley, 2010, Biomedical instrumentation & technology.

Engineering high confidence medical device software

Raoul Praful Jetley, Paul L. Jones, Arnab Ray, 2009, SIGBED.