Scalable customization of atrial fibrillation detection in cardiac monitoring devices: Increasing detection accuracy through personalized monitoring in large patient populations. - Kuk Jin Jang; Guha Balakrishnan; Zeeshan Syed; Naveen Verma (EMBC, 2011)

A data-driven modeling approach to stochastic computation for low-energy biomedical devices. - Kyong-Ho Lee; Kuk Jin Jang; Ali H. Shoeb; Naveen Verma (EMBC, 2011)

Enabling system-level platform resilience through embedded data-driven inference capabilities in electronic devices. - Naveen Verma; Kyong-Ho Lee; Kuk Jin Jang; Ali H. Shoeb (ICASSP, 2012)

Multiple reaction analysis of cancer with different markers using silicon nanowire FET. - Kuk Jin Jang; Hyeyoun Kim; Kook-Nyung Lee; Min-Ho Lee (EMBC, 2013)

A wearable healthcare system for cardiac signal monitoring using conductive textile electrodes. - Chae Young Lim; Kuk Jin Jang; Hyun-woo Kim; Young Hwan Kim (EMBC, 2013)

Cloud Mat: Context-Aware Personalization of Fitness Content. - Kuk Jin Jang; Jungmin Ryoo; Orkan Telhan; Rahul Mangharam (SCC, 2015)

Model Checking Implantable Cardioverter Defibrillators. - Houssam Abbas; Kuk Jin Jang; Zhihao Jiang; Rahul Mangharam (CoRR, 2015)

Three challenges in cyber-physical systems. - Rahul Mangharam; Houssam Abbas; Madhur Behl; Kuk Jin Jang; Miroslav Pajic; Zhihao Jiang (COMSNETS, 2016)

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. - Houssam Abbas; Kuk Jin Jang; Rahul Mangharam (ARCH@CPSWeek, 2016)

In-silico pre-clinical trials for implantable cardioverter defibrillators. - Zhihao Jiang; Houssam Abbas; Kuk Jin Jang; Marco Beccani; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2016)

High-level modeling for computer-aided clinical trials of medical devices. - Houssam Abbas; Zhihao Jiang; Kuk Jin Jang; Marco Beccani; Jackson Liang; Rahul Mangharam (HLDVT, 2016)

Towards Model Checking of Implantable Cardioverter Defibrillators. - Houssam Abbas; Kuk Jin Jang; Zhihao Jiang; Rahul Mangharam (HSCC, 2016)

The Challenges of High-Confidence Medical Device Software. - Zhihao Jiang; Houssam Abbas; Kuk Jin Jang; Rahul Mangharam (Computer, 2016)

Computer Aided Clinical Trials for Implantaule Cardiac Devices. - Kuk Jin Jang; James Weimer; Houssam Abbas; Zhihao Jiang; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2018)

Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. - Jiyue He; Kuk Jin Jang; Katie Walsh; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2019)

Robustness evaluation of computer-aided clinical trials for medical devices. - Kuk Jin Jang; Yash Vardhan Pant; Bo Zhang; James Weimer; Rahul Mangharam (ICCPS, 2019)

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. - Alëna Rodionova; Yash Vardhan Pant; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ITSC, 2020)

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. - Alëna Rodionova; Yash Vardhan Pant; Connor Kurtz; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ACM Trans. Cyber Phys. Syst., 2021)

Memory Classifiers for Robust ECG Classification against Physiological Noise. - Kuk Jin Jang; Souradeep Dutta; Jean Park; James Weimer; Insup Lee 001 (EMBC, 2023)

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. - Yahan Yang; Souradeep Dutta; Kuk Jin Jang; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2023)

Imprecise Bayesian Neural Networks. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. - Vivian Lin; Kuk Jin Jang; Souradeep Dutta; Michele Caprio; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

DC4L: Distribution shift recovery via data-driven control for deep learning models. - Vivian Lin; Kuk Jin Jang; Souradeep Dutta; Michele Caprio; Oleg Sokolsky; Insup Lee 001 (L4DC, 2024)

Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. - Sooyong Jang; Kuk Jin Jang; Hyonyoung Choi; Yong-Seop Han; Seongjin Lee; Jin-hyun Kim; Insup Lee 001 (ML4H@NeurIPS, 2024)

Credal Bayesian Deep Learning. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (Trans. Mach. Learn. Res., 2024)

Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. - Jean Park; Kuk Jin Jang; Basam Alasaly; Sriharsha Mopidevi; Andrew Zolensky; Eric Eaton; Insup Lee 001; Kevin Johnson (AAAI, 2025)

Distributionally Robust Statistical Verification with Imprecise Neural Networks. - Souradeep Dutta; Michele Caprio; Vivian Lin; Matthew Cleaveland; Kuk Jin Jang; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001 (HSCC, 2025)