James Weimer

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	3287	2078
h-индекс	27	22
i10-индекс	56	43

480

240

120

360

201020112012201320142015201620172018201920202021202220232024202512 11 34 68 92 130 156 172 238 247 319 353 414 469 474 48

Публичен достъп

Преглед на всички

60 статии

0 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Oleg SokolskyUniversity of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Radoslav IvanovRensselaer Polytechnic InstituteПотвърден имейл адрес: rpi.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaПотвърден имейл адрес: seas.upenn.edu
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke UniversityПотвърден имейл адрес: duke.edu
Nicola BezzoAssociate Professor, University of VirginiaПотвърден имейл адрес: virginia.edu
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, SwedenПотвърден имейл адрес: kth.se
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAПотвърден имейл адрес: ee.ucla.edu
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityПотвърден имейл адрес: ece.cmu.edu
Henrik SandbergProfessor of Decision and Control Systems, KTH Royal Institute of TechnologyПотвърден имейл адрес: kth.se
José AraújoCyber-Physical Systems - Sensing & Perception - Ericsson ResearchПотвърден имейл адрес: ericsson.com
Bruno SinopoliElectrical and Systems Engineering, Washington University inПотвърден имейл адрес: wustl.edu
Hung NguyenPhD Student, University of PennsylvaniaПотвърден имейл адрес: seas.upenn.edu
Dr. Alexander RoedererGoogleПотвърден имейл адрес: google.com
Kin Cheong SouAssociate professor, Electrical Engineering, National Sun Yat-sen UniversityПотвърден имейл адрес: mail.nsysu.edu.tw
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of PennsylvaniaПотвърден имейл адрес: seas.upenn.edu
Allan F. Simpao, MD, MBIChildren's Hospital of Philadelphia & University of PennsylvaniaПотвърден имейл адрес: chop.edu
Mohamed Rehman, M.D. , FAAPEric Kobren Professor, Johns Hopkins School of MedicineПотвърден имейл адрес: jhmi.edu
Linh Thi Xuan PhanAssociate Professor, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityПотвърден имейл адрес: cs.cmu.edu

Следене

James Weimer

Vanderbilt University

Потвърден имейл адрес: vanderbilt.edu - Начална страница

Internet of Medical Things Safe Autonomy Cyber-Physical Security


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	361	2011
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	337	2019
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	285	2014
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	164	2017
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	139	2019
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	98	2020
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	96	2015
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	93	2007
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	83	2021
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	75	2014
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	72	2020
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	66	2018
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	64	2020
Distributed event-triggered estimation in networked systems J Weimer, J Araújo, KH Johansson IFAC Proceedings Volumes 45 (9), 178-185, 2012	63	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	57	2012
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	50	2020
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	50	2016
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	46	2012
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	45	2016
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	45	2009

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори