Insup Lee

Research interests

Publications

• Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction

  BMC Medical Informatics and Decision Making · 2021 · https://doi.org/10.1186/s12911-021-01462-5

• Verisig

  · 2019 · 10.1145/3302504.3311806

• Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments

  Sensors · 2019 · https://doi.org/10.3390/s19051114

• Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators

  IEEE Control Systems · 2017 · https://doi.org/10.1109/mcs.2016.2643239

• Attack-Resilient State Estimation for Noisy Dynamical Systems

  IEEE Transactions on Control of Network Systems · 2016 · 10.1109/tcns.2016.2607420

• Robustness of attack-resilient state estimators

  Journal · 2014 · https://doi.org/10.1109/iccps.2014.6843720

• Medical cyber physical systems

  · 2010 · 10.1145/1837274.1837463

• Developing Next-Generation Telehealth Tools and Technologies: Patients, Systems, and Data Perspectives

  Telemedicine Journal and e-Health · 2009 · https://doi.org/10.1089/tmj.2009.0153

• Compositional real-time scheduling framework with periodic model

  ACM Transactions on Embedded Computing Systems · 2008 · 10.1145/1347375.1347383

• Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors

  Journal · 2008 · https://doi.org/10.1109/ecrts.2008.28

• Robust Test Generation and Coverage for Hybrid Systems

  Lecture notes in computer science · 2007 · https://doi.org/10.1007/978-3-540-71493-4_27

• High-Confidence Medical Device Software and Systems

  Computer · 2006 · https://doi.org/10.1109/mc.2006.127

• Java-MaC: A Run-Time Assurance Approach for Java Programs

  Formal Methods in System Design · 2004 · 10.1023/b:form.0000017719.43755.7c

• Periodic resource model for compositional real-time guarantees

  Journal · 2004 · https://doi.org/10.1109/real.2003.1253249

• A Framework and Architecture for Multi-Robot Coordination

  The International Journal of Robotics Research · 2002 · https://doi.org/10.1177/0278364902021010981

• A Temporal Logic Based Theory of Test Coverage and Generation

  Lecture notes in computer science · 2002 · https://doi.org/10.1007/3-540-46002-0_23

• Modular Specification of Hybrid Systems in Charon

  Lecture notes in computer science · 2000 · https://doi.org/10.1007/3-540-46430-1_5

• Runtime Assurance Based On Formal Specifications

  Journal · 1999

Current projects

No projects listed.