Publications

  • [J] Guoyuan Li, Bikram Kawan, Hao Wang, and Houxiang Zhang. Neural-Network-Based Modeling and Analysis for Time Series Prediction of Ship Motion. Ship Technology Research. Taylor & Francis. In press.
  • [J] Hong-Ning Dai, Raymond Chi-Wing Wong, Hao Wang. On Capacity and Delay of Multi-channel Wireless Networks with Infrastructure Support. IEEE Transactions on Vehicular Technology. IEEE. Feb. 2017, 66(2):1589-1604. (pdf) (doi)
  • Halvor Schøyen, Karina Hjelmervik, Hao Wang, Ottar L. Osen, Measuring Container Port Complementarity and Substitutability with Automatic Identification System (AIS) Data – Studying the Inter-port Relationships in the Oslo Fjord Multi-port Gateway Region. 12th International Conference on Marine Navigation and Safety of Sea Transportation (TransNav 2017). Gdynia, Poland. June 2017. Accepted.
  • The-Hien Dang-Ha, Roland Olsson, and Hao Wang. Clustering Methods for Electricity Consumers: An Empirical Study in Hvaler – Norway. The Norwegian Informatics Conference 2016. Bergen, Nov. 2016. (pdf).
  • Xu Zhuge, Hao Wang, and Girts Strazdins. Evaluating the Data Visualization for Demanding Marine Operations. Techno-Ocean Conference 2016. Kobe, Japan, IEEE Press, Oct. 2016.
  • [J] Junhao Zhou, Hong Xiao, Hao Wang, and Hong-Ning Dai. Parallelizing Simulated Annealing Algorithm in Many Integrated Core Architecture. Lecture Notes in Comput. Sci., Springer-Verlag, July. 2016, 9787: 239-250. (ICCSA 2016) (doi)
  • Hao Wang, Xu Zhuge, Girts Strazdins, Zheng Wei, Guoyuan Li, and Houxiang Zhang. Data Integration and Visualisation for Demanding Marine Operations. Oceans 2016: MTS/IEEE Oceans Conference, Shanghai, China, IEEE Press. April 2016. In press.
  • Hao Wang, Sindre Fossen, Fang Han, Ibrahim A. Hameed, and Guoyuan Li. Towards Data-driven Identification and Analysis of Propeller Ventilation. Oceans 2016: MTS/IEEE Oceans Conference, Shanghai, China, IEEE Press. April 2016. In press.
  • Guoyuan Li, Bikram Kawan, Hao Wang, Arne Styve, Ottar L. Osen, and Houxiang Zhang, Analysis and Modelling of Sensor Data for Ship Motion Prediction. Oceans 2016: MTS/IEEE Oceans Conference, Shanghai, China, IEEE Press. April 2016. In press.
  • Jiani Lan, Hao Wang, Xinyuan Lou. Towards a Random Walk Controller for Block Management and Wear Leveling in Flash Memory. 2015 International Conference on Big Data Intelligence and Computing (DataCom 2015). IEEE CS Press. Dec. 2015, Pages 590-597.
  • The Hien Dang Ha, Roland Olsson, Hao Wang. The Role of Big Data on Smart Grid Transition. 2015 IEEE International Conference on Smart City (IEEE Smart City 2015). IEEE CS Press. Dec. 2015, Pages 33-39.
  • Hao Wang, Ottar Osen, Guoyuan Li, Wei Li, Hong-Ning Dai, and Wei Zeng. Big Data and Industrial Internet of Things for the Maritime Industry in Northwestern Norway. 2015 IEEE Region 10 Conference (TENCON 2015), Macau, IEEE Press, Nov. 2015, Pages 868-872.
  • Per Engelseth and Hao Wang. Big Data and Risk Management in Long Linked Supply Chains. The 20th CBIM Academic Workshop, June 2015.
  • Adrian Rutle, Hao Wang, Robin Bye, Ottar Osen. Scalable and User-friendly Simulation. The 29th European Conference on Modelling and Simulation (ECMS 2015), Albena, Bulgaria, May 2015.
  • [J] Chao Chen, Yihai Chen, Huaikou Miao, and Hao Wang. Usage-pattern Based Statistical Web Testing and Reliability Measurement. Proc. Comput. Sci., Elsevier, Oct. 2013, 21:140-147. (doi)

