Architectural Interaction Diagrams: AIDs for System Modeling. - Arnab Ray; Rance Cleaveland (ICSE, 2003)

Security check: a formal yet practical framework for secure software architecture. - Arnab Ray (NSPW, 2003)

Secure Requirements Elicitation Through Triggered Message Sequence Charts. - Arnab Ray; Bikram Sengupta; Rance Cleaveland (ICDCIT, 2004)

Formal Modeling Of Middleware-based Distributed Systems. - Arnab Ray; Rance Cleaveland (FESCA@ETAPS, 2004)

An Algebraic Theory Of Boundary Crossing Transitions. - Arnab Ray; Rance Cleaveland; Arne Skou (SFEDL@ETAPS, 2004)

Unit verification: the CARA experience. - Arnab Ray; Rance Cleaveland (Int. J. Softw. Tools Technol. Transf., 2004)

Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. - Arnab Ray (COORDINATION, 2005)

Preventing race condition attacks on file-systems. - Prem Uppuluri; Uday Joshi; Arnab Ray (SAC, 2005)

A Software Architectural Approach to Security by Design. - Arnab Ray; Rance Cleaveland (COMPSAC (2), 2006)

Executable Specifications for Real-Time Distributed Systems. - Arnab Ray; Rance Cleaveland (SLA++P@ETAPS, 2007)

Authentication, Access Control, and Information Flow. - Arnab Ray (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Validating Automotive Control Software Using Instrumentation-Based Verification. - Arnab Ray; Iris Morschhaeuser; Christopher Ackermann; Rance Cleaveland; Charles P. Shelton; Chris Martin (ASE, 2009)

Engineering high confidence medical device software. - Arnab Ray; Raoul Praful Jetley; Paul L. Jones (SIGBED Rev., 2009)

Automatic Requirement Extraction from Test Cases. - Christopher Ackermann; Rance Cleaveland; Samuel Huang 001; Arnab Ray; Charles P. Shelton; Elizabeth Latronico (RV, 2010)

Functional and Nonfunctional Design Verification for Embedded Software Systems. - Arnab Ray; Christopher Ackermann; Rance Cleaveland; Charles P. Shelton; Chris Martin (Adv. Comput., 2011)

Constructing safety assurance cases for medical devices. - Arnab Ray; Rance Cleaveland (ASSURE@ICSE, 2013)

An analysis method for medical device security. - Arnab Ray; Rance Cleaveland (HotSoS, 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 (ISoLA (2), 2014)

Security Assurance Cases for Medical Cyber-Physical Systems. - Arnab Ray; Rance Cleaveland (IEEE Des. Test, 2015)

Testing Credibility of Public and Private Surveys through the Lens of Regression. - Debabrota Basu; Sourav Chakraborty 001; Debarshi Chanda; Buddha Dev Das; Arijit Ghosh; Arnab Ray (CoRR, 2024)