David M. Maahs

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

Collaborative distances:

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

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