Meiyi Ma

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 54

Top Topics

Decision Support

Conflict Detection

Top Venues

Publications

Ziyan An, Taylor T. Johnson, Meiyi Ma
Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI (2024)
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. CoRR (2024)
Ziyan An, Taylor T. Johnson, Meiyi Ma
Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR (2024)
Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela Wisniewski, Meiyi Ma
MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. CHASE (2024)
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma
Auto311: A Confidence-Guided Automated System for Non-emergency Calls. AAAI (2024)
Zirong Chen, Issa Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization. CoRR (2023)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma
CitySpec with shield: A secure intelligent assistant for requirement formalization. Pervasive Mob. Comput. 92 (2023)
Wei Qian, Chenxu Zhao, Wei Le, Meiyi Ma, Mengdi Huai
Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks. KDD (2023)
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. CoRR (2023)
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma
Auto311: A Confidence-guided Automated System for Non-emergency Call. CoRR (2023)
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. CoRR (2023)
Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR (2023)
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV (2023)
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI (2023)
Ziyan An, Meiyi Ma
Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS (2023)
Hanchen David Wang, Meiyi Ma
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (4) (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. CoRR (2022)
Ye Gao, Jason Jabbour, Emma C. Schlegel, Meiyi Ma, Matthew McCall, Lahiru N. S. Wijayasingha, Eunjung Ko, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic
Out-of-the-Box Deployment to Support Research on In-Home Care of Alzheimer's Patients. IEEE Pervasive Comput. 21 (1) (2022)
Ye Gao, Jason Jabbour, Eunjung Ko, Lahiru Nuwan Wijayasingha, Sooyoung Kim, Zetao Wang, Meiyi Ma, Karen Rose, Kristina Gordon, Hongning Wang, John A. Stankovic
Integrating Voice-Based Machine Learning Technology into Complex Home Environments. CoRR (2022)
Meiyi Ma
Formal methods enhance deep learning for smart cities: challenges and future directions. XRDS 28 (3) (2022)
Hanchen David Wang, Meiyi Ma
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. CoRR (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. SMARTCOMP (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preurn, John A. Stankovic, Meiyi Ma
An Intelligent Assistant for Converting City Requirements to Formal Specification. SMARTCOMP (2022)
Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin
DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade, Hemant Purohit, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities. CoRR (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
An Intelligent Assistant for Converting City Requirements to Formal Specification. CoRR (2022)
John A. Stankovic, Meiyi Ma, Sarah Masud Preum, Homa Alemzadeh
Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective. CogMI (2021)
Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic
ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 5 (1) (2021)
Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin
DeResolver: a decentralized negotiation and conflict resolution framework for smart city services. ICCPS (2021)
Sarah Masud Preum, Sirajum Munir, Meiyi Ma, Mohammad Samin Yasar, David J. Stone, Ronald D. Williams, Homa Alemzadeh, John A. Stankovic
A Review of Cognitive Assistants for Healthcare: Trends, Prospects, and Future Directions. ACM Comput. Surv. 53 (6) (2021)
Meiyi Ma, John A. Stankovic, Lu Feng
Toward Formal Methods for Smart Cities. Computer 54 (9) (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. 8 (15) (2021)
Shuyang Dong, Meiyi Ma, Lu Feng
A smart city simulation platform with uncertainty. ICCPS (2021)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR (2021)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR (2020)
Md. Abu Sayeed Mondol, Brooke Bell, Meiyi Ma, Ridwan Alam, Ifat Afrin Emi, Sarah Masud Preum, Kayla de la Haye, Donna Spruijt-Metz, John C. Lach, John A. Stankovic
MFED: A System for Monitoring Family Eating Dynamics. CoRR (2020)
Meiyi Ma, Sarah Masud Preum, Mohsin Y. Ahmed, William Tärneberg, Abdeltawab M. Hendawi, John A. Stankovic
Data Sets, Modeling, and Decision Making in Smart Cities: A Survey. ACM Trans. Cyber Phys. Syst. 4 (2) (2020)
Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. NeurIPS (2020)
Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic
Continuous micro finger writing recognition with a commodity smartwatch: demo abstract. SenSys (2020)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS (2020)
Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys (2020)
Ye Gao, Meiyi Ma, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic
A monitoring, modeling, and interactive recommendation system for in-home caregivers: demo abstract. SenSys (2020)
Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR (2019)
Meiyi Ma, John A. Stankovic, Lu Feng
Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS (2018)
Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
Preclude2 : Personalized conflict detection in heterogeneous health applications. Pervasive Mob. Comput. 42 (2017)
Meiyi Ma, Ridwan Alam, Brooke Bell, Kayla de la Haye, Donna Spruijt-Metz, John C. Lach, John A. Stankovic
M^2G: A Monitor of Monitoring Systems with Ground Truth Validation Features for Research-Oriented Residential Applications. MASS (2017)
Meiyi Ma, Sarah Masud Preum, John A. Stankovic
Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract. IoTDI (2017)
Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
Conflict detection in online textual health advice: demo abstract. IPSN (2017)
Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
Preclude: Conflict detection in textual health advice. PerCom (2017)
Meiyi Ma, Sarah Masud Preum, John A. Stankovic
CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. IoTDI (2017)
Meiyi Ma, John A. Stankovic, Lu Feng
Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys (2017)
Meiyi Ma, Sarah Masud Preum, William Tärneberg, Mohsin Y. Ahmed, Matthew Ruiters, John A. Stankovic
Detection of Runtime Conflicts among Services in Smart Cities. SMARTCOMP (2016)
Xiang Feng, Meiyi Ma, Huiqun Yu
Crystal Energy Optimization Algorithm. Comput. Intell. 32 (2) (2016)
Xiang Feng, Meiyi Ma, Huiqun Yu, Zhe Wang
Social Group Search Optimizer Algorithm for Ad Hoc Network. Ad Hoc Sens. Wirel. Networks 28 (3-4) (2015)
Gaoqi He, Wentao Ou, Meiyi Ma, Lipeng Zhang, Qincheng Hu, Zhiyi Xu
Virtual emergency rehearse system for dangerous gas diffusion in chemical industry park. VRCAI (2011)