Follow
Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University
Verified email at virginia.edu
Title
Cited by
Cited by
Year
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
722016
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
712021
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
652019
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
552017
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
442018
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
412020
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
342017
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
332020
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
302021
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
302021
Runtime monitoring of accidents in driving recordings with multi-type logic in empirical models
Z An, X Wang, T T. Johnson, J Sprinkle, M Ma
International Conference on Runtime Verification, 376-388, 2023
212023
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
202023
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
192021
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
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
162017
Crystal energy optimization algorithm
X Feng, M Ma, H Yu
Computational intelligence 32 (2), 284-322, 2016
162016
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
152021
Toward formal methods for smart cities
M Ma, JA Stankovic, L Feng
Computer 54 (9), 39-48, 2021
142021
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
142019
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
122021
The system can't perform the operation now. Try again later.
Articles 1–20