Hao Wu

Photo of Hao Wu

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

2018
DOI	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification, 48th annual IEEE/IFIP international conference on dependable systems and networks : DSN 2018 : proceedings : 25-28 june 2018, luxembourg city, luxembourg / publisher: IEEE, 267-278, IEEE, 2018.
2017
DOI	Hao Wu. Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -, 1 Online-Ressource (xvi, 174 Seiten) : Illustrationen, Diagramme, 2017.
2016
DOI	Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. Performance Evaluation of Concurrent Data Structures, Dependable software engineering : theories, tools, and applications : second international symposium, SETTA 2016, beijing, china, november 9-11, 2016 : proceedings / martin fränzle, deepak kapur, naijun zhan (eds.), 38-49, Springer International Publishing, 2016.
DOI	Joost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, 15, ACM Press, 2016.
2014
DOI	Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF : Compositional Semantics, Reduction, and Analysis, 2014 proceedings of the international conference on embedded software (EMSOFT) : October 12-17, 2014, jaypee greens golf and spa resort, new delhi, india, Article No. 1, 10 S., ACM, 2014.
DOI	Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. 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 : 17th international GI/ITG conference, MMB DFT 2014, bamberg, germany, march 17 - 19, 2014 ; proceedings / kai fischbach; udo R. Krieger (eds.), 57-72, Springer, 2014.
2013
DOI	Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems, 2013 design, automation & test in europe conference & exhibition (DATE 2013) : Grenoble, france, 18 - 22 march 2013 / [sponsors: EDAA, european design and automation association ...], 761-766, IEEE, 2013.
2012
	Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp, 2012 design, automation & test in europe conference & exhibition (DATE 2012) : Dresden, germany, 12 - 16 march 2012 ; [proceedings] / [sponsored by: European design and automation association (EDAA) ...]. Ed.: K. Preas, 653-658, IEEE, 2012.