Journal Publications

  1. Steven R Messe, Scott E Kasner, Brett L Cucchiara, Michael L McGarvey, Stephanie Cummings, Michael A Acker, Nimesh Desai, Pavan Atluri, Grace J Wang, Benjamin M Jackson, James Weimer. “Derivation and Validation of an Algorithm to Detect Stroke Using Arm Accelerometry Data.” Journal of the American Heart Association, (2023)

  2. Flatt, Anneliese J., Amy J. Peleckis, Cornelia Dalton-Bakes, Huong-Lan Nguyen, Sarah Ilany, B. S. N. Austin Matus, Susan K. Malone, Namni Goel, Sooyong Jang, James Weimer, Insup Lee, and Michael R. Rickels. “Automated Insulin Delivery for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes with Hypoglycemia Unawareness.” Diabetes Technology & Therapeutics, (2023)

  3. Sydney Pugh, Ivan Ruchkin, Christopher Bonafide, Sara Demauro, Oleg Sokolsky, Insup Lee, James Weimer. “Evaluating Alarm Classifiers with High-confidence Data Programming.” ACM Transactions on Computing for Healthcare, (2022)

  4. Stefanie Modri, Kimberly Trout, James Weimer, Amanda Watson. “Observational Clinical Outcomes of a Postpartum Hemorrhage Detection Device Development Study.” Journal of Obstetric, Gynecologic & Neonatal Nursing, (2022)

  5. Heidi M Herrick, Molly Passarella, James Weimer, Christopher P Bonafide, Sara B DeMauro. “Alarm Burden in Infants With Bronchopulmonary Dysplasia Monitored With Pulse Oximetry at Home.” JAMA Network Open, (2022)

  6. Stephanie Cummings, Scott E Kasner, Michael Mullen, Andrew Olsen, Michael McGarvey, James Weimer, Ben Jackson, Nimesh Desai, Michael Acker, Steven R Messe. “Delays in the Identification and Assessment of in-Hospital Stroke Patients.” Journal of Stroke and Cerebrovascular Diseases, (2022)

  7. Steven R Messe, Scott E Kasner, Michael T Mullen, Stephanie Cummings, Lee Leibowitz, James Weimer, Nimesh Desai, Michael A Acker. “The Impact Of Stroke On Cost And Length Of Stay After Cardiac Surgery..” Stroke, (2022)

  8. Anneliese Flatt, Amy J Peleckis, Cornelia V Dalton-Bakes, Huong-Lan T Nguyen, Sarah Ilany, Austin M Matus, Susan K Malone, Sooyong Jang, James Weimer, Insup Lee, Michael R Rickels. “Effect of Automated Insulin Delivery on Glucose Counterregulation in Long-Standing Type 1 Diabetes.” Diabetes, (2022)

  9. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. “Verifying the Safety of Autonomous Systems with Neural Network Controllers.” ACM Transactions on Embedded Computing Systems (TECS), 2021. (Best Paper Award)

  10. Susan Kohl Malone, Amy J. Peleckis, Laura Grunin, Gary Yu, Sooyong Jang, James Weimer, Insup Lee, Michael R. Rickels, and Namni Goel. “Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery..” Journal of Diabetes Research, 2021.

  11. Insup Lee, Oleg Sokolsky, James Weimer. “Medical Cyber-Physical Systems: Challenges and Future Directions.” Encyclopedia of Systems and Controls, 2020.

  12. Emily K. Presseller, Megan N. Parker, Mandy Lin, James Weimer, and Adrienne S. Juarascio. “The application of continuous glucose monitoring technology to eating disorders research: An idea worth researching.” International Journal of Eating Disorders, 2020.

  13. Esen Yel, Taylor Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo. “Assured Run-time Monitoring and Planning: Towards Verification of Neural Networks for Safe Autonomous Operations.” IEEE Robotics & Automation Magazine, 2020.

  14. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee. “Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.

  15. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, and Insup Lee. “Continuous Estimation Using Context-Dependent Discrete Measurements.” IEEE Transactions on Automatic Control, 2019.

  16. Lorenzo Fernandez Maimo, Alberto Huertas Celdran, Ángel L Perales Gomez, Garcia Clemente, J Felix, James Weimer, Insup Lee. “Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.” Sensors, 2019.

  17. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher Bonafide, James Weimer, and Insup Lee. “Reducing pulse oximetry false alarms without missing life-threatening events.” Smart Health, 2019.

  18. James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, and Insup Lee. “Parameter Invariant Monitor Design for Cyber-Physical Systems.” Proceedings of IEEE, 2018.

  19. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee, and Sang H. Son. “Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.” ACM Transactions on Cyber Physical Systems, 2017.

  20. Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George J. Pappas, and Insup Lee. “Design and Implementation of Attack-Resilient Cyber Physical Systems: With a Focus on Attack-Resilient State Estimators.” IEEE Control Systems Magazine, 2017.

  21. James Weimer, Sanjian Chen, Amy Peleckis, Michael R. Rickels, and Insup Lee. “Physiology-Invariant Meal Detection for Type I Diabetes.” Diabetes Technology and Therapeutics, 2016.

  22. Sanjian Chen, Oleg Sokolsky, James Weimer, and Insup Lee. “Data-driven Adaptive Safety Monitoring using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.” Journal of Computing Science and Engineering, 2016.

  23. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. “Prediction of Critical Pulmonary Shunts in Infants.” IEEE Transactions on Control Systems Technology, 2016.

  24. James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee. “Parameter Invariant Design of Medical Alarms.” IEEE Design and Test, 2015.

  25. James Weimer, Bruce H. Krogh, Mitchell Small, and Bruno Sinopoli. “An Approach to Leak Detection Using Wireless Sensor Networks at Carbon Sequestration Sites.” International Journal of Greenhouse Gas Control, 2012.

