Virtual emergency rehearse system for dangerous gas diffusion in chemical industry park. - Gaoqi He; Wentao Ou; Meiyi Ma; Lipeng Zhang; Qincheng Hu; Zhiyi Xu (VRCAI, 2011)

Social Group Search Optimizer Algorithm for Ad Hoc Network. - Xiang Feng; Meiyi Ma; Huiqun Yu; Zhe Wang (Ad Hoc Sens. Wirel. Networks, 2015)

Detection of Runtime Conflicts among Services in Smart Cities. - Meiyi Ma; Sarah Masud Preum; William Tärneberg; Mohsin Y. Ahmed; Matthew Ruiters; John A. Stankovic (SMARTCOMP, 2016)

Crystal Energy Optimization Algorithm. - Xiang Feng; Meiyi Ma; Huiqun Yu (Comput. Intell., 2016)

CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. - Meiyi Ma; Sarah Masud Preum; John A. Stankovic (IoTDI, 2017)

Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract. - Meiyi Ma; Sarah Masud Preum; John A. Stankovic (IoTDI, 2017)

Conflict detection in online textual health advice: demo abstract. - Sarah Masud Preum; Md. Abu Sayeed Mondol; Meiyi Ma; Hongning Wang; John A. Stankovic (IPSN, 2017)

M^2G: A Monitor of Monitoring Systems with Ground Truth Validation Features for Research-Oriented Residential Applications. - Meiyi Ma; Ridwan Alam; Brooke Bell; Kayla de la Haye; Donna Spruijt-Metz; John C. Lach; John A. Stankovic (MASS, 2017)

Preclude: Conflict detection in textual health advice. - Sarah Masud Preum; Md. Abu Sayeed Mondol; Meiyi Ma; Hongning Wang; John A. Stankovic (PerCom, 2017)

Runtime Monitoring of Safety and Performance Requirements in Smart Cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (SafeThings@SenSys, 2017)

Preclude2 : Personalized conflict detection in heterogeneous health applications. - Sarah Masud Preum; Md. Abu Sayeed Mondol; Meiyi Ma; Hongning Wang; John A. Stankovic (Pervasive Mob. Comput., 2017)

Cityresolver: a decision support system for conflict resolution in smart cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (ICCPS, 2018)

Runtime Monitoring of Real time Safety Requirements in Smart Cities. - Meiyi Ma; Ezio Bartocci; Lu Feng 001; John A. Stankovic (CoRR, 2019)

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (ICCPS, 2020)

STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. - Meiyi Ma; Ji Gao; Lu Feng 001; John A. Stankovic (NeurIPS, 2020)

Continuous micro finger writing recognition with a commodity smartwatch: demo abstract. - Wenqiang Chen; Lin Chen 002; Meiyi Ma; Farshid Salemi Parizi; Shwetak N. Patel; John A. Stankovic (SenSys, 2020)

A monitoring, modeling, and interactive recommendation system for in-home caregivers: demo abstract. - Ye Gao; Meiyi Ma; Kristina Gordon; Karen Rose 001; Hongning Wang; John A. Stankovic (SenSys, 2020)

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. - Meiyi Ma; Ezio Bartocci; John A. Stankovic; Lu Feng 001 (SenSys, 2020)

MFED: A System for Monitoring Family Eating Dynamics. - 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 (CoRR, 2020)

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (CoRR, 2020)

Data Sets, Modeling, and Decision Making in Smart Cities: A Survey. - Meiyi Ma; Sarah Masud Preum; Mohsin Y. Ahmed; William Tärneberg; Abdeltawab M. Hendawi; John A. Stankovic (ACM Trans. Cyber Phys. Syst., 2020)

Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective. - John A. Stankovic; Meiyi Ma; Sarah Masud Preum; Homa Alemzadeh (CogMI, 2021)

A smart city simulation platform with uncertainty. - Shuyang Dong; Meiyi Ma; Lu Feng 001 (ICCPS, 2021)

DeResolver: a decentralized negotiation and conflict resolution framework for smart city services. - Yukun Yuan 001; Meiyi Ma; Songyang Han; Desheng Zhang; Fei Miao; John A. Stankovic; Shan Lin 001 (ICCPS, 2021)

Toward Formal Methods for Smart Cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (Computer, 2021)

A Review of Cognitive Assistants for Healthcare: Trends, Prospects, and Future Directions. - Sarah Masud Preum; Sirajum Munir; Meiyi Ma; Mohammad Samin Yasar; David J. Stone; Ronald D. Williams; Homa Alemzadeh; John A. Stankovic (ACM Comput. Surv., 2021)

ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch. - Wenqiang Chen; Lin Chen 002; Meiyi Ma; Farshid Salemi Parizi; Shwetak N. Patel; John A. Stankovic (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2021)

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (IEEE Internet Things J., 2021)

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (ACM Trans. Embed. Comput. Syst., 2021)

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (SMARTCOMP, 2022)

An Intelligent Assistant for Converting City Requirements to Formal Specification. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (SMARTCOMP, 2022)

Designing Decision Support Systems for Emergency Response: Challenges and Opportunities. - Geoffrey Pettet; Hunter Baxter; Sayyed Mohsen Vazirizade; Hemant Purohit; Meiyi Ma; Ayan Mukhopadhyay; Abhishek Dubey (CoRR, 2022)

Integrating Voice-Based Machine Learning Technology into Complex Home Environments. - Ye Gao; Jason Jabbour; Eunjung Ko; Lahiru Nuwan Wijayasingha; Sooyoung Kim; Zetao Wang; Meiyi Ma; Karen Rose 001; Kristina Gordon; Hongning Wang; John A. Stankovic (CoRR, 2022)

