Publications

Publications for Hao Wu

2018

[bibtex]
Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification. Proc. of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE, 2018.
2017
Download
[bibtex]
Hao Wu. Industrial Applications of Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2017.
Show all