Book Chapters

  1. Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, and Insup Lee. “T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification” Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 585-603. Cham: Springer Nature Switzerland, 2022.

  2. Mauricio Novelo, Nalaka Gooneratne, and James Weimer. “Digital Health: Software as a Medical Device” Academic Entrepreneurship for Medical and Health Scientists, 2019.

  3. James Weimer, Jose Araujo, Mani Amoozadeh, Seyed Alireza Ahmadi, Henrik Sandberg, and Karl Henrik Johansson. “Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation.” Control of Cyber Physical Systems, 2013.

  4. James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup lee. “Resilient Parameter-Invariant Control with Application to Vehicular Cruise Control.” Control of Cyber Physical Systems, 2013.

Conference Publications

  1. Anush Lingamoorthy, Amanda Watson, Korey Henderson, Ayan Mandal, David Gordon, Xiaonan Ma, James Weimer, Nagarajan Kandasamy, and Jacob S. Brenner. “Dove: shoulder-based opioid overdose detection and reversal device.” In 2023 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), pp. 56-67. IEEE, 2023.

  2. Kaustubh Sridhar, Souradeep Dutta, James Weimer, and Insup Lee. “Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.” In Learning for Dynamics and Control Conference, pp. 76-89. PMLR, 2023.

  3. Kaustubh Sridhar, Souradeep Dutta, James Weimer, and Insup Lee. “Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.” In Learning for Dynamics and Control Conference, pp. 76-89. PMLR, 2023.

  4. Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, and Julia Parish-Morris.
    “Exploring with sticky mittens: Reinforcement learning with expert interventions via option templates.” In Conference on Robot Learning, pp. 1499-1509. PMLR, 2023.

  5. Amanda Watson, Claire Kendell, Anush Lingamoorthy, Insup Lee, James Weimer.
    “Lumos: An Open-Source Device for Wearable Spectroscopy Research.” Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 6, no. 4 (2023): 1-24.

  6. Claire Kendell, Amanda Watson, Insup Lee, James Weimer.
    “GlucoScan: Noninvasive Glucose Monitoring Device.” In 2022 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), pp. 182-183. IEEE, 2022.

  7. Jean Park, Amanda Watson, Xiayan Ji, Kyle C Quinn, James Weimer, Insup Lee.
    “AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients.” In 2022 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), pp. 182-183. IEEE, 2022.

  8. Anush Lingamoorthy, Amanda Watson, Ethan Donlon, James Weimer, Jacob S Brenner.
    “DOVE: Noninvasive Shoulder-based Opioid Overdose Detection Device.” In 2022 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), pp. 182-183. IEEE, 2022.

  9. Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee.
    “Medical Cyber-Physical Systems: IoMT Applications and Challenges.” 56th Asilomar Conference on Signals, Systems, and Computers, 2022.

  10. Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer. “Improving Neural Network Robustness via Persistency of Excitation.” American Control Conference (ACC), 2022.

  11. Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, and James Weimer. “RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021. (Best Paper Award Finalist)

  12. Sydney Pugh, Ivan Ruchkin, Christopher Bonafide, Sara DeMauro, Oleg Sokolsky, Insup Lee, and James Weimer. “High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  13. Hyonyoung Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, and Insup Lee. “VitalCore: Analytics and Support Dashboard for Medical Device Integration.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  14. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. “Verisig 2.0: Verification of neural network controllers using taylor model preconditioning.” International Conference on Computer Aided Verification, 2021.

  15. Yinjun Wu, James Weimer, and Susan B. Davidson. “CHEF: a cheap and fast pipeline for iteratively cleaning label uncertainties.” Proceedings of the VLDB Endowment, 2021.

  16. Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee and James Weimer. “Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems.” International Conference of Cyber Physical Systems (ICCPS), 2021.

  17. Sooyong Jang, Insup Lee, and James Weimer. “Improving Classifier Confidence using Lossy Label-Invariant Transformations.” In International Conference on Artificial Intelligence and Statistics (AISTATS), 2021.

  18. Taylor Carpenter, Radoslav Ivanov, Insup Lee, James Weimer. “ModelGuard: Runtime Validation of Lipschitz-continuous Models.” Analysis and Design of Hybrid Systems (ADHS), 2021.

  19. Sangdon Park, Osbert Bastani, James Weimer, Insup Lee. “Calibrated Predictions with Covariate Shift via Unsupervised Domain Adaptation.” International Conference on Artificial Intelligence and Statistics (AISTATS), 2020.

  20. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. “Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller.” Hybrid Systems Computation and Control (HSCC), 2020.

  21. Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur. “Detecting Security Leaks in Hybrid Systems with Information Flow Analysis.” 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.

  22. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee. “Verisig: verifying safety properties of hybrid systems with neural network controllers.” Hybrid Systems: Computation and Control (HSCC), 2019.

  23. Kuk Jang, Yash Pant, B Zhang, James Weimer, Rahul Mangharam. “Robustness Evaluation of Computer-aided Clinical Trials for Medical Devices.” International Conference of Cyber Physical Systems (ICCPS), 2019.

  24. Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, and Insup Lee. “OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things” 21st IEEE International Symposium on Real-Time Computing (ISORC), 2018.

  25. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bonafide, James Weimer, and Insup Lee. “Reducing Pulse Oximetry False Alarms Without Missing Life-Critical Events.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2018.

  26. Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer, and Insup Lee. “LogSafe: Secure and Scalable Data Logger for IoT Devices.” ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2018.

  27. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. “Parameter Invariant Monitoring for Signal Temporal Logic” Hybrid Systems Computation and Control (HSCC), 2018.

  28. Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, and Insup Lee. “Cyber-Physical System Checkpointing and Recovery” International Conference of Cyber Physical Systems (ICCPS), 2018.

  29. Radoslav Ivanov, James Weimer, and Insup Lee. “Context-Aware Detection in Medical Cyber-Physical Systems” International Conference of Cyber Physical Systems (ICCPS), 2018.

  30. Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, and Rahul Mangharam. “Computer Aided Clinical Trials for Implantable Cardiac Devices.” International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2018.

  31. Alberto Huertas Celdran, Felix J. Garcia Clemente, James Weimer, and Insup Lee. “ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing.” IEEE International Conference on E-health Networking, Application & Services (HealthCom), 2018.

  32. Sangdon Park, James Weimer, and Insup Lee. “Resilient Linear Classification: An Approach to Deal with Attacks on Training Data.” International Conference of Cyber Physical Systems (ICCPS), 2017.

  33. Minsu Jo, Junkil Park, Yungmi Baek, Radoslav Ivanov, James Weimer, Sanghyuk Son, and Insup Lee. “Adaptive Transient Fault Model for Sensor Attack Detection.” Cyber-Physical Systems, Networks, and Applications (CPSNA), 2016. (Best Paper Award)

  34. Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang H. Son, and Insup Lee. “A Stochastic Approach for Attack Resilient UAV Motion Planning.” American Control Conference (ACC), 2016.

  35. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George J. Pappas, and Insup Lee. “Estimation of Blood Oxygen Content Using Context-Aware Filtering.” International Conference of Cyber Physical Systems (ICCPS), 2016.

  36. Sanjian Chen, Matthew O’Kelly, James Weimer, Oleg Sokolsky, and Insup Lee. “An Intraoperative Glucose Control Benchmark for Formal Verification” 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2015.

  37. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. “Robust Monitoring of Hypovolemia in Intensive Care Patients Using Photoplethysmogram Signals” 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015.

  38. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. “Early Detection of Critical Pulmonary Shunts in Infants.” International Conference of Cyber Physical Systems (ICCPS), 2015. (Best Paper Award Finalist)

  39. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. “Sensor Attack Detection in the Presence of Transient Faults” International Conference of Cyber Physical Systems (ICCPS), 2015.

  40. Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, and Insup Lee. “Attack Resilient State Estimation for Autonomous Robotic Systems.” Intelligent Robots and Systems (IROS), 2014.

  41. James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee. “Towards Assurance Cases for Resilient Control Systems.” Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014.

  42. James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup lee. “Attack-Resilient Minimum Mean-Squared Error Estimation.” American Control Conference (ACC), 2014.

  43. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George J. Pappas. “Robustness of Attack-Resilient State Estimators.” International Conference of Cyber Physical Systems (ICCPS), 2014 (Best Paper Award)

  44. James Weimer, Damiano Varagnolo, and Karl Henrik Johansson. “Distributed Model-Invariant Detection of Unknown Inputs in Networked Systems.” 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013

  45. James Weimer, Damiano Varagnolo, Miroslav Stankovic, and Karl Henrik Johansson. “Parameter-Invariant Detection of Unknown Inputs in Networked Systems.” 52nd Annual Conference on Decision and Control (CDC), 2013

  46. James Weimer, Yuzhe Xu, Carlos Fischione, Karl Henrik Johansson, Per Ljungberg, Craig Donovan, Ariana Sutor, and Lennart Fahlen. “Virtual Laboratory for Micro-Grid Information and Communication Infrastructures.” 3rd IEEE PES Innovative Smart Grid Technologies in Europe Conference (ISGT-Europe), 2012.

  47. James Weimer, Soummya Kar, and Karl Henrik Johansson. “Distributed Event-Triggered Estimation in Networked Systems.” 4th IFAC conference on Analysis and Design of Hybrid Systems (ADHS), 2012.

  48. James Weimer, Jose Araujo, Aitor Hernandez, and Karl Henrik Johansson. “Periodic Constraint-Based Control Using Dynamic Wireless Sensor Scheduling.” IEEE Conference on Decision and Control (CDC), 2011.

  49. Kin Cheong Sou, James Weimer, Henrik Sandberg, and Karl Henrik Johansson. “Scheduling Smart Home Appliances Using Mixed Integer Linear Programming.” IEEE Conference on Decision and Control (CDC), 2011.

  50. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “Large-Scale Source Localization with a Wireless Sensor Network Application.” 18th International Federation on Automatic Control (IFAC) World Congress, 2011.

  51. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks.” IEEE Real-Time Systems Symposium (RTSS), 2009.

  52. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks.” IEEE International Conference on Distributed Computing Systems (ICDCS), 2008.

  53. James Weimer and Bruce H. Krogh. “Hierarchical Modeling of Mode-Switching Systems.” Summer Computer Simulation Conference (SCSC), 2007.

  54. Summit Jha, Bruce H. Krogh, James Weimer, and Edmund Clarke. “Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.” Hybrid Systems : Computation and Control (HSCC), 2007.

