Skip to main content
- Sheep Heart Dissections Video
- Real Time Modeling of Cardiac Tissue (Flavio H. Fenton)
- Advisory Board and Industrial Outreach
- Temporal Logic as Filtering (Published in HSCC 2016 by Alena Rodionova Ezio Bartocci Dejan Nickovic Radu Grosu)
- VT/SVT Discrimination Algorithm Session Temporal Logic approach (By TU Wien UPenn, speakers: Alena Rodionova, Radu Grosu, Houssam Abbas)
- Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology (By Matthew S. Shotwell and Richard A. Gray)
- What to do when it’s hard to reach the goal (By Sicun Gao)
- Bifurcation Analysis of Cardiac Alternans (By Md Ariful Islam CMU)
- From model to device and back (By Houssam Abbas, Zhihao Jiang, Kuk Jang, Marco Beccani and Rahul Mangharam)
- In-silico pre-clinical Trial Toolchain Overview (By Kuk Jang, Marco Beccani, Zhihao Jiang, Houssam Abbas, Rahul Mangharam)
- Towards an Open ICD Platform (By Marco Beccani, Kuk Jang, Zhihao Jiang, Houssam Abbas, Rahul Mangharam)
- Is it logical to specify Sensing in Logic? (By Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott Smolka, Radu Grosu)
- Filament Dynamics during Simulated Ventricular Fibrillation in a High-Resolution Rabbit Heart (By Richard A Gray & Pras Pathmanathan)
- Data-Driven Robust Controller for Artificial Pancreas (By Kin Sum Liu, Shan Lin)
