Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University
Dirección de correo verificada de
Citado por
Citado por
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
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
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
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
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
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
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
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
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
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
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
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
Crystal energy optimization algorithm
X Feng, M Ma, H Yu
Computational intelligence 32 (2), 284-322, 2016
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
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
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
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
Toward formal methods for smart cities
M Ma, JA Stankovic, L Feng
Computer 54 (9), 39-48, 2021
Designing decision support systems for emergency response: Challenges and opportunities
G Pettet, H Baxter, SM Vazirizade, H Purohit, M Ma, A Mukhopadhyay, ...
2022 Workshop on Cyber Physical Systems for Emergency Response (CPS-ER), 30-35, 2022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20