Quan Zu

According to our database, Quan Zu authored at least 9 papers between 2008 and 2019.

Collaborative distances:

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

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

2018

Automated Prototype Generation from Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen

CoRR, 2018

MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture.

Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li

CoRR, 2018

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA).

Yilong Yang, Xiaoshan Li, Quan Zu

CoRR, 2018

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

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