default search action

combined dblp search
author search
venue search
publication search

ask others

Meiyi Ma

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons

Person information

affiliation: Vanderbilt University, Nashville, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2026
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/inffus/YanZLXYFSWSAMCLKBCK26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/inffus/YanZLXYFSWSAMCLKBCK26
Yimo Yan, Bo Zou, Yejia Liao, Guanhao Xu, Ruili Yao, Huiying Fan, Jingran Sun, Xia Wang, Jonathan Sprinkle, Ziyan An, Meiyi Ma, Xi Cheng, Tong Liu, Zemian Ke, Matthew J. Barth, Songyi Cui, Yong-Hong Kuo:
Large language models for transportation research: Methodologies, state of the art, and future opportunities. Inf. Fusion 136: 104546 (2026)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HeAM26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HeAM26
Guocheng He, Ziyan An, Meiyi Ma:
Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning. J. Artif. Intell. Res. 86 (2026)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/WangLROJM26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/WangLROJM26
Hanchen David Wang, Diego Manzanas Lopez, Preston Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma:
Towards Verified and Targeted Explanations through Formal Methods. J. Artif. Intell. Res. 86 (2026)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/percom/LiuWFMLWLBM26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/percom/LiuWFMLWLBM26
Yilin Liu, Hanchen David Wang, Haowei Fu, Madison Lee Mason, Fanjie Li, Alyssa Wise, Daniel T. Levin, Gautam Biswas, Meiyi Ma:
SmartSeg: A non-parametric approach for wearable camera video temporal segmentation. Pervasive Mob. Comput. 121: 102223 (2026)
2025
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/AnZGMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/AnZGMM25
Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma:
Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Trans. Cyber Phys. Syst. 9(4): 34:1-34:28 (2025)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/WangYSYABNBMWS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/WangYSYABNBMWS25
Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle:
A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic. IEEE Trans. Intell. Transp. Syst. 26(12): 22151-22160 (2025)
2023
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/percom/ChenLZPSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/percom/ChenLZPSM23
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: 101802 (2023)
2022
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/crossroads/Ma22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/crossroads/Ma22
Meiyi Ma:
Formal methods enhance deep learning for smart cities: challenges and future directions. XRDS 28(3): 42-46 (2022)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/imwut/WangM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imwut/WangM22
Hanchen David Wang, Meiyi Ma:
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(4): 208:1-208:25 (2022)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/pervasive/GaoJSMMWKGRWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pervasive/GaoJSMMWKGRWS22
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): 37-47 (2022)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/YuanMHZMSL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/YuanMHZMSL22
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): 29:1-29:27 (2022)
2021
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MaS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MaS021
Meiyi Ma, John A. Stankovic, Lu Feng:
Toward Formal Methods for Smart Cities. Computer 54(9): 39-48 (2021)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/PreumMMYSWAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/PreumMMYSWAS21
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): 130:1-130:37 (2021)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/imwut/ChenCMPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imwut/ChenCMPPS21
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): 45:1-45:25 (2021)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/MaBLSF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/MaBLSF21
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): 11793-11806 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/MaSB021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/MaSB021
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): 101:1-101:25 (2021)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/MaPATHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/MaPATHS20
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): 14:1-14:28 (2020)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/percom/PreumMMWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/percom/PreumMMWS17
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: 226-247 (2017)
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/FengMY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/FengMY16
Xiang Feng, Meiyi Ma, Huiqun Yu:
Crystal Energy Optimization Algorithm. Comput. Intell. 32(2): 284-322 (2016)
2015
[j1]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/ahswn/FengMYW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ahswn/FengMYW15
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): 257-287 (2015)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2026
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WangBCM26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WangBCM26
Hanchen David Wang, Siwoo Bae, Zirong Chen, Meiyi Ma:
Learning with Preserving for Continual Multitask Learning. AAAI 2026: 26178-26186
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/CohnGRWMTJEDPSWMB26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/CohnGRWMTJEDPSWMB26
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:
Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents. AIED (1) 2026: 1-16
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/AnWBCDJSMM26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/AnWBCDJSMM26
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma:
LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning. ICCPS 2026: 88-99
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/NguyenAJML26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/NguyenAJML26
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach:
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning. ICCPS 2026: 118-129
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/NathLHRCTMMD26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/NathLHRCTMMD26
Vakul Nath, Fangqi Liu, Guocheng He, David Rogers, Ajay Dev Chhokra, Jose Paolo Talusan, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey:
SchoolRide: A Platform for School Bus Disruption Management and Operational Resilience. ICCPS 2026: 230-235
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/AnWBCDJSMM26a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/AnWBCDJSMM26a
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma:
Demo Abstract: LogiEx: An Interactive Logic-Guided LLM Framework for Explainable Transit Planning. ICCPS 2026: 265-267
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/saiv/SasakiWWTMJ26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saiv/SasakiWWTMJ26
Samuel Sasaki, Ben Wooding, Hanchen David Wang, Anne M. Tumlin, Meiyi Ma, Taylor T. Johnson:
n2v: Neural Network Verification in Python (Competition Contribution). SAIV 2026: 394-400
2025
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DongMLED025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DongMLED025
Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng:
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. AAAI 2025: 26203-26210
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenCMWMMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenCMWMMM25
Zirong Chen, Elizabeth Chason, Noah Mladenovski, Erin Wilson, Kristin Mullen, Stephen Martini, Meiyi Ma:
Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation. AAAI 2025: 27896-27904
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/chase/QianCCQZBPCM0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chase/QianCCQZBPCM0S25
Chen Qian, Chuntian Chi, John Clapham, Jiarui Qi, Zherui Zhang, Gina Mari Blackwell, Ingrid Pretzer-Aboff, Leslie Cloud, Meiyi Ma, Gang Zhou, Huajie Shao:
Trigger-Finder: A Real-Time Freezing-of-Gait Trigger Detection System Using an Instruction-Tuned Multimodal Large Language Model. CHASE 2025: 1-12
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/BaoLMJ025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/BaoLMJ025
Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson, Hua Wei:
Uncertainty Quantification for Physics-Informed Traffic Graph Networks. ICCPS 2025: 13:1-13:10
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/WangBSTM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/WangBSTM25
Hanchen David Wang, Siwoo Bae, Xutong Sun, Yashvitha Thatigotla, Meiyi Ma:
EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy. ICCPS 2025: 17:1-17:11
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icwsm/AlsoubaiPSMCW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwsm/AlsoubaiPSMCW25
Ashwaq Alsoubai, Jinkyung Katie Park, Gianluca Stringhini, Meiyi Ma, Munmun De Choudhury, Pamela J. Wisniewski:
Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety. ICWSM 2025: 37-51
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ifaamas/AnWBCDJSMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifaamas/AnWBCDJSMM25
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma:
Combining LLMs with a Logic-Based Framework to Explain MCTS. AAMAS 2025: 2405-2407
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ChenARMMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChenARMMM25
Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma:
LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration. IJCAI 2025: 9582-9590
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/WangYAHZMMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/WangYAHZMMM25
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. IROS 2025: 6048-6054
[c30]
- view
  - electronic edition @ nips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/HashemiSOMJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/HashemiSOMJ25
