Journal Publications
  1. James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, and Insup Lee. "Parameter Invariant Monitor Design for Cyber-Physical Systems." Proceedings of IEEE, 2017.

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

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

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

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

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

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

  8. 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.
      Submitted -- (preprints available by request)
 
Book Chapters
  1. 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  24. 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)
 
Patents
  1. Sanjian Chen, James Weimer, Insup Lee. "Methods, Systems, and Computer Readable Media for Physiology Parameter-Invariant Meal Detection." US Patent No. US2017/0296746 A1. 2017.

 
Workshop Publications and Abstracts
  1. 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.

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

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

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

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

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

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

 
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.

 
Technical Reports and Dissertation
  1. James Weimer. "Large-scale Multiple-Source Detection Using Wireless Sensor Networks." Ph.D Dissertation, Carnegie Mellon University, Pittsburgh, PA, USA., 2010.