James Weimer

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3245	2033
indeks-h	26	21
indeks-i10	53	41

480

240

120

360

201020112012201320142015201620172018201920202021202220232024202511 11 34 67 90 130 158 177 237 248 318 351 402 461 469 31

Akses publik

Lihat semua

60 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Oleg SokolskyUniversity of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Radoslav IvanovRensselaer Polytechnic InstituteEmail yang diverifikasi di rpi.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaEmail yang diverifikasi di seas.upenn.edu
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke UniversityEmail yang diverifikasi di duke.edu
Nicola BezzoAssociate Professor, University of VirginiaEmail yang diverifikasi di virginia.edu
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, SwedenEmail yang diverifikasi di kth.se
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAEmail yang diverifikasi di ee.ucla.edu
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityEmail yang diverifikasi di ece.cmu.edu
Henrik SandbergProfessor of Decision and Control Systems, KTH Royal Institute of TechnologyEmail yang diverifikasi di kth.se
José AraújoCyber-Physical Systems - Sensing & Perception - Ericsson ResearchEmail yang diverifikasi di ericsson.com
Bruno SinopoliElectrical and Systems Engineering, Washington University inEmail yang diverifikasi di wustl.edu
Hung NguyenPhD Student, University of PennsylvaniaEmail yang diverifikasi di seas.upenn.edu
Kin Cheong SouAssociate professor, Electrical Engineering, National Sun Yat-sen UniversityEmail yang diverifikasi di mail.nsysu.edu.tw
Dr. Alexander RoedererGoogleEmail yang diverifikasi di google.com
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of PennsylvaniaEmail yang diverifikasi di seas.upenn.edu
Linh Thi Xuan PhanAssociate Professor, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Allan F. Simpao, MD, MBIChildren's Hospital of Philadelphia & University of PennsylvaniaEmail yang diverifikasi di chop.edu
Mohamed Rehman, M.D. , FAAPEric Kobren Professor, Johns Hopkins School of MedicineEmail yang diverifikasi di jhmi.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu

Ikuti

James Weimer

Vanderbilt University

Email yang diverifikasi di vanderbilt.edu - Beranda

Internet of Medical Things Safe Autonomy Cyber-Physical Security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	366	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	339	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	138	2019
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	98	2015
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	96	2020
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	96	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	84	2021
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	73	2020
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	73	2014
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	67	2018
Distributed event-triggered estimation in networked systems J Weimer, J Araújo, KH Johansson IFAC Proceedings Volumes 45 (9), 178-185, 2012	63	2012
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	61	2020
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
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
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
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	44	2016
Methods, systems, and computer readable media for physiology parameter-invariant meal detection S Chen, JE Weimer, I Lee US Patent 10,792,423, 2020	43	2020

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama