Hao Wu
- hao.wu@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
2018
- Conference paper
Branching Bisimulation and Concurrent Object Verification
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
2017
- PhD thesis
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Boudewijn Haverkort
PDF of Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -RWTH record for Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -BibTeX for Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
2016
- Journal article
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
ACM Transactions on Embedded Computing Systems
2014
- Conference paper
Performance Analysis of Computing Servers : a case study exploiting a new GSPN semantics
Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance
- Conference paper
Exponentially timed SADF : Compositional Semantics, Reduction, and Analysis
2014 proceedings of the International Conference on Embedded Software (EMSOFT)
2013
- Conference paper
Model-Based Energy Optimization of Automotive Control Systems
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)
2012
- Conference paper
Model checking of scenario-aware dataflow with cadp
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)