Visible to the public Biblio

Filters: Author is O. Sokolsky  [Clear All Filters]
X. Hei, X. Du, S. Lin, I. Lee, O. Sokolsky.  2015.  Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. IEEE Transactions on Parallel and Distributed Systems. 26:3108-3121.
M. Pajic, Z. Jiang, O. Sokolsky, I. Lee, R. Mangharam.  2014.  Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
B. Kim, L. T. X. Phan, O. Sokolsky, L. Lee.  2013.  Platform-dependent code generation for embedded real-time software. 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). :1-10.
A. Ayoub, B. Chang, O. Sokolsky, I. Lee.  2013.  Assessing the Overall Sufficiency of Safety Arguments. Proceedings of the 21st Safety-critical Systems Symposium (SSS'13).
B. G. Kim, L. T. X. Phan, I. Lee, O. Sokolsky.  2012.  A model-based I/O interface synthesis framework for the cross-platform software modeling. 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP). :16-22.
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
O. Sokolsky, I. Lee, M. Heimdahl.  2011.  Challenges in the regulatory approval of medical cyber-physical systems. Proceedings of the 11$^{th}$ International Conference on Embedded Software EMSOFT '11). :227–232.
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
I. Lee, O. Sokolsky, S. Chen, John Hatcliff, E. Jee, B. Kim, A. King, M. Fortino-Mullen, S. Park, A. Roederer et al..  2012.  Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the {IEEE} (special issue on Cyber-Physical Systems). 100:75–90.