Biblio
Filters: Author is Mangharam, Rahul [Clear All Filters]
.
2017. Real-time Decision Policies with Predictable Performance. Proceedings of the IEEE.
Submitted
.
2017. Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–23.
.
2017. A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias. Heart Rhythm Society Scientific Sessions.
.
2016. Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
.
2016. The Challenges of High-Confidence Medical Device Software. IEEE Computer January Outlook.
.
2016. Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
.
2016. High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
.
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.
.
2016. Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.
.
2016. Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
.
2016. Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
.
2015. High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
.
2014. Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
.
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.