The links lead to pre-prints on Research Gate.
10. Quantitative Regular Expressions for Arrhythmia Detection
H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka and R. Grosu. Accepted to ACM Transactions on Computational Biology and Bioinformatics.
|
| | |
9. A novel programming language to reduce energy consumption by arrhythmia 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.
|
| | |
8. Real-time Decision Policies with Predictable Performance.
H. Abbas, R. Alur, K. Mamouras, R. Mangharam and A. Rodionova. In Proceedings of the IEEE, September, 2018.
|
| | |
7. Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology
H. Abbas and R. Mangharam. In American Control Conference, Milwaukee, Wisconsin, June 2018
|
| | |
6. Quantitative Regular Expressions for Arrhythmia Detection Algorithms
H. Abbas, A. Rodionova, E. Bartocci, S. Smolka and R. Grosu. In Computational Methods in Systems Biology, Darmstadt, September 2017
|
| | |
5. A novel morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias
H. Abbas, K.J. Jang, J. Liang, S. Dixit and R. Mangharam, In Heart Rhythm Scientific Sessions, Chicago, May 2017.
|
| | |
4. 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
|
| | |
3. 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.
|
| | |
2. 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.
|
| | |
1. 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
|
|
 |
|
Autonomous Vehicles and Anytime Control
|
Medical Devices and Clinical Trials
|
Cyber-Physical Systems Foundations