Research

Research Projects

  • EDIS – Effective Decision Making via Intelligent Data Integration for Conceptual Ship Design, MAROFF, RCN, Jule. 2017~June. 2020
  • Research on Intelligent Manufacturing Self-organization Network Resilience, NSFC General program, Jan. 2017~Dec. 2020
  • Large Scale Wireless Ad Hoc Networks: Performance Analysis and Performance Improvement, STDFM, July 2014~July 2017
  • AIS and Maritime Transport, MarKom 2020, Jan.~Dec. 2016
  • GCE Blue Maritime Big Data, Innovasjon Norge, Jan.~Dec. 2015

Selected Referred Papers

Information Systems: Data Analytics and Web Services

  • Qiu Wang, Hong-Ning Dai, Chak Fong Cheang, and Hao Wang. Link Connectivity of Underwater Cognitive Acoustic Networks. Sensors, 2017, 17(12), 2839. MDPI. (pdf) (doi).
  • Wenqiang Cui and Hao Wang. A New Anomaly Detection System for School Electricity Consumption Data. Information MDPI. Dec. 2017, 8(4), 151. (pdf) (doi).
  • Qingyong Wang, Hong-Ning Dai, Hao Wang, and Di Wu (SYSU). Data-Driven QoE Analysis on Video Streaming in Mobile Networks. 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2017), Guangzhou, China, Dec. 2017. Accepted.
  • Di Wu (NTNU), Hadi Mohammed, Hao Wang and Razak Seidu. Data-Driven Quality Control for a Water Supply System. 5th International Conference on Enterprise Systems (ES 2017), Beijing, China, Sep. 2017 (Invited to be extended for journal publication).
  • Di Wu (HNU), Yu Zhang, Hao Wang, Mengxing Huang, and Rouru Chen. A Disaster Evaluation Method Based on Hydrological Characteristics Research of the Typhoon Area. Oceans 2017: MTS/IEEE Oceans Conference, Aberdeen, Scotland, IEEE Press, June 2017.
  • [J] Qingyong Wang, Hong-Ning Dai, and Hao Wang. A Smart MCDM Framework to Evaluate Impact of Air Pollution on City Sustainability: A Case Study from China. Sustainability, MDPI. May 2017, 9(6), 911. (pdf) (doi).
  • [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. Apr 2017, 64(1): 30-39. (pdf) (doi).
  • [J] Hong-Ning Dai, Raymond Chi-Wing Wong, and 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).
  • [J] Halvor Schøyen, Karina Bakkeløkken Hjelmervik, Hao Wang, Ottar 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. International Journal on Marine Navigation and Safety of Sea Transportation, TransNav, 2017,11(2): 265-270. (pdf) (doi).
  • Wenqiang Cui and Hao Wang. Anomaly Detection and Visualization of School Electricity Consumption Data. 2nd International Conference on Big Data Analysis (ICBDA 2017), Beijing, China, IEEE Press, March 2017. (Invited to be extended for journal publication).
  • 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, Pages pp. 471-477. (doi)
  • [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)
  • Hong-Ning Dai, Hao Wang and Hong Xiao, On Channel Allocation of Directional Wireless Networks Using Multiple Channels, 11th International Network Conference (INC 2016), Frankfurt, Germany, 2016. (open access) (pdf)
  • 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.
  • 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.
  • Guoyuan Li, Houxiang Zhang, Bikram Kawan, Hao Wang, Ottar L. Osen, and Arne Styve, Analysis and Modelling of Sensor Data for Ship Motion Prediction. Oceans 2016: MTS/IEEE Oceans Conference, Shanghai, China, IEEE Press. April 2016.
  • Jiani Lan, Hao Wang, and 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), Chengdu, China, IEEE CS Press. Dec. 2015, Pages 590-597. (doi)
  • The Hien Dang Ha, Roland Olsson, and Hao Wang. The Role of Big Data on Smart Grid Transition. 2015 IEEE International Conference on Smart City (IEEE Smart City 2015), Chengdu, China, IEEE CS Press. Dec. 2015, Pages 33-39. (doi)
  • 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. (doi)
  • Per Engelseth and Hao Wang. Big Data and Risk Management in Long Linked Supply Chains. The 20th CBIM Academic Workshop, June 2015.
  • [J] Chao Chen, Yihai Chen, Huaikou Miao, and Hao Wang, Usage-pattern Based Statistical Web Testing and Reliability Measurement. Procedia Computer Science, Elsevier, Oct. 2013, 21:140-147. (EUSPN 2013) (doi) (bibtex)
  • Manshan Lin, Jianshan Xie, Heqing Guo, Hao Wang. Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction. 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE 2005), Hong Kong. IEEE CS Press, Mar. 2005. Pages 9-14. (doi) (bibtex)

