Quantitative Regular Expressions for Arrhythmia Detection Algorithms,
Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu
, International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)
(1.06 MB) A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias,
Abbas, H., Jang K.J., Liang J., Dixit S., and Mangharam R.
, In Heart Rhythm Scientific Sessions, Chicago, 05/2017, (2017)
(77.23 KB) High-level modeling for computer-aided clinical trials of medical devices,
Abbas, Houssam, Jiang Zhihao, Jang Kuk Jin, Beccani Marco, Liangy Jackson, and Mangharam Rahul
, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, (2016)
(4.01 MB) Towards Model Checking of Implantable Cardioverter Defibrillators,
Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul
, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)
(1.87 MB) 
] Title Type Year 