Patents

  1. Sanjian Chen, James Erich Weimer, and Insup Lee. “Methods, systems, and computer readable media for physiology parameter-invariant meal detection.” U.S. Patent 10,792,423, issued October 6, 2020.

Workshop Publications and Abstracts

  1. Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, and Insup Lee. “FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  2. Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, and Insup Lee. “ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.” EPiC Series in Computing 80, 2021.

  3. Amanda Watson, Hyonyoung Choi, Insup Lee, James Weimer. “Raproto: An Open Source Platform for Rapid Prototyping of Wearable Medical Devices.” Medical Cyber Physical Systems and Internet of Medical Things Workshop (MCPS), CPS Week 2021.

  4. Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee. “Demo: Verisig – Verifying Safety Properties of Hybrid Systems with Neural Network Controllers” The First Workshop on Design Automation for CPS and IoT (DESTION), 2019.

  5. Fanxin Kong, Oleg Sokolsky, James Weimer, Insup Lee. “State Consistencies for Cyber-Physical System Recovery” The Second Workshop on Cyber-Physical Systems Security and Resiliency (CPS-SR), 2019.

  6. Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, and James Weimer. “RePulmo: A Remote Pulmonary Monitoring System” 8th Medical Cyber-Physical Systems Workshop (MCPS), 2018.

  7. Rajeev Alur, Insup Lee, Rahul Mangharam, Mayur Naik, Oleg Sokolsky, James Weimer, Houssam Abbas. “Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems - Extended Abstract” 1st Workshop on Cyber-Physical System Security and Resilience (CPS-SR), 2018.

  8. Shivani Agarwal, James Weimer, Jack Eiel, Amy Peleckis, Insup Lee, Michael Rickels. “Use of a Novel Insulin Pump Algorithm as an Objective Measure of Bolus Adherence in Type 1 Diabetes.” American Diabetes Association: 77th Scientific Sessions, 2017.

  9. Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen and Linh Thi Xuan Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson, and Insup Lee. “Cloud-Based Secure Logger for Medical Devices.” The First International Workshop on Security, Privacy, and Trustworthiness in Medical Cyber Physical System (MedSPT), 2016.

  10. Sanjian Chen, James Weimer, Michael R. Rickels, Amy Peleckis, and Insup Lee. “Towards a Model-Based Meal Detector for Type I Diabetics.” 6th Medical Cyber-Physical Systems Workshop (MedicalCPS), 2015.

  11. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. “Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients.” 6th Medical Cyber-Physical Systems Workshop (MedicalCPS), 2015.

  12. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee. “Towards Synthesis of Platform-Aware Attack-Resilient Control Systems.” 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013.

  13. James Weimer, Seyed Alireza Ahmadi, Jose Araujo, Francesca Madia Mele, Dario Papale, Iman Shames, Henrik Sandberg, and Karl Henrik Johansson. “Active Actuator Fault Detection and Diagnostics in HVAC Systems.” 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys), 2012.

