Suivre
ARNAB RAY
ARNAB RAY
Senior Manager, Product Cybersecurity, Abbott
Adresse e-mail validée de abbott.com
Titre
Citée par
Citée par
Année
Architectural interaction diagrams: AIDs for system modeling
A Ray, R Cleaveland
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
402003
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
382011
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
382011
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
382005
Automatic requirement extraction from test cases
C Ackermann, R Cleaveland, S Huang, A Ray, C Shelton, E Latronico
International Conference on Runtime Verification, 1-15, 2010
322010
Generic infusion pump hazard analysis and safety requirements version 1.0
DE Arney, R Jetley, P Jones, I Lee, A Ray, O Sokolsky, Y Zhang
Technical Reports (CIS), 893, 2009
242009
Security assurance cases for medical cyber–physical systems
A Ray, R Cleaveland
IEEE Design & Test 32 (5), 56-65, 2015
222015
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
192009
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 (4), 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
151997
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
Model-based engineering for medical-device software
A Ray, R Jetley, PL Jones, Y Zhang
Biomedical Instrumentation & Technology 44 (6), 507-518, 2010
92010
Standardisation of Ksheerabala taila
VN Rao, T Shankar, SK Dixit, AB Ray
Ancient Science of life 16 (1), 21, 1996
91996
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
82014
Constructing safety assurance cases for medical devices
A Ray, R Cleaveland
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
82013
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
Formal modeling of middleware-based distributed systems
A Ray, R Cleaveland
Electronic Notes in Theoretical Computer Science 108, 21-37, 2004
62004
QoS as Middleware: Bandwidth Brokering System Design
G Hoo, W Johnston, I Foster, A Ray
submitted to the High Performance and Distributed Computing conference, 1999
61999
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20