Visible to the public Biblio

Filters: Keyword is 1035715  [Clear All Filters]
2018-05-23
King, Andrew, Fortino, Kelsea, Stevens, Nicholas, Shah, Sachin, Fortino-Mullen, Margaret, Lee, Insup.  2012.  Evaluation of a smart alarm for intensive care using clinical data. 34$^{th}$ Annual International Conference of the IEEE Engineering in Medicine and Biology Society.. :166–169.
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).
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.
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}).
Alur, Rajeev.  2011.  Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul.  2012.  Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :188–203.
Alur, Rajeev, Trivedi, Ashutosh, Wojtczak, Dominik.  2012.  Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
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.
Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew L. King, Insup Lee.  2012.  Smart alarms: multivariate medical alarm integration for post CABG surgery patients. {IHI}. :533-542.
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.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
Wang, Shaohui, Ayoub, Anaheed, Sokolsky, Oleg, Lee, Insup.  2012.  Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.
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.
Murphy, Christian, Raunak, M. S., King, Andrew, Chen, Sanjian, Imbriano, Christopher, Kaiser, Gail, Lee, Insup, Sokolsky, Oleg, Clarke, Lori, Osterweil, Leon.  2011.  On Effective Testing of Health Care Simulation Software. Proceedings of the 3rd Workshop on Software Engineering in Health Care (SEHC '11). :40–47.
Z. Jiang, M. Pajic, R. Mangharam.  2012.  Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
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.
Alur, Rajeev, Trivedi, Ashutosh.  2011.  Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
Z. Jiang, M. Pajic, R. Mangharam.  2011.  Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).
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.
Z. Jiang, R. Mangharam.  2011.  Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. :263-266.
Arney, David, Venkatasubramanian, Krishna K, Sokolsky, Oleg, Lee, Insup.  2011.  Biomedical devices and systems security. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :2376–2379.
Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, William Hanson III, Venessa Kern, Nicholas Stevens, Jonathan Tannen et al..  2010.  GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.
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.
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.