Visible to the public Biblio

Filters: Keyword is 1035715  [Clear All Filters]
2018-05-23
Hung Nguyen, others.  2016.  Cloud-based Secure Logger For Medical Devices. Workshop on Security, Privacy, and Trustworthiness of Medical Cyber-Physical Systems.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter J., Mangharam, Rahul.  2017.  Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–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.
[Anonymous].  2016.  Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study authors = Chen, Sanjian and Sokolsky, Oleg and Weimer, James and Lee, Insup". Journal of Computing Science and Engineering. 10:75-84.
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.
G. Gay, M. Staats, M. Whalen, M. P. E. Heimdahl.  2015.  Automated Oracle Data Selection Support. IEEE Transactions on Software Engineering. 41:1119-1137.
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.
G. Gay, M. Staats, M. Whalen, M. P. E. Heimdahl.  2015.  The Risks of Coverage-Directed Test Case Generation. IEEE Transactions on Software Engineering. 41:803-819.
Chen, S., Weimer, J., Rickels, M., Peleckis, A., Lee, I..  2015.  Towards a Model-Based Meal Detector for Type I Diabetics. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
Roederer, A., Weimer, J., Dimartino, J., Gutsche, J., Lee, I..  2015.  Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee.  2015.  Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee.  2015.  Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. 34th International Conference on Computer Safety, Reliability, and Security, {SAFECOMP} 2015. :252–266.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee.  2015.  Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee.  2015.  Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay.  2015.  Efficient observability-based test generation by dynamic symbolic execution. 26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015. :228–238.
Ivanov, R., Weimer, J., Simpao, A., Rehman, M., Lee, I..  2015.  Early Detection of Critical Pulmonary Shunts in Infants. Proceedings of the 6th International Conference on Cyber-Physical Systems. :110-119.
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You.  2015.  Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites {NASA} Formal Methods - 7th International Symposium, {NFM} 2015. :279–294.
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.
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Structuring simulink models for verification and reuse. 6th International Workshop on Modeling in Software Engineering, MiSE 2014. :19–24.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Steering model-based oracles to admit real program behaviors. 36th International Conference on Software Engineering, {ICSE} '14, Companion Proceedings. :428–431.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee.  2014.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
J. Plourde, D. Arney, J. M. Goldman.  2014.  OpenICE: An open, interoperable platform for medical cyber-physical systems. 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :221-221.
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee.  2014.  Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 5$^{th}$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :139-150.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Improving the accuracy of oracle verdicts through automated model steering. {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14. :527–538.