James Weimer

Citeras av

	Alla	Sedan 2019
Citat	3162	2200
h-index	26	21
i10-index	53	43

480

240

120

360

20092010201120122013201420152016201720182019202020212022202320248 11 11 34 67 90 130 158 177 236 248 316 351 401 462 419

Offentlig åtkomst

Visa alla

60 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

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

Följ

James Weimer

Vanderbilt University

Verifierad e-postadress på vanderbilt.edu - Startsida

Internet of Medical Things Safe Autonomy Cyber-Physical Security


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	364	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	329	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	283	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	163	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	131	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
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
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	95	2020
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	82	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	71	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	70	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	64	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	59	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	54	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	43	2016
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	43	2008

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare