James Weimer

Scheduling smart home appliances using mixed integer linear programming

Kin Cheong Sou, James Weimer, Henrik Sandberg et al. · 2011 · 237 citations · Full text

Mathematical Programming, Electrical Engineering, Engineering +15

Robustness of attack-resilient state estimators

Miroslav Pajić, James Weimer, Nicola Bezzo et al. · 2014 · 236 citations

State Estimation, Attack Simulation, Engineering +13

Verisig

Radoslav Ivanov, James Weimer, Rajeev Alur et al. · 2019 · 216 citations

Artificial Intelligence, Reachability Analysis, Engineering +13

Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators

Miroslav Pajić, James Weimer, Nicola Bezzo et al. · IEEE Control Systems · 2017 · 145 citations

Attack Simulation, Scada Security, Attack-resilient Cyberphysical Systems +14

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments

Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez et al. · Sensors · 2019 · 121 citations · Full text

Engineering, Machine Learning, Information Security +20