Miaomiao Zhang

45 papers A 2B 4C 5Misc 3Journal 17Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. VMCAI Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang
2025	J	`jnl`	Active learning of deterministic timed automata via timed classification tree. Sci. China Inf. Sci. Yu Teng, Hanyue Chen, Junri Mi, Miaomiao Zhang, Jie An, Naijun Zhan
2025	A	`conf`	Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning. RTSS Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An
2025	J	`jnl`	Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning. CoRR Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An
2025	J	`jnl`	Efficient Decomposition Identification of Deterministic Finite Automata from Examples. CoRR Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang
2025	A	`conf`	On Synthesis of Timed Regular Expressions. RTSS Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang
2025	J	`jnl`	On Synthesis of Timed Regular Expressions. CoRR Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang
2024	—	`conf`	Learning Deterministic Multi-Clock Timed Automata. HSCC Yu Teng, Miaomiao Zhang, Jie An
2024	J	`jnl`	Learning Deterministic Multi-Clock Timed Automata. CoRR Yu Teng, Miaomiao Zhang, Jie An
2024	Misc	`conf`	Runtime Verification of Neural-Symbolic Systems. SETTA Shaojun Deng, Wanwei Liu, Miaomiao Zhang
2023	J	`jnl`	Automatic modelling and verification of Autosar architectures. J. Syst. Softw. Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du
2023	—	`conf`	Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi
2023	J	`jnl`	Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu
2022	C	`conf`	Human-Cyber-Physical Automata and Their Synthesis. ICTAC Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu
2022	B	`conf`	Learning Deterministic One-Clock Timed Automata via Mutation Testing. ATVA Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan
2021	J	`jnl`	Inferring Switched Nonlinear Dynamical Systems. Formal Aspects Comput. Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2021	J	`jnl`	Learning Nondeterministic Real-Time Automata. ACM Trans. Embed. Comput. Syst. Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2021	J	`jnl`	Learning real-time automata. Sci. China Inf. Sci. Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020	J	`jnl`	From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
2020	—	`conf`	Learning One-Clock Timed Automata. TACAS (1) Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020	C	`conf`	PAC Learning of Deterministic One-Clock Timed Automata. ICFEM Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan
2020	J	`jnl`	PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2020	J	`jnl`	PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2020	C	`conf`	Reluplex made more practical: Leaky ReLU. ISCC Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu
2019	B	`conf`	High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. ICTAI Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu
2019	J	`jnl`	Learning One-Clock Timed Automata. CoRR Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2019	C	`conf`	RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang
2019	J	`jnl`	Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li
2018	J	`jnl`	A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2018	—	`conf`	Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
2017	—	`conf`	An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2016	J	`jnl`	Dynamic matchings in left vertex weighted convex bipartite graphs. J. Comb. Optim. Quan Zu, Miaomiao Zhang, Bin Yu
2015	—	`conf`	Fast Dynamic Weight Matchings in Convex Bipartite Graphs. MFCS (2) Quan Zu, Miaomiao Zhang, Bin Yu
2014	Misc	`conf`	Dynamic Matchings in Left Weighted Convex Bipartite Graphs. FAW Quan Zu, Miaomiao Zhang, Bin Yu
2013	—	`conf`	Bounded model-checking of discrete duration calculus. HSCC Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan
2012	Misc	`conf`	Formal Specification of Hybrid MARTE Statecharts. TASE Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
2010	—	`conf`	Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding
2009	—	`ch.`	Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn
2009	—	`conf`	Formal Analysis of Services Compatibility. COMPSAC (2) Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu
2009	—	`conf`	Model Checking Linear Duration Invariants of Networks of Automata. FSEN Miaomiao Zhang, Zhiming Liu, Naijun Zhan
2008	—	`conf`	BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
2008	—	`conf`	Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du
2008	C	`conf`	Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC Miaomiao Zhang, Dang Van Hung, Zhiming Liu
2007	B	`conf`	On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA Dang Van Hung, Miaomiao Zhang
2006	—	`conf`	Formal Analysis of Streaming Downloading Protocol for System Upgrading. QAPL Miaomiao Zhang, Dang Van Hung