Visible to the public Biblio

Filters: Author is Sokolsky, Oleg  [Clear All Filters]
2018-05-23
Chen, Sanjian, Feng, Lu, Rickels, Michael R., Peleckis, Amy, Sokolsky, Oleg, Lee, Insup.  2015.  A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Proceedings of the 2015 International Conference on Healthcare Informatics. :213–222.
Chen, Sanjian, O'Kelly, Matthew, Weimer, James, Sokolsky, Oleg, Lee, Insup.  2015.  An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.
King, Andrew L, Feng, Lu, Sokolsky, Oleg, Lee, Insup.  2013.  A modal specification approach for on-demand medical systems. Foundations of Health Information Engineering and Systems. :199–216.
Wang, Shaohui, Ayoub, Anaheed, Sokolsky, Oleg, Lee, Insup.  2012.  Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.
Murphy, Christian, Raunak, M. S., King, Andrew, Chen, Sanjian, Imbriano, Christopher, Kaiser, Gail, Lee, Insup, Sokolsky, Oleg, Clarke, Lori, Osterweil, Leon.  2011.  On Effective Testing of Health Care Simulation Software. Proceedings of the 3rd Workshop on Software Engineering in Health Care (SEHC '11). :40–47.
Arney, David, Venkatasubramanian, Krishna K, Sokolsky, Oleg, Lee, Insup.  2011.  Biomedical devices and systems security. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :2376–2379.
2018-05-16
Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup.  2017.  Automatic Verification of Finite Precision Implementations of Linear Controllers. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. :153–169.
Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg.  2016.  Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg.  2015.  Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.