Scheduling smart home appliances using mixed integer linear programming. - Kin Cheong Sou; James Weimer; Henrik Sandberg; Karl Henrik Johansson (CDC/ECC, 2011)

Periodic constraint-based control using dynamic wireless sensor scheduling. - James Weimer; José Araujo; Aitor Hernandez; Karl Henrik Johansson (CDC/ECC, 2011)

Distributed Event-Triggered Estimation in Networked Systems. - James Weimer; José Araújo; Karl Henrik Johansson (ADHS, 2012)

Distributed detection and isolation of topology attacks in power networks. - James Weimer; Soummya Kar; Karl Henrik Johansson (HiCoNS, 2012)

A Virtual Laboratory for Micro-Grid information and communication infrastructures. - James Weimer; Yuzhe Xu; Carlo Fischione; Karl Henrik Johansson; Per Ljungberg; Craig Donovan; Ariane Sutor; Lennart E. Fahlén (ISGT Europe, 2012)

Active actuator fault detection and diagnostics in HVAC systems. - James Weimer; Seyed Alireza Ahmadi; José Araujo; Francesca Madia Mele; Dario Papale; Iman Shames; Henrik Sandberg; Karl Henrik Johansson (BuildSys@SenSys, 2012)

Parameter-invariant detection of unknown inputs in networked systems. - James Weimer; Damiano Varagnolo; Milos S. Stankovic; Karl Henrik Johansson (CDC, 2013)

Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation. - James Weimer; José Araujo; Mani Amoozadeh; Seyed Alireza Ahmadi; Henrik Sandberg; Karl Henrik Johansson (CPSW@CISS, 2013)

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. - James Weimer; Nicola Bezzo; Miroslav Pajic; George J. Pappas; Oleg Sokolsky; Insup Lee 001 (CPSW@CISS, 2013)

Towards synthesis of platform-aware attack-resilient control systems: extended abstract. - Miroslav Pajic; Nicola Bezzo; James Weimer; Rajeev Alur; Rahul Mangharam; Nathan Michael; George J. Pappas; Oleg Sokolsky; Paulo Tabuada; Stephanie Weirich; Insup Lee 001 (HiCoNS, 2013)

Distributed model-invariant detection of unknown inputs in networked systems. - James Weimer; Damiano Varagnolo; Karl Henrik Johansson (HiCoNS, 2013)

Synthesis of platform-aware attack-resilient vehicular systems. - Miroslav Pajic; Nathan Michael; Nicola Bezzo; James Weimer; Oleg Sokolsky; George J. Pappas; Paulo Tabuada; Insup Lee 001 (ICCPS, 2013)

Attack-resilient minimum mean-squared error estimation. - James Weimer; Nicola Bezzo; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (ACC, 2014)

Towards Assurance Cases for Resilient Control Systems. - James Weimer; Oleg Sokolsky; Nicola Bezzo; Insup Lee 001 (CPSNA, 2014)

Robustness of attack-resilient state estimators. - Miroslav Pajic; James Weimer; Nicola Bezzo; Paulo Tabuada; Oleg Sokolsky; Insup Lee 001; George J. Pappas (ICCPS, 2014)

Attack resilient state estimation for autonomous robotic systems. - Nicola Bezzo; James Weimer; Miroslav Pajic; Oleg Sokolsky; George J. Pappas; Insup Lee 001 (IROS, 2014)

An Intraoperative Glucose Control Benchmark for Formal Verification. - Sanjian Chen; Matthew O'Kelly; James Weimer; Oleg Sokolsky; Insup Lee 001 (ADHS, 2015)

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. - Alexander Roederer; James Weimer; Joseph DiMartino; Jacob Gutsche; Insup Lee 001 (EMBC, 2015)

Early detection of critical pulmonary shunts in infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (ICCPS, 2015)

Sensor attack detection in the presence of transient faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Insup Lee 001 (ICCPS, 2015)

