Biblio

Filters: Author is Oleg Sokolsky  [Clear All Filters]
2021-08-11
Amjad Ibrahim, Alexander Pretschner.  2020.  From Checking to Inference: Actual Causality Computations as Optimization Problems. Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. 12302:343–359.
2018-05-23
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee.  2015.  Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee.  2015.  Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee.  2015.  Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. 34th International Conference on Computer Safety, Reliability, and Security, {SAFECOMP} 2015. :252–266.
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee.  2015.  Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee.  2014.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee.  2014.  Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 5$^{th}$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :139-150.
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee.  2014.  Functional Alarms for Systems of Interoperable Medical Devices. 15th International {IEEE} Symposium on High-Assurance Systems Engineering ({HASE} 2014). :247–248.
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee.  2013.  Assuring the Safety of On-Demand Medical Cyber-Physical Systems. Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) 2013.
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby.  2013.  Model-based development of the Generic PCA infusion pump user interface within PVS. Proceedings of the 32$^{nd}$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13).
Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, William Hanson III, Venessa Kern, Nicholas Stevens, Jonathan Tannen et al..  2010.  GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.