Navid Hashemi, Samuel Sasaki, Ipek Oguz, Meiyi Ma, Taylor T. Johnson:
Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks. NeurIPS 2025
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AnMOJM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AnMOJM25
Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma:
ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. RV 2025: 477-496
2024
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AnJM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AnJM24
Ziyan An, Taylor T. Johnson, Meiyi Ma:
Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI 2024: 10882-10890
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenSLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenSLM24
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma:
Auto311: A Confidence-Guided Automated System for Non-emergency Calls. AAAI 2024: 21967-21975
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/chase/WangKCSWM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chase/WangKCSWM24
Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela J. Wisniewski, Meiyi Ma:
MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. CHASE 2024: 73-84
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/AnBDMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AnBDMM24
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma:
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. ECAI 2024: 4068-4075
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/WangYSYABNBMWS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/WangYSYABNBMWS24
Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle:
Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode. ITSC 2024: 3823-3828
2023
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/AnM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/AnM23
Ziyan An, Meiyi Ma:
Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS 2023: 274-275
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iotdi/ZhaoAGMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotdi/ZhaoAGMM23
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma:
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI 2023: 105-116
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/QianZLMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/QianZLMH23
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: 1932-1942
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AnWJSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AnWJSM23
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: 376-388
2022
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/smartcomp/ChenLZPSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartcomp/ChenLZPSM22
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: 32-39
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/smartcomp/ChenLZPSM22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartcomp/ChenLZPSM22a
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma:
An Intelligent Assistant for Converting City Requirements to Formal Specification. SMARTCOMP 2022: 174-176
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cogmi/StankovicMPA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogmi/StankovicMPA21
John A. Stankovic, Meiyi Ma, Sarah Masud Preum, Homa Alemzadeh:
Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective. CogMI 2021: 232-241
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/YuanMHZMS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/YuanMHZMS021
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: 98-109
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/DongM021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/DongM021
Shuyang Dong, Meiyi Ma, Lu Feng:
A smart city simulation platform with uncertainty. ICCPS 2021: 229-230
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MaBLS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MaBLS020
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: 51-62
[c13]
- view
  - electronic edition @ neurips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/MaG0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/MaG0S20
Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic:
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. NeurIPS 2020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/GaoMGRWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/GaoMGRWS20
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: 587-588
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/ChenCMPPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/ChenCMPPS20
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: 603-604
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/MaBS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/MaBS020
Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng:
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys 2020: 711-712
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MaSF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MaSF18
Meiyi Ma, John A. Stankovic, Lu Feng:
Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS 2018: 55-64
2017
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iotdi/MaPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotdi/MaPS17
Meiyi Ma, Sarah Masud Preum, John A. Stankovic:
CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. IoTDI 2017: 259-270
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iotdi/MaPS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotdi/MaPS17a
Meiyi Ma, Sarah Masud Preum, John A. Stankovic:
Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract. IoTDI 2017: 275-276
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ipsn/PreumMMWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipsn/PreumMMWS17
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: 267-268
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mass/MaABHSLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mass/MaABHSLS17
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: 10-18
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/PreumMMWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/PreumMMWS17
Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic:
Preclude: Conflict detection in textual health advice. PerCom 2017: 286-296
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/MaSF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/MaSF17
Meiyi Ma, John A. Stankovic, Lu Feng:
Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys 2017: 44-50
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/smartcomp/MaPTARS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartcomp/MaPTARS16
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: 1-10
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/vrcai/HeOMZHX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vrcai/HeOMZHX11
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: 455-458

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2026
[i37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2602-01415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2602-01415
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:
Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents. CoRR abs/2602.01415 (2026)
[i36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2602-13241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2602-13241
Zirong Chen, Meiyi Ma:
Real-World Design and Deployment of an Embedded GenAI-powered 9-1-1 Calltaking Training System: Experiences and Lessons Learned. CoRR abs/2602.13241 (2026)
[i35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2602-13280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2602-13280
Hanchen David Wang, Clayton Cohn, Zifan Xu, Siyuan Guo, Gautam Biswas, Meiyi Ma:
BEAGLE: Behavior-Enforced Agent for Grounded Learner Emulation. CoRR abs/2602.13280 (2026)
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2603-05361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2603-05361
Zirong Chen, Hongchao Zhang, Meiyi Ma:
PACE: A Personalized Adaptive Curriculum Engine for 9-1-1 Call-taker Training. CoRR abs/2603.05361 (2026)
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2603-05625
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2603-05625
Soyon Choi, Scott Alfeld, Meiyi Ma:
Identifying Adversary Characteristics from an Observed Attack. CoRR abs/2603.05625 (2026)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2603-13509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2603-13509
Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha:
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems. CoRR abs/2603.13509 (2026)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2604-14209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2604-14209
Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma:
Towards Verified and Targeted Explanations through Formal Methods. CoRR abs/2604.14209 (2026)
[i30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2604-14360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2604-14360
Saurabh Bagchi, Hyunseung Kim, Tarek F. Abdelzaher, Homa Alemzadeh, Somali Chaterji, Glen Chou, Yuying Duan, Fanxin Kong, Michael Lemmon, Yin Li, Mengyu Liu, Wenhao Luo, Meiyi Ma, Sibin Mohan, Ayan Mukhopadhyay, Melkior Ornik, Dimitra Panagou, Kristin Yvonne Rozier, Ivan Ruchkin, Huajie Shao, Sze Zheng Yong, Majid Zamani, Xugui Zhou:
Digital Guardians: The Past and The Future of Cyber-Physical Resilience. CoRR abs/2604.14360 (2026)
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2605-20233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2605-20233
Hanchen David Wang, Yilin Liu, Madison J. Lee, Surya Rayala, Gautam Biswas, Daniel T. Levin, Meiyi Ma:
AI-Assisted Competency Assessment from Egocentric Video in Simulation-Based Nursing Education. CoRR abs/2605.20233 (2026)
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2605-30539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2605-30539
Clayton Cohn, Surya Rayala, Siyuan Guo, Hanchen David Wang, Naveeduddin Mohammed, Umesh Timalsina, Shruti Jain, Ryan Li, Angela Eeds, Menton M. Deweese, Pamela Osborn Popp, Rebekah Stanton, Shakeera Walker, Ashwin T. S., Meiyi Ma, Gautam Biswas:
A Theory-Guided LLM Pedagogical Agent for STEM+C Scaffolding Without Over-Reliance. CoRR abs/2605.30539 (2026)
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2606-00304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2606-00304
Yilin Liu, Hongchao Zhang, Taylor T. Johnson, Ahmad F. Taha, Meiyi Ma:
Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection. CoRR abs/2606.00304 (2026)
2025
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-21330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-21330
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:
Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities. CoRR abs/2503.21330 (2025)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-00610
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-00610
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma:
Combining LLMs with Logic-Based Framework to Explain MCTS. CoRR abs/2505.00610 (2025)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-03985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-03985
Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma:
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration. CoRR abs/2505.03985 (2025)
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-11838
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-11838
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson:
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network. CoRR abs/2509.11838 (2025)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-11676
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-11676
Hanchen David Wang, Siwoo Bae, Zirong Chen, Meiyi Ma:
Learning with Preserving for Continual Multitask Learning. CoRR abs/2511.11676 (2025)
2024
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-07448
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-07448
Ziyan An, Taylor T. Johnson, Meiyi Ma:
Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR abs/2401.07448 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-10820
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-10820
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma:
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. CoRR abs/2407.10820 (2024)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-11837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-11837
Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela J. Wisniewski, Meiyi Ma:
MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy. CoRR abs/2408.11837 (2024)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-14491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-14491
Clayton Cohn, Eduardo Davalos, Caleb Vatral, Joyce Horn Fonteles, Hanchen David Wang, Meiyi Ma, Gautam Biswas:
Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review. CoRR abs/2408.14491 (2024)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-03231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-03231
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach:
Formal Logic-guided Robust Federated Learning against Poisoning Attacks. CoRR abs/2411.03231 (2024)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-13365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-13365
Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng:
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. CoRR abs/2412.13365 (2024)
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-16844
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-16844
Zirong Chen, Elizabeth Chason, Noah Mladenovski, Erin Wilson, Kristin Mullen, Stephen Martini, Meiyi Ma:
Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation. CoRR abs/2412.16844 (2024)
2023
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-09665
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-09665
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 abs/2302.09665 (2023)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-11137
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-11137
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma:
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. CoRR abs/2302.11137 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06808
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06808
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 abs/2306.06808 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-07890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-07890
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson:
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. CoRR abs/2308.07890 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-14185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-14185
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma:
Auto311: A Confidence-guided Automated System for Non-emergency Call. CoRR abs/2312.14185 (2023)
2022
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-11268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-11268
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 abs/2202.11268 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-03132
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-03132
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 abs/2206.03132 (2022)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-07152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-07152
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 abs/2206.07152 (2022)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-03149
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-03149
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 abs/2211.03149 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-08245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-08245
Hanchen David Wang, Meiyi Ma:
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. CoRR abs/2211.08245 (2022)
2021
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-04904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-04904
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng:
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR abs/2104.04904 (2021)
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-05831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-05831
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 abs/2007.05831 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-00384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-00384
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng:
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR abs/2011.00384 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-02366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-02366
Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic:
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR abs/1908.02366 (2019)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

last updated on 2026-07-30 23:13 CEST by the dblp team

all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

since 2018, dblp has been operated, funded, and maintained by:

Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.