Robust Medical Monitor Design. - James Weimer; Oleg Sokolsky; Insup Lee 001 (ICHI, 2015)

Parameter-Invariant Design of Medical Alarms. - James Weimer; Radoslav Ivanov; Alexander Roederer; Sanjian Chen; Insup Lee 001 (IEEE Des. Test, 2015)

A stochastic approach for attack resilient UAV motion planning. - Nicola Bezzo; James Weimer; Yanwei Du; Oleg Sokolsky; Sang Hyuk Son; Insup Lee 001 (ACC, 2016)

Cloud-Based Secure Logger for Medical Devices. - Hung Nguyen 002; Bipeen Acharya; Radoslav Ivanov; Andreas Haeberlen; Linh T. X. Phan; Oleg Sokolsky; Jesse Walker; James Weimer; William Hanson III; Insup Lee 001 (CHASE, 2016)

Adaptive Transient Fault Model for Sensor Attack Detection. - Minsu Jo; Junkil Park; Youngmi Baek; Radoslav Ivanov; James Weimer; Sang Hyuk Son; Insup Lee 001 (CPSNA, 2016)

Estimation of Blood Oxygen Content Using Context-Aware Filtering. - Radoslav Ivanov; Nikolay Atanasov 001; James Weimer; Miroslav Pajic; Allan F. Simpao; Mohamed A. Rehman; George J. Pappas; Insup Lee 001 (ICCPS, 2016)

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. - Minsu Jo; Junkil Park; Youngmi Baek; Radoslav Ivanov; James Weimer; Sang Hyuk Son; Insup Lee 001 (RTCSA, 2016)

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. - Sanjian Chen; Oleg Sokolsky; James Weimer; Insup Lee 001 (J. Comput. Sci. Eng., 2016)

Prediction of Critical Pulmonary Shunts in Infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (IEEE Trans. Control. Syst. Technol., 2016)

Resilient linear classification: an approach to deal with attacks on training data. - Sangdon Park 001; James Weimer; Insup Lee 001 (ICCPS, 2017)

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Sang Hyuk Son; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2017)

Towards Context-Aware Cyber-Physical Systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (MT@CPSWeek, 2018)

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)

ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. - Alberto Huertas Celdrán; Félix J. García Clemente; James Weimer; Insup Lee 001 (HealthCom, 2018)

Parameter Invariant Monitoring for Signal Temporal Logic. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (HSCC, 2018)

Context-aware detection in medical cyber-physical systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (ICCPS, 2018)

Cyber-physical system checkpointing and recovery. - Fanxin Kong; Meng Xu 010; James Weimer; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2018)

LogSafe: Secure and Scalable Data Logger for IoT Devices. - Hung Nguyen 002; Radoslav Ivanov; Linh T. X. Phan; Oleg Sokolsky; James Weimer; Insup Lee 001 (IoTDI, 2018)

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. - Radoslav Ivanov; Hung Nguyen 002; James Weimer; Oleg Sokolsky; Insup Lee 001 (ISORC, 2018)

Self-Driving Vehicle Verification Towards a Benchmark. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2018)

Parameter-Invariant Monitor Design for Cyber-Physical Systems. - James Weimer; Radoslav Ivanov; Sanjian Chen; Alexander Roederer; Oleg Sokolsky; Insup Lee 001 (Proc. IEEE, 2018)

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (DESTION@CPSIoTWeek, 2019)

Verisig: verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 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)

Detecting security leaks in hybrid systems with information flow analysis. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2019)

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. - Lorenzo Fernández Maimó; Alberto Huertas Celdrán; Ángel Luis Perales Gómez; Félix J. García Clemente; James Weimer; Insup Lee 001 (Sensors, 2019)

RePulmo: a remote pulmonary monitoring system. - Hung Nguyen 002; Radoslav Ivanov; Sara B. DeMauro; James Weimer (SIGBED Rev., 2019)

