We stand with Ukraine  

Hao Wu

Affiliations:
  • RWTH Aachen University, Germany


According to our database1, Hao Wu authored at least 10 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Branching Bisimulation and Concurrent Object Verification.
[BibTeX]
[DOI]
Xiaoxiao Yang
,
Joost-Pieter Katoen
,
Huimin Lin
,
Gaoang Liu
,
Hao Wu
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -.
[BibTeX]
[DOI]
Hao Wu
PhD thesis, 2017

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.
[BibTeX]
[DOI]
Xiaoxiao Yang
,
Joost-Pieter Katoen
,
Huimin Lin
,
Hao Wu
CoRR, 2017

2016
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow.
[BibTeX]
[DOI]
Joost-Pieter Katoen
,
Hao Wu
ACM Trans. Design Autom. Electr. Syst., 2016

Proving Linearizability via Branching Bisimulation.
[BibTeX]
[DOI]
Xiaoxiao Yang
,
Joost-Pieter Katoen
,
Huimin Lin
,
Hao Wu
CoRR, 2016

Performance Evaluation of Concurrent Data Structures.
[BibTeX]
[DOI]
Hao Wu
,
Xiaoxiao Yang
,
Joost-Pieter Katoen
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2014
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.
[BibTeX]
[DOI]
Joost-Pieter Katoen
,
Thomas Noll
,
Thomas Santen
,
Dirk Seifert
,
Hao Wu
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Exponentially timed SADF: Compositional semantics, reductions, and analysis.
[BibTeX]
[DOI]
Joost-Pieter Katoen
,
Hao Wu
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Model-based energy optimization of automotive control systems.
[BibTeX]
[DOI]
Joost-Pieter Katoen
,
Thomas Noll
,
Hao Wu
,
Thomas Santen
,
Dirk Seifert
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Model checking of Scenario-Aware Dataflow with CADP.
[BibTeX]
[DOI]
Bart D. Theelen
,
Joost-Pieter Katoen
,
Hao Wu
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012


  Loading...