Formal methods enhance deep learning for smart cities: challenges and future directions. - Meiyi Ma (XRDS, 2022)

PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. - Hanchen David Wang; Meiyi Ma (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

Out-of-the-Box Deployment to Support Research on In-Home Care of Alzheimer's Patients. - Ye Gao; Jason Jabbour; Emma C. Schlegel; Meiyi Ma; Matthew McCall; Lahiru N. S. Wijayasingha; Eunjung Ko; Kristina Gordon; Karen Rose 001; Hongning Wang; John A. Stankovic (IEEE Pervasive Comput., 2022)

DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services. - Yukun Yuan 001; Meiyi Ma; Songyang Han; Desheng Zhang; Fei Miao; John A. Stankovic; Shan Lin 001 (ACM Trans. Cyber Phys. Syst., 2022)

Guiding Federated Learning with Inferenced Formal Logic Properties. - Ziyan An; Meiyi Ma (ICCPS, 2023)

Fairguard: Harness Logic-based Fairness Rules in Smart Cities. - Yiqi Zhao; Ziyan An; Xuqing Gao; Ayan Mukhopadhyay; Meiyi Ma (IoTDI, 2023)

Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks. - Wei Qian; Chenxu Zhao; Wei Le; Meiyi Ma; Mengdi Huai (KDD, 2023)

Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. - Ziyan An; Xia Wang; Taylor T. Johnson; Jonathan Sprinkle; Meiyi Ma (RV, 2023)

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization. - Zirong Chen; Issa Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (CoRR, 2023)

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. - Jiangwei Wang; Shuo Yang 007; Ziyan An; Songyang Han; Zhili Zhang; Rahul Mangharam; Meiyi Ma; Fei Miao (CoRR, 2023)

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. - Yiqi Zhao; Ziyan An; Meiyi Ma; Taylor T. Johnson (CoRR, 2023)

Auto311: A Confidence-guided Automated System for Non-emergency Call. - Zirong Chen; Xutong Sun; Yuanhe Li; Meiyi Ma (CoRR, 2023)

CitySpec with shield: A secure intelligent assistant for requirement formalization. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Preum; John A. Stankovic; Meiyi Ma (Pervasive Mob. Comput., 2023)

Formal Logic Enabled Personalized Federated Learning through Property Inference. - Ziyan An; Taylor T. Johnson; Meiyi Ma (AAAI, 2024)

Auto311: A Confidence-Guided Automated System for Non-emergency Calls. - Zirong Chen; Xutong Sun; Yuanhe Li; Meiyi Ma (AAAI, 2024)

MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. - Hanchen David Wang; Nibraas Khan; Anna Chen; Nilanjan Sarkar; Pamela J. Wisniewski; Meiyi Ma (CHASE, 2024)

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. - Ziyan An; Hendrik Baier; Abhishek Dubey; Ayan Mukhopadhyay; Meiyi Ma (ECAI, 2024)

Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode. - Xia Wang; Yuwei Yang; Yifan Shangguan; Weiyu Yan; Ziyan An; Matthew R. Bunting; Matthew Nice; Thomas Beckers 001; Meiyi Ma; Dan Work; Jonathan Sprinkle (ITSC, 2024)

Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review. - Clayton Cohn; Eduardo Davalos; Caleb Vatral; Joyce Horn Fonteles; Hanchen David Wang; Meiyi Ma; Gautam Biswas (CoRR, 2024)

Formal Logic-guided Robust Federated Learning against Poisoning Attacks. - Dung Thuy Nguyen; Ziyan An; Taylor T. Johnson; Meiyi Ma; Kevin Leach (CoRR, 2024)

Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation. - Zirong Chen; Elizabeth Chason; Noah Mladenovski; Erin Wilson; Kristin Mullen; Stephen Martini; Meiyi Ma (AAAI, 2025)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. - Shuyang Dong; Meiyi Ma; Josephine Lamp; Sebastian G. Elbaum; Matthew B. Dwyer; Lu Feng 001 (AAAI, 2025)

Uncertainty Quantification for Physics-Informed Traffic Graph Networks. - Tianshu Bao; Xiaoou Liu; Meiyi Ma; Taylor T. Johnson; Hua Wei 001 (ICCPS, 2025)

EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy. - Hanchen David Wang; Siwoo Bae; Xutong Sun; Yashvitha Thatigotla; Meiyi Ma (ICCPS, 2025)

Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety. - Ashwaq Alsoubai; Jinkyung Katie Park; Gianluca Stringhini; Meiyi Ma; Munmun De Choudhury; Pamela J. Wisniewski (ICWSM, 2025)

Combining LLMs with a Logic-Based Framework to Explain MCTS. - Ziyan An; Xia Wang; Hendrik Baier; Zirong Chen; Abhishek Dubey; Taylor T. Johnson; Jonathan Sprinkle; Ayan Mukhopadhyay; Meiyi Ma (AAMAS, 2025)

Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities. - Yimo Yan; Yejia Liao; Guanhao Xu; Ruili Yao; Huiying Fan; Jingran Sun; Xia Wang; Jonathan Sprinkle; Ziyan An; Meiyi Ma; Xi Cheng; Tong Liu; et al. (CoRR, 2025)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration. - Zirong Chen; Ziyan An; Jennifer Reynolds; Kristin Mullen; Stephen Martini; Meiyi Ma (CoRR, 2025)