Continuous Estimation Using Context-Dependent Discrete Measurements. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; James Weimer; George J. Pappas; Insup Lee 001 (IEEE Trans. Autom. Control., 2019)

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. - Sangdon Park 001; Osbert Bastani; James Weimer; Insup Lee 001 (AISTATS, 2020)

Case study: verifying the safety of an autonomous racing car with a neural network controller. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 2020)

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2020)

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. - 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 001; et al. (CoRR, 2020)

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. - Yiannis Kantaros; Taylor J. Carpenter; Sangdon Park 001; Radoslav Ivanov; Sooyong Jang; Insup Lee 001; James Weimer (CoRR, 2020)

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. - Esen Yel; Taylor J. Carpenter; Carmelo Di Franco; Radoslav Ivanov; Yiannis Kantaros; Insup Lee 001; James Weimer; Nicola Bezzo (IEEE Robotics Autom. Mag., 2020)

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. - Ivan Ruchkin; Oleg Sokolsky; James Weimer; Tushar Hedaoo; Insup Lee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

ModelGuard: Runtime Validation of Lipschitz-continuous Models. - Taylor J. Carpenter; Radoslav Ivanov; Insup Lee 001; James Weimer (ADHS, 2021)

Improving Classifier Confidence using Lossy Label-Invariant Transformations. - Sooyong Jang; Insup Lee 001; James Weimer (AISTATS, 2021)

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Luis Benet; Marcelo Forets; Sebastián Guadalupe; Christian Schilling 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (CAV (1), 2021)

VitalCore: Analytics and Support Dashboard for Medical Device Integration. - Hyon-Young Choi; Amanda Lor; Mike Megonegal; Xiayan Ji; Amanda Watson; James Weimer; Insup Lee 001 (CHASE, 2021)

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. - Pengyuan Lu; Xian Li 006; Sooyong Jang; Alexander Lee; Sydney Pugh; Amanda Watson; Ragnhildur I. Bjarnadottir; Robert Lucero; George Demiris; Ani Nenkova; James Weimer; Insup Lee 001 (CHASE, 2021)

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. - Sydney Pugh; Ivan Ruchkin; Christopher P. Bonafide; Sara B. DeMauro; Oleg Sokolsky; Insup Lee 001; James Weimer (CHASE, 2021)

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. - Amanda Watson; Pengyuan Lu; Elliot Greenberg; J. Todd R. Lawrence; Theodore J. Ganley; Insup Lee 001; James Weimer (CHASE, 2021)

Real-time detectors for digital and physical adversarial inputs to perception systems. - Yiannis Kantaros; Taylor J. Carpenter; Kaustubh Sridhar; Yahan Yang; Insup Lee 001; James Weimer (ICCPS, 2021)

Confidence Calibration with Bounded Error Using Transformations. - Sooyong Jang; Radoslav Ivanov; Insup Lee 001; James Weimer (CoRR, 2021)

Robust Learning via Persistency of Excitation. - Kaustubh Sridhar; Oleg Sokolsky; Insup Lee 001; James Weimer (CoRR, 2021)

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report). - Yinjun Wu; James Weimer; Susan B. Davidson (CoRR, 2021)

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties. - Yinjun Wu; James Weimer; Susan B. Davidson (Proc. VLDB Endow., 2021)

Verifying the Safety of Autonomous Systems with Neural Network Controllers. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2021)

Medical Cyber-Physical Systems: IoMT Applications and Challenges. - Amanda Watson; Jean Park; Sydney Pugh; Oleg Sokolsky; James Weimer; Insup Lee 001 (IEEECONF, 2022)

Improving Neural Network Robustness via Persistency of Excitation. - Kaustubh Sridhar; Oleg Sokolsky; Insup Lee 001; James Weimer (ACC, 2022)

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. - Vivian Lin; Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (Principles of Systems Design, 2022)

GlucoScan: Noninvasive Glucose Monitoring Device. - Claire Kendell; Amanda Watson; Insup Lee 001; James Weimer (CHASE, 2022)

DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device. - Anush Niranjan Lingamoorthy; Amanda Watson; Ethan Donlon; James Weimer; Jacob S. Brenner (CHASE, 2022)

AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. - Jean Park; Amanda Watson; Xiayan Ji; Kyle C. Quinn; James Weimer; Insup Lee 001 (CHASE, 2022)

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. - Souradeep Dutta; Kaustubh Sridhar; Osbert Bastani; Edgar Dobriban; James Weimer; Insup Lee 001; Julia Parish-Morris (CoRL, 2022)

A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. - Kaustubh Sridhar; Radoslav Ivanov; Vuk Lesi; Marcio Juliato; Manoj R. Sastry; Lily L. Yang; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2022)

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. - Kaustubh Sridhar; Souradeep Dutta; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2022)

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. - Matthew Chan; Nathaniel Snyder; Marcus Lucas; Luis Garcia 001; Oleg Sokolsky; James Weimer; Insup Lee 001; Paulo Tabuada; Saman A. Zonouz; Mani B. Srivastava (CoRR, 2022)

Evaluating Alarm Classifiers with High-confidence Data Programming. - Sydney Pugh; Ivan Ruchkin; Christopher P. Bonafide; Sara B. DeMauro; Oleg Sokolsky; Insup Lee 001; James Weimer (ACM Trans. Comput. Heal., 2022)

Lumos: An Open-Source Device for Wearable Spectroscopy Research. - Amanda Watson; Claire Kendell; Anush Niranjan Lingamoorthy; Insup Lee 001; James Weimer (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. - Xiayan Ji; Xian Li 006; Ahhyun Yuh; Amanda Watson; Claire Kendell; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; Oleg Sokolsky; et al. (CHASE, 2023)

Dove: Shoulder-Based Opioid Overdose Detection and Reversal Device. - Anush Niranjan Lingamoorthy; Amanda Watson; Korey Henderson; Ayan Mandal; David Gordon; Xiaonan Ma; James Weimer; Nagarajan Kandasamy; Jacob S. Brenner (CHASE, 2023)

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

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. - Xiayan Ji; Ahhyun Yuh; Hyon-Young Choi; Amanda Watson; Claire Kendell; Xian Li 006; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; et al. (ICCPS, 2023)

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. - 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; et al. (ICMU, 2023)

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. - Yahan Yang; Sunghye Cho; Maxine Covello; Azia Knox; Osbert Bastani; James Weimer; Edgar Dobriban; Robert T. Schultz; Insup Lee 001; Julia Parish-Morris (INTERSPEECH, 2023)

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. - Kaustubh Sridhar; Souradeep Dutta; James Weimer; Insup Lee 001 (L4DC, 2023)

Detection of Adversarial Physical Attacks in Time-Series Image Data. - Ramneet Kaur; Yiannis Kantaros; Wenwen Si; James Weimer; Insup Lee 001 (CoRR, 2023)

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. - Sydney Pugh; Ivan Ruchkin; Insup Lee 001; James Weimer (CoRR, 2023)

Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. - Tarek Hamid; Kimberly Helm; Hyonyoung Choi; Jean Park; Claire Kendell; Stephanie Cummings; Steve Messe; Stefanie Modri; Insup Lee 001; James Weimer; Amanda Watson (BSN, 2024)

Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. - 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; et al. (CHI Extended Abstracts, 2024)

Estimating Data Requirements for Learning-Enabled Systems using Metadata. - Chi Phuong Ngoc Huynh; James Weimer (ICAA, 2024)

Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. - Sydney Pugh; Ivan Ruchkin; James Weimer; Insup Lee 001 (ICCPS, 2024)

Memory-Consistent Neural Networks for Imitation Learning. - Kaustubh Sridhar; Souradeep Dutta; Dinesh Jayaraman; James Weimer; Insup Lee 001 (ICLR, 2024)

Towards a LLM-Based System for Generating and Validating Product Requirements. - Evan Krueger; Taylor J. Carpenter; Kevin Leach; James Weimer (SIGSOFT FSE Companion, 2025)