Meiyi Ma - RankMe

87 papers A* 9A 4B 8Misc 3Journal 48Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	BEAGLE: Behavior-Enforced Agent for Grounded Learner Emulation. CoRR Hanchen David Wang, Clayton Cohn, Zifan Xu, Siyuan Guo, Gautam Biswas, Meiyi Ma
2026	J	`jnl`	Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents. CoRR 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	J	`jnl`	Identifying Adversary Characteristics from an Observed Attack. CoRR Soyon Choi, Scott Alfeld, Meiyi Ma
2026	A*	`conf`	Learning with Preserving for Continual Multitask Learning. AAAI Hanchen David Wang, Siwoo Bae, Zirong Chen, Meiyi Ma
2026	J	`jnl`	PACE: A Personalized Adaptive Curriculum Engine for 9-1-1 Call-taker Training. CoRR Zirong Chen, Hongchao Zhang, Meiyi Ma
2026	J	`jnl`	Real-World Design and Deployment of an Embedded GenAI-powered 9-1-1 Calltaking Training System: Experiences and Lessons Learned. CoRR Zirong Chen, Meiyi Ma
2026	J	`jnl`	Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems. CoRR Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha
2025	J	`jnl`	A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic. IEEE Trans. Intell. Transp. Syst. Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
2025	J	`jnl`	Combining LLMs with Logic-Based Framework to Explain MCTS. CoRR Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025	A	`conf`	Combining LLMs with a Logic-Based Framework to Explain MCTS. AAMAS Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025	—	`conf`	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy. ICCPS Hanchen David Wang, Siwoo Bae, Xutong Sun, Yashvitha Thatigotla, Meiyi Ma
2025	J	`jnl`	Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Trans. Cyber Phys. Syst. Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2025	B	`conf`	ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. RV Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma
2025	J	`jnl`	Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities. CoRR Yimo Yan, Yejia Liao, Guanhao Xu, Ruili Yao, Huiying Fan, Jingran Sun, Xia Wang, Jonathan Sprinkle, Ziyan An, Meiyi Ma, Xi Cheng, Tong Liu, Zemian Ke, Bo Zou, Matthew J. Barth, Yong-Hong Kuo
2025	J	`jnl`	Learning with Preserving for Continual Multitask Learning. CoRR Hanchen David Wang, Siwoo Bae, Zirong Chen, Meiyi Ma
2025	A*	`conf`	LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration. IJCAI Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma
2025	J	`jnl`	LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration. CoRR Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma
2025	A	`conf`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. IROS Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2025	J	`jnl`	Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network. CoRR Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson
2025	A*	`conf`	Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. AAAI Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2025	A*	`conf`	Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation. AAAI Zirong Chen, Elizabeth Chason, Noah Mladenovski, Erin Wilson, Kristin Mullen, Stephen Martini, Meiyi Ma
2025	A	`conf`	Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety. ICWSM Ashwaq Alsoubai, Jinkyung Katie Park, Gianluca Stringhini, Meiyi Ma, Munmun De Choudhury, Pamela J. Wisniewski
2025	B	`conf`	Trigger-Finder: A Real-Time Freezing-of-Gait Trigger Detection System Using an Instruction-Tuned Multimodal Large Language Model. CHASE 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	—	`conf`	Uncertainty Quantification for Physics-Informed Traffic Graph Networks. ICCPS Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson, Hua Wei
2024	A*	`conf`	Auto311: A Confidence-Guided Automated System for Non-emergency Calls. AAAI Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma
2024	A	`conf`	Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. ECAI Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024	J	`jnl`	Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. CoRR Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024	J	`jnl`	Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR Ziyan An, Taylor T. Johnson, Meiyi Ma
2024	A*	`conf`	Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI Ziyan An, Taylor T. Johnson, Meiyi Ma
2024	J	`jnl`	Formal Logic-guided Robust Federated Learning against Poisoning Attacks. CoRR Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach
2024	—	`conf`	Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode. ITSC Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
2024	B	`conf`	MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. CHASE Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela J. Wisniewski, Meiyi Ma
2024	J	`jnl`	MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. CoRR Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela J. Wisniewski, Meiyi Ma
2024	J	`jnl`	Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review. CoRR Clayton Cohn, Eduardo Davalos, Caleb Vatral, Joyce Horn Fonteles, Hanchen David Wang, Meiyi Ma, Gautam Biswas
2024	J	`jnl`	Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. CoRR Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2024	J	`jnl`	Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation. CoRR Zirong Chen, Elizabeth Chason, Noah Mladenovski, Erin Wilson, Kristin Mullen, Stephen Martini, Meiyi Ma
2023	J	`jnl`	Auto311: A Confidence-guided Automated System for Non-emergency Call. CoRR Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma
2023	J	`jnl`	CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization. CoRR Zirong Chen, Issa Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
2023	J	`jnl`	CitySpec with shield: A secure intelligent assistant for requirement formalization. Pervasive Mob. Comput. Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma
2023	J	`jnl`	EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. CoRR Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson
2023	—	`conf`	Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023	J	`jnl`	Fairguard: Harness Logic-based Fairness Rules in Smart Cities. CoRR Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023	—	`conf`	Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS Ziyan An, Meiyi Ma
2023	J	`jnl`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2023	B	`conf`	Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
2023	A*	`conf`	Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks. KDD Wei Qian, Chenxu Zhao, Wei Le, Meiyi Ma, Mengdi Huai
2022	B	`conf`	An Intelligent Assistant for Converting City Requirements to Formal Specification. SMARTCOMP Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
2022	J	`jnl`	An Intelligent Assistant for Converting City Requirements to Formal Specification. CoRR Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
2022	B	`conf`	CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. SMARTCOMP Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
2022	J	`jnl`	CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. CoRR Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
2022	J	`jnl`	DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services. ACM Trans. Cyber Phys. Syst. Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin
2022	J	`jnl`	Designing Decision Support Systems for Emergency Response: Challenges and Opportunities. CoRR Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade, Hemant Purohit, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey
2022	J	`jnl`	Formal methods enhance deep learning for smart cities: challenges and future directions. XRDS Meiyi Ma
2022	J	`jnl`	Integrating Voice-Based Machine Learning Technology into Complex Home Environments. CoRR Ye Gao, Jason Jabbour, Eunjung Ko, Lahiru Nuwan Wijayasingha, Sooyoung Kim, Zetao Wang, Meiyi Ma, Karen Rose, Kristina Gordon, Hongning Wang, John A. Stankovic
2022	J	`jnl`	Out-of-the-Box Deployment to Support Research on In-Home Care of Alzheimer's Patients. IEEE Pervasive Comput. 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
2022	J	`jnl`	PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. CoRR Hanchen David Wang, Meiyi Ma
2022	J	`jnl`	PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Hanchen David Wang, Meiyi Ma
2021	J	`jnl`	A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021	J	`jnl`	A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021	J	`jnl`	A Review of Cognitive Assistants for Healthcare: Trends, Prospects, and Future Directions. ACM Comput. Surv. Sarah Masud Preum, Sirajum Munir, Meiyi Ma, Mohammad Samin Yasar, David J. Stone, Ronald D. Williams, Homa Alemzadeh, John A. Stankovic
2021	—	`conf`	A smart city simulation platform with uncertainty. ICCPS Shuyang Dong, Meiyi Ma, Lu Feng
2021	—	`conf`	Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective. CogMI John A. Stankovic, Meiyi Ma, Sarah Masud Preum, Homa Alemzadeh
2021	—	`conf`	DeResolver: a decentralized negotiation and conflict resolution framework for smart city services. ICCPS Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin
2021	J	`jnl`	Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2021	J	`jnl`	Toward Formal Methods for Smart Cities. Computer Meiyi Ma, John A. Stankovic, Lu Feng
2021	J	`jnl`	ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic
2020	Misc	`conf`	A monitoring, modeling, and interactive recommendation system for in-home caregivers: demo abstract. SenSys Ye Gao, Meiyi Ma, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic
2020	J	`jnl`	CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2020	Misc	`conf`	Continuous micro finger writing recognition with a commodity smartwatch: demo abstract. SenSys Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic
2020	J	`jnl`	Data Sets, Modeling, and Decision Making in Smart Cities: A Survey. ACM Trans. Cyber Phys. Syst. Meiyi Ma, Sarah Masud Preum, Mohsin Y. Ahmed, William Tärneberg, Abdeltawab M. Hendawi, John A. Stankovic
2020	J	`jnl`	MFED: A System for Monitoring Family Eating Dynamics. CoRR 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
2020	Misc	`conf`	Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
2020	A*	`conf`	STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. NeurIPS Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic
2020	—	`conf`	SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2019	J	`jnl`	Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
2018	—	`conf`	Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS Meiyi Ma, John A. Stankovic, Lu Feng
2017	—	`conf`	CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. IoTDI Meiyi Ma, Sarah Masud Preum, John A. Stankovic
2017	—	`conf`	Conflict detection in online textual health advice: demo abstract. IPSN Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
2017	B	`conf`	M^2G: A Monitor of Monitoring Systems with Ground Truth Validation Features for Research-Oriented Residential Applications. MASS Meiyi Ma, Ridwan Alam, Brooke Bell, Kayla de la Haye, Donna Spruijt-Metz, John C. Lach, John A. Stankovic
2017	J	`jnl`	Preclude2 : Personalized conflict detection in heterogeneous health applications. Pervasive Mob. Comput. Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
2017	A*	`conf`	Preclude: Conflict detection in textual health advice. PerCom Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic
2017	—	`conf`	Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys Meiyi Ma, John A. Stankovic, Lu Feng
2017	—	`conf`	Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract. IoTDI Meiyi Ma, Sarah Masud Preum, John A. Stankovic
2016	J	`jnl`	Crystal Energy Optimization Algorithm. Comput. Intell. Xiang Feng, Meiyi Ma, Huiqun Yu
2016	B	`conf`	Detection of Runtime Conflicts among Services in Smart Cities. SMARTCOMP Meiyi Ma, Sarah Masud Preum, William Tärneberg, Mohsin Y. Ahmed, Matthew Ruiters, John A. Stankovic
2015	J	`jnl`	Social Group Search Optimizer Algorithm for Ad Hoc Network. Ad Hoc Sens. Wirel. Networks Xiang Feng, Meiyi Ma, Huiqun Yu, Zhe Wang
2011	—	`conf`	Virtual emergency rehearse system for dangerous gas diffusion in chemical industry park. VRCAI Gaoqi He, Wentao Ou, Meiyi Ma, Lipeng Zhang, Qincheng Hu, Zhiyi Xu