Meiyi Ma
Meiyi Ma
Department of 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
452016
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
352017
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
172019
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
162018
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
152017
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
102020
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
82017
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
8*2013
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
72017
Crystal energy optimization algorithm
X Feng, M Ma, H Yu
Computational Intelligence 32 (2), 284-322, 2016
62016
Path planning for mobile robots based on social group search algorithm
X Feng, M Ma, Y Shi, H Yu
Journal of Computer Research and Development 50 (12), 2543, 2013
52013
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.
M Ma, J Gao, L Feng, JA Stankovic
NeurIPS, 2020
42020
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
42019
Intrusion detection system based on hybrid immune algorithm
X Feng, MY Ma, TL Zhao, H Yu
Computer Science 41 (12), 43-47, 2014
42014
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
M Ma, E Bartocci, E Lifland, J Stankovic, L Feng
IEEE Internet of Things Journal, 2021
32021
Virtual emergency rehearse system for dangerous gas diffusion in chemical industry park
G He, W Ou, M Ma, L Zhang, Q Hu, Z Xu
Proceedings of the 10th International Conference on Virtual Reality …, 2011
32011
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
22021
Predictive monitoring with logic-calibrated uncertainty for cyber-physical systems
M Ma, J Stankovic, E Bartocci, L Feng
arXiv preprint arXiv:2011.00384, 2020
22020
Demo abstract: Simulating conflict detection in heterogeneous services of a smart city
M Ma, SM Preum, JA Stankovic
2017 IEEE/ACM Second International Conference on Internet-of-Things Design …, 2017
22017
Social Group Search Optimizer Algorithm for Ad Hoc Network.
X Feng, M Ma, H Yu, Z Wang
Adhoc & Sensor Wireless Networks 28, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20