Biblio

Filters: Keyword is 1035715  [Clear All Filters]
2018-05-23
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-11
Jiang, Zhihao, Abbas, Houssam, and Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
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.
2018-05-11
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
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.
G. Gay, M. Staats, M. Whalen, M. P. E. Heimdahl.  2015.  Automated Oracle Data Selection Support. IEEE Transactions on Software Engineering. 41:1119-1137.
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.
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.
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.
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.
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.
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.
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.
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.
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee.  2014.  Exploring the twin peaks using probabilistic verification techniques. Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014. :18–23.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.