I am a lecturer in College of Information Technology at Shanghai Ocean University. I obtained a PhD degree from Shanghai Jiao Tong University in 2020, supervised by Prof. Yuxi Fu.
Reseach Interests
- Formal Verification
- Process Algebra
Contact
- Email: wbzhang (at) shou.edu.cn
- Postal Address:
College of Information Technology
Shanghai Ocean University
No. 999, Hucheng Ring Road, Shanghai
Papers
-
The Parametric Complexity of Bisimulation Equivalence of Normed Pushdown Automata
Wenbo Zhang.
Frontiers of Computer Science, accepted.
-
Wenbo Zhang, Xian Xu, Qiang Yin and Huan Long.
Formal Aspects of Computing, accepted.
-
Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete
Wenbo Zhang, Qiang Yin, Huan Long and Xian Xu.
In Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP'20), 141:1-14, 2020.
- Uniform Random Process Model Revisited
Wenbo Zhang, Huan Long and Xian Xu.
In Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS'19), 388-404, 2019.
-
State-of-the-Art Survey on Verification of Vector Addition Systems
Wenbo Zhang and Huan Long.
Journal of Software (in Chinese), Vol. 29(6), 1566-1581, 2018.