On Security and Safety-Critical development and certification

  • Xuran Li, Hong-Ning Dai, and Hao Wang. Friendly-Jamming: An Anti-Eavesdropping Scheme in Wireless Nets of Things. IEEE Global Communications Conference (GLOBECOM 2016), Washington DC, USA. IEEE Press, Dec. 2016. (doi).
  • [J] Xuran Li, Hong-Ning Dai, Hao Wang, and Hong Xiao. On Performance Analysis of Protective Jamming Schemes in Wireless Sensor Networks. Sensors, 2016, 16(12), 1987. MDPI. (doi) (pdf).
  • Hong-Ning Dai, Hao Wang, Hong Xiao, Zibin Zheng, Qiu Wang, Xuran Li and Xu Zhuge, On Analyzing Eavesdropping Behaviours in Underwater Acoustic Sensor Networks, 11th ACM International Conference on Underwater Networks and Systems (WUWNet 2016), Shanghai, China, Oct. 2016. (doi).
  • Hong-Ning Dai, Hao Wang, Hong Xiao, Xuran Li, and Qiu Wang. On Eavesdropping Attacks in Wireless Networks. 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2016), Paris, France. IEEE CS Press. Aug. 2016. Invited Paper.
  • [J] Qiu Wang, Hong-Ning Dai, Xuran Li, Hao Wang, Hong Xiao. On Modeling Eavesdropping Attacks in Underwater Acoustic Sensor Networks. Sensors, MDPI. 2016, 16(5), 721. (doi) (pdf)
  • [J] Xuran Li, Hao Wang, Hong-Ning Dai and Yuanyuan Wang. An Analytical Study on Eavesdropping Attacks in Wireless Nets of Things. Mobile Information Systems. Vol 2016, Article ID 4313475, 10 pages, 2016.
  • Girts Strazdins and Hao Wang. Open Security and Privacy Challenges for the Internet of Things. The 10th International Conference on Information, Communications and Signal Processing (ICICS 2015), Singapore, IEEE Press, Dec. 2015, Pages 415-418.
  • Qiu Wang, Hong-Ning Dai, Xuran Li, and Hao Wang. Eavesdropping Attacks in Underwater Acoustic Networks. The 10th International Conference on Information, Communications and Signal Processing (ICICS 2015), Singapore, IEEE Press, Dec. 2015, Pages 403-407.
  • Xuran Li, Hong-Ning Dai, Yuanyuan Wang, Hao Wang. Eavesdropping Activities in Wireless Networks: Impact of Channel Randomness. 2015 IEEE Region 10 Conference (TENCON 2015), Macau, IEEE Press, Nov. 2015, Pages 944-947.
  • [J] Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford and Tom Maibaum. Can Product Specific Assurance Case Templates be Used as Medical Device Standards? IEEE Design & Test. IEEE, Oct. 2015, 32(5):1-11. (doi)
  • [J] Neeraj Singh, Hao Wang, Mark Lawford, Tom Maibaum, and Alan Wassyng. Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. Lecture Notes in Comput. Sci., Springer-Verlag, August 2015, 9185:387-398. (doi)
  • [J] Hao Wang, Yihai Chen, Ridha Khedri, and Alan Wassyng. Envisioning a Requirement Specification Template for Medical Device Software. Lecture Notes in Comput. Sci., Springer-Verlag, Dec. 2014, 8892:209-223. (doi)
  • [J] Neeraj Singh, Hao Wang, Mark Lawford, Tom Maibaum, and Alan Wassyng. Formalizing the Glucose Homeostasis Mechanism. Lecture Notes in Comput. Sci., Springer-Verlag, June 2014, 8529:460-471. (doi)
  • [J] Yihai Chen, Mark Lawford, Hao Wang and Alan Wassyng (alphabetical ordered). Insulin Pump Software Certification. Lecture Notes in Comput. Sci., Springer-Verlag, 2014, 8315:87-106. (doi)
  • [J] Adrian Rutle, Hao Wang and Wendy MacCaull. A Formal Diagrammatic Approach to Compensable Workflow Modelling. Lecture Notes in Comput. Sci., Springer-Verlag, 2013, 7789:194-212. (doi)
  • [J] Fazle Rabbi, Hao Wang, Wendy MacCaull and Adrian Rutle. A Model Slicing Method for Workflow Verification. Electr. Notes Theor. Comput. Sci., Elsevier. May 2013, 295:79-93. (doi)
  • Hao Wang, Adrian Rutle and Wendy MacCaull. A Formal Diagrammatic Approach to Timed Workflow Modelling. The 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012), Beijing, China, IEEE CS, July 2012, Pages 167-174.
  • [J] Fazle Rabbi, Hao Wang and Wendy MacCaull. Compensable Workflow Net. Lecture Notes in Comput. Sci., Springer-Verlag, Nov. 2010, 6447:122-137. (doi)
  • [J] Ahmed Mashiyat, Fazle Rabbi, Hao Wang and Wendy MacCaull. An Automated Translator for Model Checking Time Constrained Workflow Systems. Lecture Notes in Comput. Sci., Springer-Verlag, Sept. 2010, 6371:99-114. (doi)
  • [J] Hao Wang and Wendy MacCaull. An Efficient Explicit-time Description Method for Timed Model Checking. Electr. Proc. in Theor. Comput. Sci., 2010, 14:77-91. (doi)
  • [J] Hao Wang and Wendy MacCaull. Verifying Real-Time Systems using Explicit-time Description Methods. Electr. Proc. in Theor. Comput. Sci., 2010, Pages 13:67-78. (doi)
  • [J] Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, and Jun Zhang. A New Dependable Exchange Protocol. Computer Communications, Elsevier. 2006, 29(15):2770-2780. (doi)

([J]: Journal paper)