Biblio

Filters: Author is I. Lee  [Clear All Filters]
2018-05-23
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

2018-05-16
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.
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.
2018-05-23
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.
2018-05-16
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.
2018-05-23
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.
2018-05-25
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.
2018-05-16
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.
2018-05-23
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.
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
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).
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.
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.
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}).
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. 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.
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.
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.