Journal Publications
  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

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

  12. 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. Mauricio Novelo, Nalaka Gooneratne, and James Weimer. "Digital Health: Software as a Medical Device." Academic Entrepreneurship for Medical and Health Scientists, 2019.

  2. 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.

  3. 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. 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. (to appear)

  2. 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. (Best Paper Award)

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

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

  11. 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.

  12. 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.

  13. 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.

  14. 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)

  15. 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.

  16. 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.

  17. 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.

  18. 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.

  19. 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)

  20. 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.

  21. 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.

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

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

  24. 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)

  25. 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.

  26. 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.

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

  28. James Weimer, Jose Araujo, and Karl Henrik Johansson. "Distributed Event-Triggered Estimation in Networked Systems," 4th IFAC conference on Analysis and Design of Hybrid Systems (ADHS), 2012.

  29. James Weimer, Soummya Kar, and Karl Henrik Johansson. "Distributed Detection and Isolation of Topology Attacks in Power Networks." 1st ACM International Conference on High Confidence Networked Systems (HiCoNS), 2012.

  30. 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.

  31. 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.

  32. 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.

  33. 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.

  34. 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.

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

  36. 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.
      Submitted -- (preprints available by request)
 
Workshop Publications and Abstracts
  1. 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.

  2. 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.

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

  4. 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.

  5. 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.

  6. Minsu Jo, Junkil Park, Yungmi Baek, Radoslav Ivanov, James Weimer, Sanghyuk Son, and Insup Lee. "WIP Abstract: Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models." Embedded and Real-Time Computing Systems and Applications (RTCSA), 2016.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. 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 and Dissertation
  1. Luan Nguyen, Guatam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. "REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency", arXiv preprint arXiv:1902.04064, 2018.

  2. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas, Insup Lee. "Verisig: verifying safety properties of hybrid systems with neural network controllers." arXiv preprint arXiv:1811.01828, 2018.

  3. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. "Self-driving vehicle verification towards a benchmark." arXiv preprint arXiv:1806.08810, 2018.

  4. 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.