Arnab Ray

21 papers A* 2B 1C 2Misc 2Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dimension Agnostic Testing of Survey Data Credibility through the Lens of Regression.
CoRR
Debabrota Basu, Sourav Chakraborty, Debarshi Chanda, Buddha Dev Das, Arijit Ghosh, Arnab Ray
2024 J jnl
Testing Credibility of Public and Private Surveys through the Lens of Regression.
CoRR
Debabrota Basu, Sourav Chakraborty, Debarshi Chanda, Buddha Dev Das, Arijit Ghosh, Arnab Ray
2015 J jnl
Security Assurance Cases for Medical Cyber-Physical Systems.
IEEE Des. Test
Arnab Ray, Rance Cleaveland
2014 — conf
An analysis method for medical device security.
HotSoS
Arnab Ray, Rance Cleaveland
2014 — conf
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
ISoLA (2)
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 — conf
Constructing safety assurance cases for medical devices.
ASSURE@ICSE
Arnab Ray, Rance Cleaveland
2011 J jnl
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Adv. Comput.
Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
2010 B conf
Automatic Requirement Extraction from Test Cases.
RV
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
2009 J jnl
Engineering high confidence medical device software.
SIGBED Rev.
Arnab Ray, Raoul Praful Jetley, Paul L. Jones
2009 A* conf
Validating Automotive Control Software Using Instrumentation-Based Verification.
ASE
Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
2008 — ch.
Authentication, Access Control, and Information Flow.
Wiley Encyclopedia of Computer Science and Engineering
Arnab Ray
2007 — conf
Executable Specifications for Real-Time Distributed Systems.
SLA++P
Arnab Ray, Rance Cleaveland
2006 — conf
A Software Architectural Approach to Security by Design.
COMPSAC (2)
Arnab Ray, Rance Cleaveland
2005 C conf
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
COORDINATION
Arnab Ray
2005 Misc conf
Preventing race condition attacks on file-systems.
SAC
Prem Uppuluri, Uday Joshi, Arnab Ray
2004 — conf
An Algebraic Theory Of Boundary Crossing Transitions.
SFEDL@ETAPS
Arnab Ray, Rance Cleaveland, Arne Skou
2004 — conf
Formal Modeling Of Middleware-based Distributed Systems.
FESCA@ETAPS
Arnab Ray, Rance Cleaveland
2004 Misc conf
Secure Requirements Elicitation Through Triggered Message Sequence Charts.
ICDCIT
Arnab Ray, Bikram Sengupta, Rance Cleaveland
2004 J jnl
Unit verification: the CARA experience.
Int. J. Softw. Tools Technol. Transf.
Arnab Ray, Rance Cleaveland
2003 A* conf
Architectural Interaction Diagrams: AIDs for System Modeling.
ICSE
Arnab Ray, Rance Cleaveland
2003 C conf
Security check: a formal yet practical framework for secure software architecture.
NSPW
Arnab Ray