​
Login / Signup
David M. Maahs
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 3
Top Topics
Real World
Handwritten Signature Verification
Efficient Solutions
Similar Problems
Top Venues
Sensors
ICCPS
SIGBED Rev.
RV
</>
Publications
</>
Taisa Kushner
,
David M. Bortz
,
David M. Maahs
,
Sriram Sankaranarayanan
A data-driven approach to artificial pancreas verification and synthesis.
ICCPS
(2018)
Daniel Howsmon
,
Faye Cameron
,
Nihat Baysal
,
Trang T. Ly
,
Gregory P. Forlenza
,
David M. Maahs
,
Bruce A. Buckingham
,
Juergen Hahn
,
B. Wayne Bequette
Continuous Glucose Monitoring Enables the Detection of Losses in Infusion Set Actuation (LISAs).
Sensors
17 (1) (2017)
Sriram Sankaranarayanan
,
Suhas Akshar Kumar
,
Faye Cameron
,
B. Wayne Bequette
,
Georgios Fainekos
,
David M. Maahs
Model-based falsification of an artificial pancreas control system.
SIGBED Rev.
14 (2) (2017)
Fraser Cameron
,
Georgios Fainekos
,
David M. Maahs
,
Sriram Sankaranarayanan
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.
RV
(2015)