关注
Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University
在 virginia.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Detection of runtime conflicts among services in smart cities
M Ma, SM Preum, W Tarneberg, M Ahmed, M Ruiters, J Stankovic
2016 IEEE International Conference on Smart Computing (SMARTCOMP), 1-10, 2016
702016
Data sets, modeling, and decision making in smart cities: A survey
M Ma, SM Preum, MY Ahmed, W Tärneberg, A Hendawi, JA Stankovic
ACM Transactions on Cyber-Physical Systems 4 (2), 1-28, 2019
532019
A review of cognitive assistants for healthcare: Trends, prospects, and future directions
SM Preum, S Munir, M Ma, MS Yasar, DJ Stone, R Williams, H Alemzadeh, ...
ACM Computing Surveys (CSUR) 53 (6), 1-37, 2021
522021
Cityguard: A watchdog for safety-aware conflict detection in smart cities
M Ma, SM Preum, JA Stankovic
Proceedings of the Second International Conference on Internet-of-Things …, 2017
512017
Cityresolver: a decision support system for conflict resolution in smart cities
M Ma, JA Stankovic, L Feng
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
402018
STLnet: Signal temporal logic enforced multivariate recurrent neural networks
M Ma, J Gao, L Feng, J Stankovic
Advances in Neural Information Processing Systems 33, 14604-14614, 2020
332020
A novel spatial–temporal specification-based monitoring system for smart cities
M Ma, E Bartocci, E Lifland, JA Stankovic, L Feng
IEEE Internet of Things Journal 8 (15), 11793-11806, 2021
292021
Preclude: Conflict detection in textual health advice
SM Preum, AS Mondol, M Ma, H Wang, JA Stankovic
2017 IEEE International Conference on Pervasive Computing and Communications …, 2017
292017
SaSTL: Spatial aggregation signal temporal logic for runtime monitoring in smart cities
M Ma, E Bartocci, E Lifland, J Stankovic, L Feng
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
272020
Predictive monitoring with logic-calibrated uncertainty for cyber-physical systems
M Ma, J Stankovic, E Bartocci, L Feng
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-25, 2021
232021
Runtime monitoring of safety and performance requirements in smart cities
M Ma, JA Stankovic, L Feng
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 44-50, 2017
172017
ViFin: Harness passive vibration to continuous micro finger writing with a commodity smartwatch
W Chen, L Chen, M Ma, FS Parizi, S Patel, J Stankovic
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2021
162021
Crystal energy optimization algorithm
X Feng, M Ma, H Yu
Computational intelligence 32 (2), 284-322, 2016
142016
Sensing eating mimicry among family members
BM Bell, D Spruijt-Metz, GG Vega Yon, AS Mondol, R Alam, M Ma, I Emi, ...
Translational Behavioral Medicine 9 (3), 422-430, 2019
132019
Smarthealth technology study protocol to improve relationships between older adults with dementia and family caregivers
KM Rose, K Coop Gordon, EC Schlegel, M Mccall, Y Gao, M Ma, ...
Journal of Advanced Nursing 77 (5), 2519-2529, 2021
122021
Preclude2: Personalized conflict detection in heterogeneous health applications
SM Preum, AS Mondol, M Ma, H Wang, JA Stankovic
Pervasive and Mobile Computing 42, 226-247, 2017
122017
Toward formal methods for smart cities
M Ma, JA Stankovic, L Feng
Computer 54 (9), 39-48, 2021
102021
Towards understanding and enhancing robustness of deep learning models against malicious unlearning attacks
W Qian, C Zhao, W Le, M Ma, M Huai
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and …, 2023
92023
A smart city simulation platform with uncertainty
S Dong, M Ma, L Feng
Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021
92021
Lake-Energy Optimization Algo-rithm for Travelling Salesman Problem
X Feng, MY Ma, HQ Yu
Journal of Computer Research and Development 50 (9), 2015-2027, 2013
9*2013
系统目前无法执行此操作,请稍后再试。
文章 1–20