Miaomiao Zhang

According to our database, Miaomiao Zhang authored at least 33 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Runtime Verification of Neural-Symbolic Systems.

Shaojun Deng, Wanwei Liu, Miaomiao Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Learning Deterministic Multi-Clock Timed Automata.

Yu Teng, Miaomiao Zhang, Jie An

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Towards a model of human-cyber-physical automata and a synthesis framework for control policies.

Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu

J. Syst. Archit., November, 2023

Automatic modelling and verification of Autosar architectures.

Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du

J. Syst. Softw., July, 2023

Learning Assumptions for Compositional Verification of Timed Automata.

Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Human-Cyber-Physical Automata and Their Synthesis.

Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Learning Deterministic One-Clock Timed Automata via Mutation Testing.

Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Learning Nondeterministic Real-Time Automata.

Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

ACM Trans. Embed. Comput. Syst., 2021

Inferring Switched Nonlinear Dynamical Systems.

Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Formal Aspects Comput., 2021

Learning real-time automata.

Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Sci. China Inf. Sci., 2021

2020

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.

Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

From model to implementation: a network algorithm programming language.

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan

Sci. China Inf. Sci., 2020

Learning One-Clock Timed Automata.

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Reluplex made more practical: Leaky ReLU.

Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu

Proceedings of the IEEE Symposium on Computers and Communications, 2020

PAC Learning of Deterministic One-Clock Timed Automata.

Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer.

Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li

IEEE Access, 2019

High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.

Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.

Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A proof-based method of hybrid systems development using differential invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Frontiers Comput. Sci., 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.

Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Dynamic matchings in left vertex weighted convex bipartite graphs.

Quan Zu, Miaomiao Zhang, Bin Yu

J. Comb. Optim., 2016

2015

Fast Dynamic Weight Matchings in Convex Bipartite Graphs.

Quan Zu, Miaomiao Zhang, Bin Yu

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Dynamic Matchings in Left Weighted Convex Bipartite Graphs.

Quan Zu, Miaomiao Zhang, Bin Yu

Proceedings of the Frontiers in Algorithmics - 8th International Workshop, 2014

2013

Bounded model-checking of discrete duration calculus.

Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Formal Specification of Hybrid MARTE Statecharts.

Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2010

Modeling and Verification of an Automatic Train Protection System.

Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Design and Verification of Fault-Tolerant Components.

Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn

Proceedings of the Methods, 2009

Model Checking Linear Duration Invariants of Networks of Automata.

Miaomiao Zhang, Zhiming Liu, Naijun Zhan

Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Services Compatibility.

Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.

Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Verification of Linear Duration Invariants by Model Checking CTL Properties.

Miaomiao Zhang, Dang Van Hung, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2008

Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.

Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008