Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. - Fraser Cameron; Georgios Fainekos; David M. Maahs; Sriram Sankaranarayanan 001 (RV, 2015)

Continuous Glucose Monitoring Enables the Detection of Losses in Infusion Set Actuation (LISAs). - Daniel Howsmon; Faye Cameron; Nihat Baysal; Trang T. Ly; Gregory P. Forlenza; David M. Maahs; Bruce A. Buckingham; Juergen Hahn; B. Wayne Bequette (Sensors, 2017)

Model-based falsification of an artificial pancreas control system. - Sriram Sankaranarayanan 001; Suhas Akshar Kumar; Faye Cameron; B. Wayne Bequette; Georgios Fainekos; David M. Maahs (SIGBED Rev., 2017)

A data-driven approach to artificial pancreas verification and synthesis. - Taisa Kushner; David M. Bortz; David M. Maahs; Sriram Sankaranarayanan 001 (ICCPS, 2018)

Models, Devices, Properties, and Verification of Artificial Pancreas Systems. - Taisa Kushner; B. Wayne Bequette; Faye Cameron; Gregory P. Forlenza; David M. Maahs; Sriram Sankaranarayanan 001 (Automated Reasoning for Systems Biology and Medicine, 2019)

The adaptation of a single institution diabetes care platform into a nationally available turnkey solution. - Gloria Y. K. Kim; Rea Rostosky; Franziska K. Bishop; Kelly Watson; Priya Prahalad; Aishwari Vaidya; Sharon Lee; Alexander Diana; Clint Beacock; Brian Chu; Ginny Yadav; Kaylin Rochford; et al. (npj Digit. Medicine, 2024)