Formal Property Verification in a Conformance Testing Framework
H. Abbas, H. Mittelmann and G. Fainekos, In the Proc. of MEMOCODE 2014, Lausanne, October 2014.
Publication Category: MDCT
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.