Follow
ARNAB RAY
ARNAB RAY
Senior Manager, Product Cybersecurity, Abbott
Verified email at abbott.com
Title
Cited by
Cited by
Year
Generic safety requirements for developing safe insulin pump software
Y Zhang, R Jetley, PL Jones, A Ray
Journal of diabetes science and technology 5 (6), 1403-1419, 2011
432011
Generic Safety Requirements for Developing Safe Insulin Pump Software
AR Yi Zhang, Raoul Jetley, Paul L. Jones
Journal of Diabetes Science and Technology 5 (6), 1403-1419, 2011
432011
Preventing race condition attacks on file-systems
P Uppuluri, U Joshi, A Ray
Proceedings of the 2005 ACM symposium on Applied computing, 346-353, 2005
422005
Architectural interaction diagrams: AIDs for system modeling
A Ray, R Cleaveland
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
412003
Automatic requirement extraction from test cases
C Ackermann, R Cleaveland, S Huang, A Ray, C Shelton, E Latronico
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
312010
Security assurance cases for medical cyber–physical systems
A Ray, R Cleaveland
IEEE Design & Test 32 (5), 56-65, 2015
272015
Generic infusion pump hazard analysis and safety requirements version 1.0
DE Arney, R Jetley, I Lee, P Jones, O Sokolsky, A Ray, Y Zhang
272009
Validating automotive control software using instrumentation-based verification
A Ray, I Morschhaeuser, C Ackermann, R Cleaveland, C Shelton, ...
2009 IEEE/ACM International Conference on Automated Software Engineering, 15-25, 2009
222009
Model based design verification: A monitor based approach
C Ackermann, A Ray, R Cleaveland, J Heit, C Martin, C Shelton
SAE Technical Paper, 2008
162008
Unit verification: the CARA experience
A Ray, R Cleaveland
International Journal on Software Tools for Technology Transfer 5, 351-369, 2004
162004
Correlation between fixed positive charge and hot-electron immunity for nitridized oxides
TB Hook, K Watson, E Lee, D Martin, R Ganesh, S Kim, A Ray
IEEE Electron Device Letters 18 (10), 471-473, 1997
161997
Using sequence diagrams to detect communication problems between systems
M Lindvall, C Ackermann, WC Stratton, DE Sibol, A Ray, L Yonkwa, ...
2008 IEEE Aerospace Conference, 1-11, 2008
142008
Generic infusion pump hazard analysis and safety requirements
D Arney, R Jetley, P Jones, I Lee, O Sokolsky, A Ray, Y Zhang
University of Pennsylvania, Tech. Rep. MS-CIS-08-31, 2009
132009
Constructing safety assurance cases for medical devices
A Ray, R Cleaveland
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
112013
Model-based engineering for medical-device software
A Ray, R Jetley, PL Jones, Y Zhang
Biomedical Instrumentation & Technology 44 (6), 507-518, 2010
102010
An analysis method for medical device security
A Ray, R Cleaveland
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014
92014
Cybersecurity for connected medical devices
A Ray
Academic Press, 2021
82021
Standardisation of Ksheerabala taila
VN Rao, T Shankar, SK Dixit, AB Ray
Ancient Science of life 16 (1), 21-25, 1996
81996
Engineering high confidence medical device software
A Ray, R Jetley, P Jones
ACM SIGBED Review 6 (2), 1-7, 2009
72009
Security check: a formal yet practical framework for secure software architecture
A Ray
Proceedings of the 2003 workshop on New security paradigms, 59-65, 2003
72003
The system can't perform the operation now. Try again later.
Articles 1–20