Visible to the public Biblio

Filters: Author is Lee, Insup  [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.
Kohl, Benjamin A., Chen, Sanjian, Mullen-Fortino, Margaret, Lee, Insup.  2013.  Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. Proceedings of the 2013 IEEE International Conference on Healthcare Informatics (ICHI '13). :307–316.
Masci, Paolo, Ayoub, Anaheed, Curzon, Paul, Harrison, Michael D., Lee, Insup, Thimbleby, Harold.  2013.  Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. :81–90.
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.
King, Andrew, Fortino, Kelsea, Stevens, Nicholas, Shah, Sachin, Fortino-Mullen, Margaret, Lee, Insup.  2012.  Evaluation of a smart alarm for intensive care using clinical data. 34$^{th}$ Annual International Conference of the IEEE Engineering in Medicine and Biology Society.. :166–169.
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, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Son, Sang Hyuk, Lee, Insup.  2017.  Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Transactions on Cyber-Physical Systems. 1:15:1–15:23.
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.
Ivanov, Radoslav, Pajic, Miroslav, Lee, Insup.  2016.  Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Lee, Insup.  2015.  Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
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.