David M. Maahs

According to our database, David M. Maahs authored at least 6 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Carissa Carter, Johannes O. Ferstad, Erica Pang, Jamie Kurtzig, Brandon Arbiter, Howard Look, Ramesh Johari, David M. Maahs, David Scheinker

npj Digit. Medicine, 2024

2019

Models, Devices, Properties, and Verification of Artificial Pancreas Systems.

Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2018

A data-driven approach to artificial pancreas verification and synthesis.

Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Model-based falsification of an artificial pancreas control system.

Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs

SIGBED Rev., 2017

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

2015

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 6th International Conference, 2015