| 2014 | ISoLA | 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 |
| 2013 | ICSE | Constructing safety assurance cases for medical devices. | Arnab Ray, Rance Cleaveland |
| 2010 | RV | Automatic Requirement Extraction from Test Cases. | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
| 2006 | COMPSAC | A Software Architectural Approach to Security by Design. | Arnab Ray, Rance Cleaveland |
| 2005 | Coordination | Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. | Arnab Ray |
| 2005 | SAC | Preventing race condition attacks on file-systems. | Prem Uppuluri, Uday Joshi, Arnab Ray |
| 2004 | ICDCIT | Secure Requirements Elicitation Through Triggered Message Sequence Charts. | Arnab Ray, Bikram Sengupta, Rance Cleaveland |
| 2003 | ICSE | Architectural Interaction Diagrams: AIDs for System Modeling. | Arnab Ray, Rance Cleaveland |
| 2003 | NSPW | Security check: a formal yet practical framework for secure software architecture. | Arnab Ray |