Visible to the public Biblio

Filters: Author is Weimer, James  [Clear All Filters]
2018-05-23
Chen, Sanjian, O'Kelly, Matthew, Weimer, James, Sokolsky, Oleg, Lee, Insup.  2015.  An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.
2018-05-16
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Son, Sang Hyuk, Lee, Insup.  2017.  Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Transactions on Cyber-Physical Systems. 1:15:1–15:23.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Lee, Insup.  2015.  Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.