| 2026 | AAAI | Learning with Preserving for Continual Multitask Learning. | Hanchen David Wang, Siwoo Bae, Zirong Chen, Meiyi Ma |
| 2026 | AIED | Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents. | Clayton Cohn, Siyuan Guo, Surya Rayala, Hanchen David Wang, Naveeduddin Mohammed, Umesh Timalsina, Shruti Jain, Angela Eeds, Menton M. Deweese, Pamela Osborn Popp, Rebekah Stanton, Shakeera Walker, Meiyi Ma, Gautam Biswas |
| 2026 | SmartComp | Empowering 9-1-1 Calltaking Training with Generative AI: Experiences and Lessons Learned. | Zirong Chen, Meiyi Ma |
| 2026 | SmartComp | Reasoning Supervision for Enhancing Video-based Human Activity Recognition. | Yilin Liu, Meiyi Ma |
| 2025 | AAAI | 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 |
| 2025 | AAAI | Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. | Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng |
| 2025 | CHASE | Trigger-Finder: A Real-Time Freezing-of-Gait Trigger Detection System Using an Instruction-Tuned Multimodal Large Language Model. | Chen Qian, Chuntian Chi, John Clapham, Jiarui Qi, Zherui Zhang, Gina Mari Blackwell, Ingrid Pretzer-Aboff, Leslie Cloud, Meiyi Ma, Gang Zhou, Huajie Shao |
| 2025 | IJCAI | 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 |
| 2025 | IROS | Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. | Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao |
| 2025 | ICWSM | 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 |
| 2025 | RV | ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. | Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma |
| 2024 | AAAI | Formal Logic Enabled Personalized Federated Learning through Property Inference. | Ziyan An, Taylor T. Johnson, Meiyi Ma |
| 2024 | AAAI | Auto311: A Confidence-Guided Automated System for Non-emergency Calls. | Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma |
| 2024 | CHASE | 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 |
| 2024 | ECAI | Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. | Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma |
| 2023 | KDD | Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks. | Wei Qian, Chenxu Zhao, Wei Le, Meiyi Ma, Mengdi Huai |
| 2023 | RV | 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 |
| 2022 | SmartComp | CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. | Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma |
| 2022 | SmartComp | An Intelligent Assistant for Converting City Requirements to Formal Specification. | Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma |
| 2020 | SENSYS | Continuous micro finger writing recognition with a commodity smartwatch: demo abstract. | Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic |
| 2020 | SENSYS | A monitoring, modeling, and interactive recommendation system for in-home caregivers: demo abstract. | Ye Gao, Meiyi Ma, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic |
| 2020 | SENSYS | Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. | Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng |
| 2017 | MASS | 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 |
| 2017 | PERCOM | Preclude: Conflict detection in textual health advice. | Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic |
| 2017 | SENSYS | Runtime Monitoring of Safety and Performance Requirements in Smart Cities. | Meiyi Ma, John A. Stankovic, Lu Feng |
| 2016 | SmartComp | Detection of Runtime Conflicts among Services in Smart Cities. | Meiyi Ma, Sarah Masud Preum, William Trneberg, Mohsin Y. Ahmed, Matthew Ruiters, John A. Stankovic |