- A Deep Dive Into Clinical Cardiac Ablation A Case-Based Approach - Jackson Liang
- A new ICD Morphology Discriminator - Houssam Abbas
- Automated ICD Testing Tool - Marco Beccani
- Clinical Assist System for EP Ablation - Zhihao Jiang
- Closed-Loop Robust Control for an Artificial Pancreas under Meal and Exercise Uncertainty - Nicola Paoletti
- Data-driven Modeling of Intracardiac Electrograms [pdf] - Kuk Jin Jang
- Data-driven Modeling of Intracardiac Electrograms [pptx] - Kuk Jin Jang
- Electrocardiac Defibrillation Modeling - Hyunkyung Lim
- Formal Methods for Cyber-Physical Systems - Sergiy Bogomolov
- Lagrangian Reachabililty - Jacek Cyranka
- Multi-Parameter Bifurcation Analysis of Cardiac Alternans - Ariful Islam
- NSF Frontiers Annual Meeting 2017 - Upenn
- Optimal Safe Control - Scott Smolka
- Query Checking for Linear Temporal Logic - Samuel Huang
- The State of CyberCardia - Led by Scott Smolka
