| 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 | 43 | 2011 |
| 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 | 43 | 2011 |
| 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 | 42 | 2005 |
| Architectural interaction diagrams: AIDs for system modeling A Ray, R Cleaveland 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 41 | 2003 |
| 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 | 31 | 2010 |
| Security assurance cases for medical cyber–physical systems A Ray, R Cleaveland IEEE Design & Test 32 (5), 56-65, 2015 | 27 | 2015 |
| 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 | 27 | 2009 |
| 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 | 22 | 2009 |
| Model based design verification: A monitor based approach C Ackermann, A Ray, R Cleaveland, J Heit, C Martin, C Shelton SAE Technical Paper, 2008 | 16 | 2008 |
| Unit verification: the CARA experience A Ray, R Cleaveland International Journal on Software Tools for Technology Transfer 5, 351-369, 2004 | 16 | 2004 |
| 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 | 16 | 1997 |
| 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 | 14 | 2008 |
| 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 | 13 | 2009 |
| Constructing safety assurance cases for medical devices A Ray, R Cleaveland 2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013 | 11 | 2013 |
| Model-based engineering for medical-device software A Ray, R Jetley, PL Jones, Y Zhang Biomedical Instrumentation & Technology 44 (6), 507-518, 2010 | 10 | 2010 |
| 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 | 9 | 2014 |
| Standardisation of Ksheerabala taila VN Rao, T Shankar, SK Dixit, AB Ray Ancient Science of life 16 (1), 21-25, 1996 | 9 | 1996 |
| Cybersecurity for connected medical devices A Ray Academic Press, 2021 | 8 | 2021 |
| Engineering high confidence medical device software A Ray, R Jetley, P Jones ACM SIGBED Review 6 (2), 1-7, 2009 | 7 | 2009 |
| 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 | 7 | 2003 |
