Kamu erişimi zorunlu olan makaleler - James WeimerDaha fazla bilgi edinin
Bir yerde sunuluyor: 60
Verisig: verifying safety properties of hybrid systems with neural network controllers
R Ivanov, J Weimer, R Alur, GJ Pappas, I Lee
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Design and implementation of attack-resilient cyberphysical systems: With a focus on attack-resilient state estimators
M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee
IEEE Control Systems Magazine 37 (2), 66-81, 2017
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Intelligent and dynamic ransomware spread detection and mitigation in integrated clinical environments
L Fernandez Maimo, A Huertas Celdran, AL Perales Gomez, ...
Sensors 19 (5), 1114, 2019
Zorunlu olanlar: Irish Research Council, Government of Spain
Case study: verifying the safety of an autonomous racing car with a neural network controller
R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
Zorunlu olanlar: US Department of Defense
Verisig 2.0: Verification of neural network controllers using taylor model preconditioning
R Ivanov, T Carpenter, J Weimer, R Alur, G Pappas, I Lee
International Conference on Computer Aided Verification, 249-262, 2021
Zorunlu olanlar: US Department of Defense
Verifying the safety of autonomous systems with neural network controllers
R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee
ACM Transactions on Embedded Computing Systems (TECS) 20 (1), 1-26, 2020
Zorunlu olanlar: US Department of Defense
Cyber-physical system checkpointing and recovery
F Kong, M Xu, J Weimer, O Sokolsky, I Lee
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Calibrated prediction with covariate shift via unsupervised domain adaptation
S Park, O Bastani, J Weimer, I Lee
International Conference on Artificial Intelligence and Statistics, 3219-3229, 2020
Zorunlu olanlar: US National Science Foundation, US Department of Defense
ARCH-COMP20 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants
TT Johnson, D Manzanas Lopez, P Musau, HD Tran, E Botoeva, ...
EPiC Series in Computing 74, 2020
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Physiology-invariant meal detection for type 1 diabetes
J Weimer, S Chen, A Peleckis, MR Rickels, I Lee
Diabetes technology & therapeutics 18 (10), 616-624, 2016
Zorunlu olanlar: US National Science Foundation, US National Institutes of Health
Cloud-based secure logger for medical devices
H Nguyen, B Acharya, R Ivanov, A Haeberlen, LTX Phan, O Sokolsky, ...
2016 IEEE First International Conference on Connected Health: Applications …, 2016
Zorunlu olanlar: US National Science Foundation
Automated insulin delivery for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes with hypoglycemia unawareness
AJ Flatt, AJ Peleckis, C Dalton-Bakes, HL Nguyen, S Ilany, A Matus, ...
Diabetes technology & therapeutics 25 (5), 302-314, 2023
Zorunlu olanlar: US National Institutes of Health, US National Aeronautics and Space …
LogSafe: Secure and scalable data logger for IoT devices
H Nguyen, R Ivanov, LTX Phan, O Sokolsky, J Weimer, I Lee
2018 IEEE/ACM Third International Conference on Internet-of-Things Design …, 2018
Zorunlu olanlar: US National Science Foundation
Improving neural network robustness via persistency of excitation
K Sridhar, O Sokolsky, I Lee, J Weimer
2022 American Control Conference (ACC), 1521-1526, 2022
Zorunlu olanlar: US Department of Defense
Characterizing glycemic control and sleep in adults with long‐standing type 1 diabetes and hypoglycemia unawareness initiating hybrid closed loop insulin delivery
SK Malone, AJ Peleckis, L Grunin, G Yu, S Jang, J Weimer, I Lee, ...
Journal of diabetes research 2021 (1), 6611064, 2021
Zorunlu olanlar: US National Institutes of Health, US National Aeronautics and Space …
ICE++: improving security, QoS, and high availability of medical cyber-physical systems through mobile edge computing
AH Celdrán, FJG Clemente, J Weimer, I Lee
2018 IEEE 20th International Conference on e-Health Networking, Applications …, 2018
Zorunlu olanlar: Government of Spain
Context-aware detection in medical cyber-physical systems
R Ivanov, J Weimer, I Lee
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
Zorunlu olanlar: US National Science Foundation
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study: A Glucose Control Case Study
S Chen, O Sokolsky, J Weimer, I Lee
Journal of Computing Science and Engineering 10 (3), 75-84, 2016
Zorunlu olanlar: US National Science Foundation
Security of cyber-physical systems in the presence of transient sensor faults
J Park, R Ivanov, J Weimer, M Pajic, SH Son, I Lee
ACM Transactions on Cyber-Physical Systems 1 (3), 1-23, 2017
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Reducing pulse oximetry false alarms without missing life‐threatening events
H Nguyen, S Jang, R Ivanov, CP Bonafide, J Weimer, I Lee
Smart health 9, 287-296, 2018
Zorunlu olanlar: US National Science Foundation, US National Institutes of Health
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir