James Weimer
Cited by
Cited by
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
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
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
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
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
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
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
Distributed event-triggered estimation in networked systems
J Weimer, J Araújo, KH Johansson
IFAC Proceedings Volumes 45 (9), 178-185, 2012
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
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
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
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
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
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
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
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
An approach to leak detection using wireless sensor networks at carbon sequestration sites
J Weimer, BH Krogh, MJ Small, B Sinopoli
International Journal of Greenhouse Gas Control 9, 243-253, 2012
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
Towards a model-based meal detector for type I diabetics
S Chen, J Weimer, MR Rickels, A Peleckis, I Lee
A virtual laboratory for micro-grid information and communication infrastructures
J Weimer, Y Xu, C Fischione, KH Johansson, P Ljungberg, C Donovan, ...
2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), 1-6, 2012
The system can't perform the operation now. Try again later.
Articles 1–20