Publications_Medical Devices and Clinical Trials

Medical Devices and Clinical Trials

Title	Authors
Formal Property Verification in a Conformance Testing Framework	H. Abbas, H. Mittelmann and G. Fainekos, In the Proc. of MEMOCODE 2014, Lausanne, October 2014.
A novel morphology discriminator to improve descrimination between Ventricular Supraventricular tachycardias	H. Abbas, K.J. Jang, J. Liang, S. Dixit and R. Mangharam, In Heart Rhythm Scientific Sessions, Chicago, May 2017.
Quantitative Regular Expressions for Arrhythmia Detection Algoithms	H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka and R. Grosu. Accepted to ACM Transactions on Computational Biology and Bioinformatics.
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology	H. Abbas and R. Mangharam. In American Control Conference, Milwaukee, Wisconsin, June 2018
The challenges of high-confidence medical device software	Z. Jiang, H. Abbas, K.J. Jang, and R. Mangharam, In IEEE Computer Magazine, Vol. 49(1), January 2016
Towards Model checking implantable cardioverter defibrillators	H. Abbas, K.J. Jang, Z. Jiang, and R. Mangharam, In the Proc. of HSCC 2016, Vienna, April 2016.
Computer-aided clinical trials for implantable cardiac devices	H. Abbas, Z. Jiang, K.J. Jang, M. Beccani, J. Liang, S. Dixit and R. Mangharam, In 53d Annual Technical Meeting of the Society of Engineering Science, Maryland, October 2016.
High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices	H. Abbas, Z. Jiang, K.J. Jang, M. Beccani, J. Liang, and R. Mangharam, In Proceedings of the 18th High-Level Design and Validation Workshop, Santa Cruz, October 2016
Quantitative Regular Expressions for Arrhythmia Detection	H. Abbas, A. Rodionova, E. Bartocci, S. Smolka and R. Grosu. In Computational Methods in Systems Biology, Darmstadt, September 2017
Real-time Decisions Policies and Predictable Performance	H. Abbas, R. Alur, K. Mamouras, R. Mangharam and A. Rodionova. In Proceedings of the IEEE, September, 2018.
A novel programming language to reduce energy consumption by arrhythmis monitoring algorithms in implantable cardioverter-defibrillators	H. Abbas, K. Mamouras, A. Rodionova, R. Alur, J. Liang, S. Dixit, and R. Mangharam, In Heart Rhythm Sessions, 2018.