James Weimer

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 87

Top Venues

Publications

Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. ICLR (2024)
Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts (2024)
Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS (2024)
Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE (2023)
Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC (2023)
Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH (2023)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC (2023)
Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee
Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR (2023)
Anush Lingamoorthy, Amanda Watson, Korey Henderson, Ayan Mandal, David Gordon, Xiaonan Ma, James Weimer, Nagarajan Kandasamy, Jacob S. Brenner
Dove: Shoulder-Based Opioid Overdose Detection and Reversal Device. CHASE (2023)
Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer
Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR (2023)
Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS (2023)
Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU (2023)
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. CoRR (2023)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3 (4) (2022)
Claire Kendell, Amanda Watson, Insup Lee, James Weimer
GlucoScan: Noninvasive Glucose Monitoring Device. CHASE (2022)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Improving Neural Network Robustness via Persistency of Excitation. ACC (2022)
Amanda Watson, Claire Kendell, Anush Lingamoorthy, Insup Lee, James Weimer
Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (4) (2022)
Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF (2022)
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design (2022)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL (2022)
Anush Lingamoorthy, Amanda Watson, Ethan Donlon, James Weimer, Jacob S. Brenner
DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device. CHASE (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR (2022)
Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR (2022)
Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee
AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE (2022)
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR (2022)
Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR (2022)
Sooyong Jang, Insup Lee, James Weimer
Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS (2021)
Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee
FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE (2021)
Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee
VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE (2021)
Yinjun Wu, James Weimer, Susan B. Davidson
CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties. Proc. VLDB Endow. 14 (11) (2021)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS (2021)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Robust Learning via Persistency of Excitation. CoRR (2021)
Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE (2021)
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
Confidence Calibration with Bounded Error Using Transformations. CoRR (2021)
Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE (2021)
Yinjun Wu, James Weimer, Susan B. Davidson
CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report). CoRR (2021)
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR (2020)
Sooyong Jang, Insup Lee, James Weimer
Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR (2020)
Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR (2020)
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR (2020)
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS (2020)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC (2020)
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27 (2) (2020)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE (2020)
Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee
Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors 19 (5) (2019)
Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam
Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS (2019)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC (2019)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR (2019)
Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer
RePulmo: a remote pulmonary monitoring system. SIGBED Rev. 16 (2) (2019)
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64 (1) (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR (2019)
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek (2019)
Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC (2018)
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC (2018)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR (2018)
Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee
Cyber-physical system checkpointing and recovery. ICCPS (2018)
Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC (2018)
Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI (2018)
Radoslav Ivanov, James Weimer, Insup Lee
Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek (2018)
James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106 (1) (2018)
Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee
ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. HealthCom (2018)
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Self-Driving Vehicle Verification Towards a Benchmark. CoRR (2018)
Radoslav Ivanov, James Weimer, Insup Lee
Context-aware detection in medical cyber-physical systems. ICCPS (2018)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1 (3) (2017)
Sangdon Park, James Weimer, Insup Lee
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. CoRR (2017)
Sangdon Park, James Weimer, Insup Lee
Resilient linear classification: an approach to deal with attacks on training data. ICCPS (2017)
Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA (2016)
Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. 10 (3) (2016)
Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee
A stochastic approach for attack resilient UAV motion planning. ACC (2016)
Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
Cloud-Based Secure Logger for Medical Devices. CHASE (2016)
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. 24 (6) (2016)
James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
Parameter-Invariant Design of Medical Alarms. IEEE Des. Test 32 (5) (2015)
Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee
Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. EMBC (2015)
Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS (2015)
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
Early detection of critical pulmonary shunts in infants. ICCPS (2015)
James Weimer, Oleg Sokolsky, Insup Lee
Robust Medical Monitor Design. ICHI (2015)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
Sensor attack detection in the presence of transient faults. ICCPS (2015)
James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee
Towards Assurance Cases for Resilient Control Systems. CPSNA (2014)
Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
Robustness of attack-resilient state estimators. ICCPS (2014)
Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
Attack resilient state estimation for autonomous robotic systems. IROS (2014)
James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee
Attack-resilient minimum mean-squared error estimation. ACC (2014)
Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS (2013)
James Weimer, Damiano Varagnolo, Karl Henrik Johansson
Distributed model-invariant detection of unknown inputs in networked systems. HiCoNS (2013)
James Weimer, José Araujo, Mani Amoozadeh, Seyed Alireza Ahmadi, Henrik Sandberg, Karl Henrik Johansson
Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation. CPSW@CISS (2013)
James Weimer, Damiano Varagnolo, Milos S. Stankovic, Karl Henrik Johansson
Parameter-invariant detection of unknown inputs in networked systems. CDC (2013)
Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS (2013)
James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS (2013)
James Weimer, Seyed Alireza Ahmadi, José Araujo, Francesca Madia Mele, Dario Papale, Iman Shames, Henrik Sandberg, Karl Henrik Johansson
Active actuator fault detection and diagnostics in HVAC systems. BuildSys@SenSys (2012)
James Weimer, José Araújo, Karl Henrik Johansson
Distributed Event-Triggered Estimation in Networked Systems. ADHS (2012)
James Weimer, Soummya Kar, Karl Henrik Johansson
Distributed detection and isolation of topology attacks in power networks. HiCoNS (2012)

James Weimer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Weimer