Hao Wu

hao

Email
hao.wu at cs.rwth-aachen.de
Address
Room 4207
Ahornstra├če 55
D-52074 Aachen
Phone
+49 241 80 21202

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

  • Formal methods for qualitative and quantitative systems
  • Modelling and analysis of embedded systems
  • Concurrency and process algebra

Publications for Hao Wu

2018
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
DownloadHao Wu. Industrial Applications of Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2017.
Show all