James Weimer

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	3305	2096
h-endeksi	27	22
i10-endeksi	56	43

480

240

120

360

201020112012201320142015201620172018201920202021202220232024202512 11 34 68 92 130 156 172 238 247 319 353 415 469 477 62

Genel erişim

Tümünü görüntüle

60 makale

0 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Insup LeeProfessor, Computer and Information Science, University of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Oleg SokolskyUniversity of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Radoslav IvanovRensselaer Polytechnic Instituterpi.edu üzerinde doğrulanmış e-posta adresine sahip
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke Universityduke.edu üzerinde doğrulanmış e-posta adresine sahip
Nicola BezzoAssociate Professor, University of Virginiavirginia.edu üzerinde doğrulanmış e-posta adresine sahip
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, Swedenkth.se üzerinde doğrulanmış e-posta adresine sahip
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAee.ucla.edu üzerinde doğrulanmış e-posta adresine sahip
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon Universityece.cmu.edu üzerinde doğrulanmış e-posta adresine sahip
Henrik SandbergProfessor of Decision and Control Systems, KTH Royal Institute of Technologykth.se üzerinde doğrulanmış e-posta adresine sahip
José AraújoCyber-Physical Systems - Sensing & Perception - Ericsson Researchericsson.com üzerinde doğrulanmış e-posta adresine sahip
Bruno SinopoliElectrical and Systems Engineering, Washington University inwustl.edu üzerinde doğrulanmış e-posta adresine sahip
Hung NguyenPhD Student, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Kin Cheong SouAssociate professor, Electrical Engineering, National Sun Yat-sen Universitymail.nsysu.edu.tw üzerinde doğrulanmış e-posta adresine sahip
Dr. Alexander RoedererGooglegoogle.com üzerinde doğrulanmış e-posta adresine sahip
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Allan F. Simpao, MD, MBIChildren's Hospital of Philadelphia & University of Pennsylvaniachop.edu üzerinde doğrulanmış e-posta adresine sahip
Mohamed Rehman, M.D. , FAAPEric Kobren Professor, Johns Hopkins School of Medicinejhmi.edu üzerinde doğrulanmış e-posta adresine sahip
Linh Thi Xuan PhanAssociate Professor, University of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu üzerinde doğrulanmış e-posta adresine sahip

Takip et

James Weimer

Vanderbilt University

vanderbilt.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Internet of Medical Things Safe Autonomy Cyber-Physical Security


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
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	362	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	338	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	286	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	141	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	99	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	85	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	73	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	65	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

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar