Medical Devices and Clinical Trials
|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.