Publications

Export 4 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is A  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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)
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)