Hao Wang
Hao Wang
Norwegian University of Science and Technology
Verified email at acm.org - Homepage
Cited by
Cited by
Solving QoS-driven web service dynamic composition as fuzzy constraint satisfaction
M Lin, J Xie, H Guo, H Wang
e-Technology, e-Commerce and e-Service, 2005. EEE'05. Proceedings. The 2005 …, 2005
Big data and industrial internet of things for the maritime industry in Northwestern Norway
H Wang, OL Osen, G Li, W Li, HN Dai, W Zeng
TENCON 2015-2015 IEEE Region 10 Conference, 1-5, 2015
Prediction of bearing remaining useful life with deep convolution neural network
L Ren, Y Sun, H Wang, L Zhang
IEEE Access 6, 13041-13049, 2018
Remaining useful life prediction for lithium-ion battery: A deep learning approach
L Ren, L Zhao, S Hong, S Zhao, H Wang, L Zhang
IEEE Access 6, 50587-50598, 2018
A metamodelling approach to behavioural modelling
A Rutle, W MacCaull, H Wang, Y Lamo
Proceedings of the Fourth Workshop on Behaviour Modelling-Foundations and …, 2012
Compensable workflow nets
F Rabbi, H Wang, W MacCaull
Formal Methods and Software Engineering, 122-137, 2010
Insulin pump software certification
Y Chen, M Lawford, H Wang, A Wassyng
Foundations of Health Information Engineering and Systems, 87-106, 2013
A Smart MCDM Framework to Evaluate the Impact of Air Pollution on City Sustainability: A Case Study from China
Q Wang, HN Dai, H Wang
Sustainability 9 (6), 911, 2017
Big data analytics for manufacturing internet of things: opportunities, challenges and enabling technologies
HN Dai, H Wang, G Xu, J Wan, M Imran
Enterprise Information Systems, 1-25, 2019
YAWL2DVE: An automated translator for workflow verification
F Rabbi, H Wang, W MacCaull
2010 Fourth International Conference on Secure Software Integration and …, 2010
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ...
IEEE Design & Test 32 (5), 45-55, 2015
On Modeling Eavesdropping Attacks in Underwater Acoustic Sensor Networks
Q Wang, HN Dai, X Li, H Wang, H Xiao
Sensors 16 (5), 721, 2016
Analysis and modeling of sensor data for ship motion prediction
G Li, H Zhang, B Kawan, H Wang, OL Osen, A Styve
OCEANS 2016-Shanghai, 1-7, 2016
Big Data Analytics for Large-scale Wireless Networks: Challenges and Opportunities
HN Dai, RCW Wong, H Wang, Z Zheng, AV Vasilakos
ACM Computing Surveys (CSUR) 52 (5), 99, 2019
Sentiment Analysis of Chinese Microblog Based on Stacked Bidirectional LSTM
J Zhou, Y Lu, HN Dai, H Wang, H Xiao
IEEE Access 7, 38856-38866, 2019
A new dependable exchange protocol
H Wang, H Guo, M Lin, J Yin, Q He, J Zhang
Computer communications 29 (15), 2770-2780, 2006
An Analytical Study on Eavesdropping Attacks in Wireless Nets of Things
X Li, H Wang, HN Dai, Y Wang, Q Zhao
Mobile Information Systems 2016, 2016
A formal diagrammatic approach to timed workflow modelling
H Wang, A Rutle, W MacCaull
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International …, 2012
An automated translator for model checking time constrained workflow systems
AS Mashiyat, F Rabbi, H Wang, W MacCaull
Formal Methods for Industrial Critical Systems, 99-114, 2010
An efficient explicit-time description method for timed model checking
H Wang, W MacCaull
arXiv preprint arXiv:0912.2553, 2009
The system can't perform the operation now. Try again later.
Articles 1–20