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.
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 -.
PhD thesis, 2017

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.
CoRR, 2017

2016
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow.
ACM Trans. Design Autom. Electr. Syst., 2016

Proving Linearizability via Branching Bisimulation.
CoRR, 2016

Performance Evaluation of Concurrent Data Structures.
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.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Exponentially timed SADF: Compositional semantics, reductions, and analysis.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Model-based energy optimization of automotive control systems.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Model checking of Scenario-Aware Dataflow with CADP.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012


  Loading...