Software and its Engineering

  • [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)
  • 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] 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. (HCII 2015) (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. (PROFES 2014) (doi) (bibtex)
  • [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. (HCII 2014) (doi) (bibtex)
  • [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. (FHIES 2013) (doi) (pdf) (bibtex)
  • [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) (pdf) (bibtex)
  • [J] Fazle Rabbi, Hao Wang and Wendy MacCaull. Compensable Workflow Net. Lecture Notes in Comput. Sci., Springer-Verlag, Nov. 2010, 6447:122-137. (ICFEM 2010) (doi) (pdf) (bibtex)
  • Nazia Leyla, Ahmed Mashiyat, Hao Wang and Wendy MacCaull. Towards Workflow Verification. The 20th International Conference of the IBM Center for Advance Studies on Collaborative Research (CASCON 2010), Canada, ACM press, Nov. 2010, Pages 253-267. (doi) (bibtex)
  • [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. (FMICS 2010) (doi) (pdf) (bibtex)
  • Fazle Rabbi, Hao Wang and Wendy MacCaull. YAWL2DVE: An Automatic Translator for Workflow Verification. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement 2010 (SSIRI 2010), Singapore, IEEE CS Press, June 2010, Pages 53-59. (doi) (bibtex)
  • [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. (PDMC2009) (doi) (pdf) (bibtex)
  • [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. (QFM2009) (doi) (bibtex)

Applied Computing: Workflow Modelling

  • Per Engelseth, Hao Wang, Richard Glavee-Geo, Cato Gundersen. IT-Enabled Process Development: A Case Study of the Purchasing Challenges of a Petroleum Logistics Firm. The 23rd Norwegian conference for organizations using information technology (NOKOBIT 2015), Vol. 23, No. 1, Aalesund, Norway, Nov. 2015. (pdf).
  • [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. (FHIES 2012) (doi) (bibtex)
  • Adrian Rutle, Wendy MacCaull, Hao Wang and Yngve Lamo. A Metamodelling Approach to Workflow Modelling. The 4th Workshop on Behavioural Modelling: Foundations and Applications (BM-FA 2012) in the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), Denmark, ACM, July 2012. Pages 5:1-10. (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. (doi) (pdf) (bibtex)

Security and Privacy

  • 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. (doi) (pdf)
  • 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, and 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. (doi)
  • Hao Wang, Yuyi Ou, Jie Ling, Xiang Xu, and Heqing Guo. A New Certified Email Protocol. The 5th Workshop on Internet Communications Security (WICS2007), Regensburg, Germany, IEEE CS Press, Sept. 2007, Pages 683-687. (doi) (bibtex)
  • Hao Wang, Yuyi Ou, Jie Ling, Lu Liang, and Xiang Xu. Certified Email Delivery with Offline TTP. The 3rd International Symposium on Information Assurance and Security (IAS 2007), Manchester, UK, IEEE CS Press, Aug. 2007, Pages 15-20. (doi) (bibtex)
  • [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) (pdf) (bibtex).
  • [J] Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, and Jun Zhang. Dependable Transaction for Electronic Commerce. Lecture Notes in Comput. Sci., Springer-Verlag, May 2005, 3482:691-700. (WICS 2005) (doi) (bibtex)
  • [J] Hao Wang, Heqing Guo, Jianfei Yin, Qi He, Manshan Lin, and Jun Zhang. Abuse-free Item Exchange. Lecture Notes in Comput. Sci., Springer-Verlag, May 2005, 3483:1028-1035. (ICCSA 2005) (doi) (bibtex)
  • [BC] Hao Wang and Heqing Guo. Fair Payment Protocols for E-Commerce. In Lamersdorf, W., Tschammer, V., Amarger, S. (Eds). Building The E-Society: E-Commerce, E-Business, and E-Government. Kluwer academic publishers, Aug. 2004. Pages 227-245. (bibtex)

Pedagogy

  • Hong-Ning Dai, Wei Wei, Hao Wang, and Tak-Lam Wong. Impact of Outcome-Based Education on Software Engineering Teaching: a Case Study. IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2017), Hong Kong, Dec. 2017. Accepted.
  • Jianing Dai, Zheng Zhou, Hao Wang, and Hong-Ning Dai. PPeLE: A photo-processing e-learning environment based on HTML5. I: Proceedings of 2015 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE 2015). IEEE Press, Dec. 2015. Pages 189-194. (doi)

Note: the list of my publications is regularly updated in the Norway Cristin system. [J] is a journal paper, [BC] is a book chapter.