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.