James Weimer

Anush Niranjan Lingamoorthy

Proceedings of the International Conference on Assured Autonomy, 2024

Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan.

[BibT_eX]

[DOI]

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Body Sensor Networks, 2024

2023

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare.

[BibT_eX]

[DOI]

CoRR, 2023

Detection of Adversarial Physical Attacks in Time-Series Image Data.

[BibT_eX]

[DOI]

CoRR, 2023

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Mobile Computing and Ubiquitous Network, 2023

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Memory Classifiers for Robust ECG Classification against Physiological Noise.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Dove: Shoulder-Based Opioid Overdose Detection and Reversal Device.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

2022

Lumos: An Open-Source Device for Wearable Spectroscopy Research.

[BibT_eX]

[DOI]

Amanda Watson

Claire Kendell

Anush Niranjan Lingamoorthy

Anush Niranjan Lingamoorthy

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Evaluating Alarm Classifiers with High-confidence Data Programming.

[BibT_eX]

[DOI]

Sydney Pugh

Ivan Ruchkin

Christopher P. Bonafide

ACM Trans. Comput. Heal., 2022

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations.

[BibT_eX]

[DOI]

CoRR, 2022

A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates.

[BibT_eX]

[DOI]

Proceedings of the Conference on Robot Learning, 2022

AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

GlucoScan: Noninvasive Glucose Monitoring Device.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

Improving Neural Network Robustness via Persistency of Excitation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Medical Cyber-Physical Systems: IoMT Applications and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022

2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties.

[BibT_eX]

[DOI]

Yinjun Wu

Susan B. Davidson

Proc. VLDB Endow., 2021

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report).

[BibT_eX]

[DOI]

Yinjun Wu

Ragnhildur I. Bjarnadottir

Susan B. Davidson

CoRR, 2021

Robust Learning via Persistency of Excitation.

[BibT_eX]

[DOI]

CoRR, 2021

Confidence Calibration with Bounded Error Using Transformations.

[BibT_eX]

[DOI]

CoRR, 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.

[BibT_eX]

[DOI]

Sydney Pugh

Ivan Ruchkin

Christopher P. Bonafide

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

VitalCore: Analytics and Support Dashboard for Medical Device Integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Improving Classifier Confidence using Lossy Label-Invariant Transformations.

[BibT_eX]

[DOI]

Sooyong Jang

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.

[BibT_eX]

[DOI]

Somali Chaterji

Parinaz Naghizadeh

Muhammad Ashraful Alam

CoRR, 2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Case study: verifying the safety of an autonomous racing car with a neural network controller.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

RePulmo: a remote pulmonary monitoring system.

[BibT_eX]

[DOI]

SIGBED Rev., 2019

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.

[BibT_eX]

[DOI]

Lorenzo Fernández Maimó

Alberto Huertas Celdrán

Ángel Luis Perales Gómez

Félix J. García Clemente

Sensors, 2019

Detecting security leaks in hybrid systems with information flow analysis.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Robustness evaluation of computer-aided clinical trials for medical devices.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Verisig: verifying safety properties of hybrid systems with neural network controllers.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Self-Driving Vehicle Verification Towards a Benchmark.

[BibT_eX]

[DOI]

CoRR, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Cyber-physical system checkpointing and recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Context-aware detection in medical cyber-physical systems.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing.

[BibT_eX]

[DOI]

Alberto Huertas Celdrán

Félix J. García Clemente

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Towards Context-Aware Cyber-Physical Systems.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Resilient linear classification: an approach to deal with attacks on training data.

[BibT_eX]

[DOI]

Sangdon Park

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Prediction of Critical Pulmonary Shunts in Infants.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.

[BibT_eX]

[DOI]

J. Comput. Sci. Eng., 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Cloud-Based Secure Logger for Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

A stochastic approach for attack resilient UAV motion planning.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Parameter-Invariant Design of Medical Alarms.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Robust Medical Monitor Design.

[BibT_eX]

[DOI]

Oleg Sokolsky

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Sensor attack detection in the presence of transient faults.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

An Intraoperative Glucose Control Benchmark for Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Attack resilient state estimation for autonomous robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Robustness of attack-resilient state estimators.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Towards Assurance Cases for Resilient Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Attack-resilient minimum mean-squared error estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Synthesis of platform-aware attack-resilient vehicular systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Distributed model-invariant detection of unknown inputs in networked systems.

[BibT_eX]

[DOI]

Damiano Varagnolo

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Parameter-invariant detection of unknown inputs in networked systems.

[BibT_eX]

[DOI]

Damiano Varagnolo

Milos S. Stankovic

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Active actuator fault detection and diagnostics in HVAC systems.

[BibT_eX]

[DOI]

Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

A Virtual Laboratory for Micro-Grid information and communication infrastructures.

[BibT_eX]

[DOI]

Yuzhe Xu

Carlo Fischione

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Distributed detection and isolation of topology attacks in power networks.

[BibT_eX]

[DOI]

Soummya Kar

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Distributed Event-Triggered Estimation in Networked Systems.

[BibT_eX]

[DOI]

José Araújo

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Periodic constraint-based control using dynamic wireless sensor scheduling.

[BibT_eX]

[DOI]

José Araujo

Aitor Hernandez

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Scheduling smart home appliances using mixed integer linear programming.

[BibT_eX]

[DOI]

Kin Cheong Sou

Henrik Sandberg