Follow
James Weimer
Title
Cited by
Cited by
Year
Scheduling smart home appliances using mixed integer linear programming
KC Sou, J Weimer, H Sandberg, KH Johansson
2011 50th IEEE conference on decision and control and European control …, 2011
3552011
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
3042019
Robustness of attack-resilient state estimators
M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014
2782014
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
1532017
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
1202019
Sensor attack detection in the presence of transient faults
J Park, R Ivanov, J Weimer, M Pajic, I Lee
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015
982015
Reachability for linear hybrid automata using iterative relaxation abstraction
SK Jha, BH Krogh, JE Weimer, EM Clarke
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2007
952007
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
862020
Attack resilient state estimation for autonomous robotic systems
N Bezzo, J Weimer, M Pajic, O Sokolsky, GJ Pappas, I Lee
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
692014
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
662021
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
622020
Distributed event-triggered estimation in networked systems
J Weimer, J Araújo, KH Johansson
IFAC Proceedings Volumes 45 (9), 178-185, 2012
612012
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
582018
Distributed detection and isolation of topology attacks in power networks
J Weimer, S Kar, KH Johansson
Proceedings of the 1st international conference on High Confidence Networked …, 2012
532012
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
502020
Active actuator fault detection and diagnostics in hvac systems
J Weimer, SA Ahmadi, J Araujo, FM Mele, D Papale, I Shames, ...
Proceedings of the fourth ACM workshop on embedded sensing systems for …, 2012
462012
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
452016
Multiple source detection and localization in advection-diffusion processes using wireless sensor networks
J Weimer, B Sinopoli, B Krogh
2009 30th IEEE Real-Time Systems Symposium, 333-342, 2009
452009
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
432016
A relaxation approach to dynamic sensor selection in large-scale wireless networks
JE Weimer, B Sinopoli, BH Krogh
2008 The 28th International Conference on Distributed Computing Systems …, 2008
412008
The system can't perform the operation now. Try again later.
Articles 1–20