Arnab Ray

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 1

Top Topics

Cyber Physical Systems

Therapy Planning

Computational Fluid Dynamics

Medical Devices

Top Venues

Publications

Arnab Ray, Rance Cleaveland
Security Assurance Cases for Medical Cyber-Physical Systems. IEEE Des. Test 32 (5) (2015)
Arnab Ray, Rance Cleaveland
An analysis method for medical device security. HotSoS (2014)
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
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) (2014)
Arnab Ray, Rance Cleaveland
Constructing safety assurance cases for medical devices. ASSURE@ICSE (2013)
Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Functional and Nonfunctional Design Verification for Embedded Software Systems. Adv. Comput. 83 (2011)
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
Automatic Requirement Extraction from Test Cases. RV (2010)
Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Validating Automotive Control Software Using Instrumentation-Based Verification. ASE (2009)
Arnab Ray, Raoul Praful Jetley, Paul L. Jones
Engineering high confidence medical device software. SIGBED Rev. 6 (2) (2009)
Arnab Ray, Rance Cleaveland
Executable Specifications for Real-Time Distributed Systems. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Arnab Ray, Rance Cleaveland
A Software Architectural Approach to Security by Design. COMPSAC (2) (2006)
Arnab Ray, Rance Cleaveland, Arne Skou
An Algebraic Theory Of Boundary Crossing Transitions. Electron. Notes Theor. Comput. Sci. 115 (2005)
Prem Uppuluri, Uday Joshi, Arnab Ray
Preventing race condition attacks on file-systems. SAC (2005)
Arnab Ray
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. COORDINATION (2005)
Arnab Ray, Rance Cleaveland
Unit verification: the CARA experience. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Arnab Ray, Rance Cleaveland
Formal Modeling Of Middleware-based Distributed Systems. Electron. Notes Theor. Comput. Sci. 108 (2004)
Arnab Ray, Bikram Sengupta, Rance Cleaveland
Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT (2004)
Arnab Ray
Security check: a formal yet practical framework for secure software architecture. NSPW (2003)
Arnab Ray, Rance Cleaveland
Architectural Interaction Diagrams: AIDs for System Modeling. ICSE (2003)