Technical Reports

  1. Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee. “Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.” arXiv preprint arXiv:2212.01346, 2022.

  2. James Weimer. “Analysis of a Postpartum Hemorrhage Prediction Algorithm.” 2022.

  3. Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman Zonouz, Mani Srivastava. “Let’s Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.” arXiv preprint arXiv:2210.07531, 2022.

  4. Vivian Lin, James Weimer, Insup Lee. “Narrowing the Gap: Towards Analyzable and Realistic Simulators for Safety Analysis of Neural Network Control Systems.” Workshop on Trustworthy Artificial Intelligence as a part of the ECML/PKDD, 2022.

  5. 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.” arXiv preprint arXiv:2206.06496, 2022.

  6. Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj Sastry, Lily Yang, James Weimer, Oleg Sokolsky, Insup Lee. “A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems.” arXiv preprint arXiv:2205.08650, 2022.

  7. Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi,Mung Chiang, David Corman, Brian Henz, Suman Jana, Na Li, Shaoshuai Mou, MeekoOishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller. “Resilient Cyberphysical Systems and Their Application Drivers: A Technology Roadmap.” arXiv, 2019.

  8. Luan Nguyen, Guatam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. “REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.” arXiv, 2018.

  9. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas, Insup Lee. “Verisig: verifying safety properties of hybrid systems with neural network controllers.” arXiv, 2018.

  10. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. “Self-driving vehicle verification towards a benchmark” arXiv, 2018.

  11. James Weimer. “ “Large-scale Multiple-Source Detection Using Wireless Sensor Networks.” Ph.D Dissertation, Carnegie Mellon University, Pittsburgh, PA, USA, 2010.

Tutorials and Demos

  1. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Parameter-Invariant Monitor Design for Cyber-Physical Systems” Cyber Physical Systems Week (CPSweek), 2016.

  2. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Robust Medical Monitor Design.” International Conference on Health Care Informatics (ICHI), 2015.

  3. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Parameter-Invariant Monitor Design for Cyber-Physical Systems” Embedded Systems Week (ESweek), 2015.

  4. Miroslav Pajic, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, and Insup Lee. “Demo Abstract: Synthesis of Platform-Aware Attack-Resilient Vehicular Systems” International Conference of Cyber Physical Systems (ICCPS), 2013.