Visible to the public Biblio

Filters: Author is I. Lee  [Clear All Filters]
Conference Paper
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).
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. Roederer, J. Dimartino, J. Gutsche, M. Mullen-Fortino, S. Shah, C. W. Hanson, I. Lee.  2016.  Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). :229-237.
R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G. Pappas, I. Lee.  2016.  Estimation of Blood Oxygen Content Using Context-Aware Filtering. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
B. Kim, H. I. Hwang, T. Park, S. H. Son, I. Lee.  2014.  A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
P. Asare, D. Cong, S.G. Vattam, BG. Kim, A. King, O. Sokolsky, I. Lee, S. Lin, M. Mullen-Fortino.  2012.  The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :667–672.
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.
R. Ivanov, N. Atanasov, M. Pajic, G. Pappas, I. Lee.  2015.  Robust estimation using context-aware filtering. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :590-597.
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.
B. Kim, A. Ayoub, O. Sokolsky, P. Jones, Y. Zhang, R. Jetley, I. Lee.  2011.  Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.
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}).
Journal Article
M. Pajic, I. Lee, G. J. Pappas.  2017.  Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
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.
M. Pajic, J. Weimer, N. Bezzo, O. Sokolsky, G. J. Pappas, I. Lee.  2017.  Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators. IEEE Control Systems. 37:66-81.
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.
S. Chen, J. Weimer, M. Rickels, A. Peleckis, I. Lee.  Submitted.  Physiology-Invariant Meal Detection for Type 1 Diabetes. Diabetes Technology and Therapeutics", year 201.

online first

R. Ivanov, J. Weimer, A. F. Simpao, M. A. Rehman, I. Lee.  2016.  Prediction of Critical Pulmonary Shunts in Infants. IEEE Transactions on Control Systems Technology. 24:1936-1952.
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