


default search action
Miaomiao Zhang 0003
Person information
- affiliation: Tongji University, School of Software Engineering, Shanghai, China
- affiliation (2001-2004): Radbound University, Faculty of Computer Science, Nijmegen, Netherlands
- affiliation (PhD 2001): Shanghai Jiaotong University, China
Other persons with the same name
- Miaomiao Zhang (aka: Miao-Miao Zhang) — disambiguation page
- Miaomiao Zhang 0001
(aka: MiaoMiao Zhang 0001) — Shanghai Jiao Tong University, Department of Automation, China
- Miaomiao Zhang 0002
— University of Virginia, UVA, Computer Science and Electrical Computer Engineering, Charlottesville, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [i4]Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang:
On Synthesis of Timed Regular Expressions. CoRR abs/2509.06262 (2025) - 2024
- [c24]Yu Teng
, Miaomiao Zhang
, Jie An
:
Learning Deterministic Multi-Clock Timed Automata. HSCC 2024: 6:1-6:11 - [c23]Shaojun Deng, Wanwei Liu, Miaomiao Zhang:
Runtime Verification of Neural-Symbolic Systems. SETTA 2024: 293-309 - [i3]Yu Teng, Miaomiao Zhang, Jie An:
Learning Deterministic Multi-Clock Timed Automata. CoRR abs/2404.07823 (2024) - 2023
- [j10]Xiaochen Tang
, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu:
Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144: 102989 (2023) - [j9]Miaomiao Zhang, Yu Teng
, Hui Kong, John W. Baugh Jr.
, Yu Su, Junri Mi, Bowen Du
:
Automatic modelling and verification of Autosar architectures. J. Syst. Softw. 201: 111675 (2023) - [c22]Hanyue Chen
, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi:
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) 2023: 40-61 - 2022
- [c21]Xiaochen Tang
, Wei Shen
, Miaomiao Zhang, Jie An
, Bohua Zhan
, Naijun Zhan
:
Learning Deterministic One-Clock Timed Automata via Mutation Testing. ATVA 2022: 233-248 - [c20]Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. ICTAC 2022: 36-41 - 2021
- [j8]Jie An
, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning real-time automata. Sci. China Inf. Sci. 64(9) (2021) - [j7]Xiangyu Jin, Jie An
, Bohua Zhan
, Naijun Zhan, Miaomiao Zhang:
Inferring Switched Nonlinear Dynamical Systems. Formal Aspects Comput. 33(3): 385-406 (2021) - [j6]Jie An
, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning Nondeterministic Real-Time Automata. ACM Trans. Embed. Comput. Syst. 20(5s): 99:1-99:26 (2021) - 2020
- [j5]Jian Wang, Jie An
, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan:
From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. 63(7) (2020) - [j4]Bai Xue
, Miaomiao Zhang, Arvind Easwaran
, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3944-3955 (2020) - [c19]Wei Shen
, Jie An
, Bohua Zhan
, Miaomiao Zhang, Bai Xue
, Naijun Zhan
:
PAC Learning of Deterministic One-Clock Timed Automata. ICFEM 2020: 129-146 - [c18]Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu:
Reluplex made more practical: Leaky ReLU. ISCC 2020: 1-7 - [c17]Jie An
, Mingshuai Chen
, Bohua Zhan
, Naijun Zhan
, Miaomiao Zhang:
Learning One-Clock Timed Automata. TACAS (1) 2020: 444-462 - [i2]Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR abs/2007.10141 (2020)
2010 – 2019
- 2019
- [j3]Yilong Yang
, Quan Zu, Wei Ke
, Miaomiao Zhang, Xiaoshan Li:
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access 7: 26314-26323 (2019) - [c16]Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang:
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC 2019: 339-346 - [c15]Xiaoxue Hou, Jie An
, Miaomiao Zhang, Bowen Du, Jing Liu:
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. ICTAI 2019: 840-847 - [i1]Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. CoRR abs/1910.10680 (2019) - 2018
- [j2]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12(5): 1026-1028 (2018) - [c14]Jie An
, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi:
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC 2018: 81-90 - 2017
- [c13]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143 - 2016
- [j1]Quan Zu, Miaomiao Zhang, Bin Yu:
Dynamic matchings in left vertex weighted convex bipartite graphs. J. Comb. Optim. 32(1): 25-50 (2016) - 2015
- [c12]Quan Zu, Miaomiao Zhang, Bin Yu:
Fast Dynamic Weight Matchings in Convex Bipartite Graphs. MFCS (2) 2015: 601-612 - 2014
- [c11]Quan Zu, Miaomiao Zhang, Bin Yu:
Dynamic Matchings in Left Weighted Convex Bipartite Graphs. FAW 2014: 330-342 - 2013
- [c10]Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan:
Bounded model-checking of discrete duration calculus. HSCC 2013: 213-222 - 2012
- [c9]Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet
, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 - 2010
- [c8]Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding:
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops 2010: 226-231
2000 – 2009
- 2009
- [c7]Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu:
Formal Analysis of Services Compatibility. COMPSAC (2) 2009: 243-248 - [c6]Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 - [p1]Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84 - 2008
- [c5]Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du:
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE 2008: 445-448 - [c4]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c3]Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS 2008: 69-87 - 2007
- [c2]Dang Van Hung, Miaomiao Zhang:
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA 2007: 165-172 - 2006
- [c1]Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading. QAPL 2006: 205-224
Coauthor Index

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 2025-10-21 08:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint