Visible to the public Biblio

Filters: Author is Sokolsky, O.  [Clear All Filters]
2018-05-23
Pajic, M., Mangharam, R., Sokolsky, O., others.  2014.  Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions on Industrial Informatics. 10:3–16.
Vasserman, E.Y., Venkatasubramanian, K.K., Sokolsky, O., Insup Lee.  2012.  Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences and Classifications.. IEEE Security and Privacy. 10:70–73.
Venkatasubramanian, K.K., Vasserman, E.Y., Sokolsky, O., Insup Lee.  2012.  Security and Interoperable-Medical-Device Systems, Part 1. IEEE Security and Privacy. 10:61–63.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.