![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Meiyi Ma
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Ziyan An, Taylor T. Johnson, Meiyi Ma:
Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI 2024: 10882-10890 - [c25]Zirong Chen
, Xutong Sun, Yuanhe Li, Meiyi Ma:
Auto311: A Confidence-Guided Automated System for Non-emergency Calls. AAAI 2024: 21967-21975 - [c24]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: 73-84 - [i16]Ziyan An, Taylor T. Johnson, Meiyi Ma:
Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR abs/2401.07448 (2024) - [i15]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) - 2023
- [j14]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) - [c23]Ziyan An
, Meiyi Ma
:
Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS 2023: 274-275 - [c22]Yiqi Zhao
, Ziyan An
, Xuqing Gao
, Ayan Mukhopadhyay
, Meiyi Ma
:
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI 2023: 105-116 - [c21]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]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 - [i14]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]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]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]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]Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma:
Auto311: A Confidence-guided Automated System for Non-emergency Call. CoRR abs/2312.14185 (2023) - 2022
- [j13]Meiyi Ma:
Formal methods enhance deep learning for smart cities: challenges and future directions. XRDS 28(3): 42-46 (2022) - [j12]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]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]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) - [c19]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]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 - [i9]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]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]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]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]Hanchen David Wang, Meiyi Ma:
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy. CoRR abs/2211.08245 (2022) - 2021
- [j9]Meiyi Ma
, John A. Stankovic
, Lu Feng
:
Toward Formal Methods for Smart Cities. Computer 54(9): 39-48 (2021) - [j8]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]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]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]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) - [c17]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]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]Shuyang Dong, Meiyi Ma, Lu Feng:
A smart city simulation platform with uncertainty. ICCPS 2021: 229-230 - [i4]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
- [j4]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) - [c14]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]Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic:
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. NeurIPS 2020 - [c12]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]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]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 - [i3]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]Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng:
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR abs/2011.00384 (2020)
2010 – 2019
- 2019
- [i1]Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic:
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR abs/1908.02366 (2019) - 2018
- [c9]Meiyi Ma, John A. Stankovic, Lu Feng:
Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS 2018: 55-64 - 2017
- [j3]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) - [c8]Meiyi Ma, Sarah Masud Preum, John A. Stankovic:
CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. IoTDI 2017: 259-270 - [c7]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]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]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]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]Meiyi Ma, John A. Stankovic, Lu Feng:
Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys 2017: 44-50 - 2016
- [j2]Xiang Feng, Meiyi Ma, Huiqun Yu:
Crystal Energy Optimization Algorithm. Comput. Intell. 32(2): 284-322 (2016) - [c2]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 - 2015
- [j1]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) - 2011
- [c1]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
Coauthor Index
aka: Sarah Preum
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-17 23:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint