Folgen
Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University
Bestätigte E-Mail-Adresse bei virginia.edu
Titel
Zitiert von
Zitiert von
Jahr
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
562016
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
442017
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
302019
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
242018
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
202020
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
162017
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
152020
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
122021
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
112017
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
8*2021
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
82021
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
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
7*2013
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
62019
Crystal energy optimization algorithm
X Feng, M Ma, H Yu
Computational Intelligence 32 (2), 284-322, 2016
62016
Intrusion detection system based on hybrid immune algorithm
X Feng, MY Ma, TL Zhao, HQ Yu
Journal of Computer Science 41 (12), 43-47, 2014
62014
Path planning for mobile robots based on social group search algorithm
X Feng, MY Ma, Y Shi, HQ Yu
Journal of Computer Research and Development 50 (12), 2543-2553, 2013
52013
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
42021
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
42017
Toward formal methods for smart cities
M Ma, JA Stankovic, L Feng
Computer 54 (9), 39-48, 2021
32021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20