Hao Wang

Affiliations:
  • Norwegian University of Science and Technology, Alesund, Norway


According to our database1, Hao Wang authored at least 187 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
NLPSweep: A comprehensive defense scheme for mitigating NLP backdoor attacks.
Inf. Sci., 2024

2023
Aerial Bridge: A Secure Tunnel Against Eavesdropping in Terrestrial-Satellite Networks.
IEEE Trans. Wirel. Commun., November, 2023

Learning the Distribution-Based Temporal Knowledge With Low Rank Response Reasoning for UAV Visual Tracking.
IEEE Trans. Intell. Transp. Syst., November, 2023

Neighborhood Rough Residual Network-Based Outlier Detection Method in IoT-Enabled Maritime Transportation Systems.
IEEE Trans. Intell. Transp. Syst., November, 2023

CPAD: Component Pixel-Aware Multispectral Image Destriping.
IEEE Trans. Aerosp. Electron. Syst., October, 2023

Deep Hyperspherical Clustering for Skin Lesion Medical Image Segmentation.
IEEE J. Biomed. Health Informatics, August, 2023

Autonomous-Jump-ODENet: Identifying Continuous-Time Jump Systems for Cooling-System Prediction.
IEEE Trans. Ind. Informatics, July, 2023

HGATE: Heterogeneous Graph Attention Auto-Encoders.
IEEE Trans. Knowl. Data Eng., April, 2023

Generalized Interval Type-II Fuzzy Rough Model-Based Feature Discretization for Mixed Pixels.
IEEE Trans. Fuzzy Syst., March, 2023

Visual Analysis of Multidimensional Big Data: A Scalable Lightweight Bundling Method for Parallel Coordinates.
IEEE Trans. Big Data, February, 2023

Learning Spatial-Temporal Features of Fiber-Optical Data With Multi-scale Double Dynamic Network for Human Intrusion Detection.
IEEE Trans. Instrum. Meas., 2023

Semi-supervised label propagation for multi-source remote sensing image change detection.
Comput. Geosci., 2023

Encoder Activation Diffusion and Decoder Transformer Fusion Network for Medical Image Segmentation.
Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

PlastOPol: A Collaborative Data-driven Solution for Marine Litter Detection and Monitoring.
Proceedings of the IEEE International Conference on Industrial Technology, 2023

A New Belief-Based Incomplete Pattern Unsupervised Classification Method : Extended Abstract.
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2022
A New Belief-Based Incomplete Pattern Unsupervised Classification Method.
IEEE Trans. Knowl. Data Eng., 2022

PcGAN: A Noise Robust Conditional Generative Adversarial Network for One Shot Learning.
IEEE Trans. Intell. Transp. Syst., 2022

FCFusion: Fractal Componentwise Modeling With Group Sparsity for Medical Image Fusion.
IEEE Trans. Ind. Informatics, 2022

A Blockchain-Empowered Cluster-Based Federated Learning Model for Blade Icing Estimation on IoT-Enabled Wind Turbine.
IEEE Trans. Ind. Informatics, 2022

A Feature Discretization Method Based on Fuzzy Rough Sets for High-Resolution Remote Sensing Big Data Under Linear Spectral Model.
IEEE Trans. Fuzzy Syst., 2022

Efficient Video Privacy Protection Against Malicious Face Recognition Models.
IEEE Open J. Comput. Soc., 2022

Privacy-Preserving Encrypted Traffic Inspection With Symmetric Cryptographic Techniques in IoT.
IEEE Internet Things J., 2022

Learning the Morphological and Syntactic Grammars for Named Entity Recognition.
Inf., 2022

VF-EFENet: A novel method for environmental sound filtering and feature extraction.
Int. J. Intell. Syst., 2022

Belief Combination of Classifiers for Incomplete Data.
IEEE CAA J. Autom. Sinica, 2022

Continuous-Time Prediction of Industrial Paste Thickener System With Differential ODE-Net.
IEEE CAA J. Autom. Sinica, 2022

Amplified locality-sensitive hashing-based recommender systems with privacy protection.
Concurr. Comput. Pract. Exp., 2022

MSS-WISN: Multiscale Multistaining WBCs Instance Segmentation Network.
IEEE Access, 2022

JADD-GAN: A Joint Attention Generative Adversarial Data Fusion Network for Object Detection and Tracking.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

A Fast Block-Based Feature Method for Low Cost Dynamic Objects Detection.
Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

CE-GAN : A Camera Image Enhancement Generative Adversarial Network for Autonomous Driving.
Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

Multi-label Abdominal Image Segmentation with Partially Labeled Data: A Prototypical Consistent Learning Perspective.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2021
Blockchain-Based Power Energy Trading Management.
ACM Trans. Internet Techn., 2021

SOS: NDN Based Service-Oriented Game-Theoretic Efficient Security Scheme for IoT Networks.
IEEE Trans. Netw. Serv. Manag., 2021

ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts.
IEEE Trans. Netw. Sci. Eng., 2021

Wide-Attention and Deep-Composite Model for Traffic Flow Prediction in Transportation Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, 2021

A Feature Discretization Method for Classification of High-Resolution Remote Sensing Images in Coastal Areas.
IEEE Trans. Geosci. Remote. Sens., 2021

Dual Calibration Mechanism Based L<sub>2</sub>, p-Norm for Graph Matching.
IEEE Trans. Circuits Syst. Video Technol., 2021

Activity-Driven Task Allocation in Energy-Constrained Heterogeneous GPUs Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Augmented Data Selector to Initiate Text-Based CAPTCHA Attack.
Secur. Commun. Networks, 2021

Blockchain-Based Privacy Preservation for 5G-Enabled Drone Communications.
IEEE Netw., 2021

Deep Learning for Mobile Crowdsourcing Techniques, Methods, and Challenges: A Survey.
Mob. Inf. Syst., 2021

EZPlugIn: Plug-n-Play Framework for a Heterogeneous Iot Infrastructure for Smart Home.
IEEE Internet Things Mag., 2021

Blockchain-Empowered Edge Intelligence for Internet of Medical Things Against COVID-19.
IEEE Internet Things Mag., 2021

Convergence of Blockchain and Edge Computing for Secure and Scalable IIoT Critical Infrastructures in Industry 4.0.
IEEE Internet Things J., 2021

An attention-based category-aware GRU model for the next POI recommendation.
Int. J. Intell. Syst., 2021

SEENS: Nuclei segmentation in Pap smear images with selective edge enhancement.
Future Gener. Comput. Syst., 2021

Forecasting cryptocurrency price using convolutional neural networks with weighted and attentive memory channels.
Expert Syst. Appl., 2021

Evolutionary community discovery in dynamic social networks via resistance distance.
Expert Syst. Appl., 2021

A new replica placement mechanism for mobile media streaming in edge computing.
Concurr. Comput. Pract. Exp., 2021

Deep learning for privacy preservation in autonomous moving platforms enhanced 5G heterogeneous networks.
Comput. Networks, 2021

An intrusion detection method for industrial control systems based on bidirectional simple recurrent unit.
Comput. Electr. Eng., 2021

Sport Location-Based User Clustering With Privacy-Preservation in Wireless IoT-Driven Healthcare.
IEEE Access, 2021

A Case-Based Reasoning Solution for Urban Drinking Water Quality Control.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Perceiving the Narrative Style for Fake News Detection Using Deep Learning.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Inflow Forecasting Based On Principal Component Analysis and Long Short Term Memory.
Proceedings of the IEEE Intl Conf on Dependable, 2021

2020
Service Recommendation with High Accuracy and Diversity.
Wirel. Commun. Mob. Comput., 2020

Trust-Based Missing Link Prediction in Signed Social Networks with Privacy Preservation.
Wirel. Commun. Mob. Comput., 2020

Quality Risk Analysis for Sustainable Smart Water Supply Using Data Perception.
IEEE Trans. Sustain. Comput., 2020

A Secure Random Key Distribution Scheme Against Node Replication Attacks in Industrial Wireless Sensor Systems.
IEEE Trans. Ind. Informatics, 2020

Energy Optimization by Software Prefetching for Task Granularity in GPU-Based Embedded Systems.
IEEE Trans. Ind. Electron., 2020

On Privacy Aware Carriers for Value-Possessed e-Invoices Considering Intelligence Mining.
IEEE Trans. Emerg. Top. Comput. Intell., 2020

Sensing Users' Emotional Intelligence in Social Networks.
IEEE Trans. Comput. Soc. Syst., 2020

HUCDO: A Hybrid User-centric Data Outsourcing Scheme.
ACM Trans. Cyber Phys. Syst., 2020

A multivariable optical remote sensing image feature discretization method applied to marine vessel targets recognition.
Multim. Tools Appl., 2020

Deep-Learning-Enhanced Human Activity Recognition for Internet of Healthcare Things.
IEEE Internet Things J., 2020

Smart data driven quality prediction for urban water source management.
Future Gener. Comput. Syst., 2020

Blockchain-based data privacy management with Nudge theory in open banking.
Future Gener. Comput. Syst., 2020

New advancement in information technologies for industry 4.0.
Enterp. Inf. Syst., 2020

Big data analytics for manufacturing internet of things: opportunities, challenges and enabling technologies.
Enterp. Inf. Syst., 2020

SFE-GACN: A Novel Unknown Attack Detection Method Using Intra Categories Generation in Embedding Space.
CoRR, 2020

Am I eclipsed? A smart detector of eclipse attacks for Ethereum.
Comput. Secur., 2020

Security-Driven hybrid collaborative recommendation method for cloud-based iot services.
Comput. Secur., 2020

UAV-enabled data acquisition scheme with directional wireless energy transfer for Internet of Things.
Comput. Commun., 2020

Precious Metal Price Prediction Based on Deep Regularization Self-Attention Regression.
IEEE Access, 2020

Secure User Privacy in Population Physique Clustering and Prediction Based on Sport Questionnaires.
IEEE Access, 2020

Weakly-Supervised Network for Detection of COVID-19 in Chest CT Scans.
IEEE Access, 2020

Control Strategy for Denitrification Efficiency of Coal-Fired Power Plant Based on Deep Reinforcement Learning.
IEEE Access, 2020

Toward A Sustainable Cyber-Physical System Architecture for Urban Water Supply System**This work was supported by KLIMAFORSK programme(No. 244147/E10) from Research Council of Norway.
Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020

DHD-Net: A Novel Deep-Learning-based Dehazing Network.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

A Novel Ensemble Representation Framework for Sentiment Classification.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Fused 3-Stage Image Segmentation for Pleural Effusion Cell Clusters.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

Web-based Scalable Visual Exploration of Large Multidimensional Data Using Human-in-the-Loop Edge Bundling in Parallel Coordinates.
Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference, 2020

LSH-based Collaborative Recommendation Method with Privacy-Preservation.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019
Lightweight Convolution Neural Networks for Mobile Edge Computing in Transportation Cyber Physical Systems.
ACM Trans. Intell. Syst. Technol., 2019

A Rhombic Dodecahedron Topology for Human-Centric Banking Big Data.
IEEE Trans. Comput. Soc. Syst., 2019

SCTSC: A Semicentralized Traffic Signal Control Mode With Attribute-Based Blockchain in IoVs.
IEEE Trans. Comput. Soc. Syst., 2019

Adversarial Samples on Android Malware Detection Systems for IoT Systems.
Sensors, 2019

UAV-enabled friendly jamming scheme to secure industrial Internet of Things.
J. Commun. Networks, 2019

Privacy-preserving data search with fine-grained dynamic search right management in fog-assisted Internet of Things.
Inf. Sci., 2019

Energy optimization of parallel programs in a heterogeneous system by combining processor core-shutdown and dynamic voltage scaling.
Future Gener. Comput. Syst., 2019

LoC - A new financial loan management system based on smart contracts.
Future Gener. Comput. Syst., 2019

Big Data Analytics for Large-scale Wireless Networks: Challenges and Opportunities.
ACM Comput. Surv., 2019

Confluent-Drawing Parallel Coordinates: Web-Based Interactive Visual Analytics of Large Multi-Dimensional Data.
CoRR, 2019

Whole procedure heterogeneous multiprocessors low-power optimization at algorithm-level.
Clust. Comput., 2019

A Study on Sensitive Bands of EEG Data under Different Mental Workloads.
Algorithms, 2019

Sentiment Analysis of Chinese Microblog Based on Stacked Bidirectional LSTM.
IEEE Access, 2019

DT-CP: A Double-TTPs-Based Contract-Signing Protocol With Lower Computational Cost.
IEEE Access, 2019

Detection and Classification of Moving Vehicle From Video Using Multiple Spatio-Temporal Features.
IEEE Access, 2019

TAW: Cost-Effective Threshold Authentication With Weights for Internet of Things.
IEEE Access, 2019

A Novel Algorithm for Estimating Purchase Incentive of the Public Based on Mobile Cloud Computing.
IEEE Access, 2019

A Self-Adaptive Process Mining Algorithm Based on Information Entropy to Deal With Uncertain Data.
IEEE Access, 2019

Bid Optimization by Multivariable Control in Display Advertising.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Portable Convolution Neural Networks for Traffic Sign Recognition in Intelligent Transportation Systems.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Terahertz Image Super-Resolution Reconstruction of Passive Safety Inspection Based on Generative Adversarial Network.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Multi-Scale Feature Pair Based R-CNN Method for Defect Detection.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Multi-Parameter Performance Modeling Based on Machine Learning with Basic Block Features.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Edge Computing-Enabled Resource Provisioning for Video Surveillance in Internet of Vehicles.
Proceedings of the Smart City and Informatization - 7th International Conference, 2019

Virtual Environment Model of Glucose Homeostasis for Diabetes Patients.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

FADBM: Frequency-Aware Dummy-Based Method in Long-Term Location Privacy Protection.
Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

MHDT: A Deep-Learning-Based Text Detection Algorithm for Unstructured Data in Banking.
Proceedings of the 2019 11th International Conference on Machine Learning and Computing, 2019

Poster: UAV-enabled Data Acquisition Scheme with Directional Wireless Energy Transfer.
Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019

Blockchain-Powered Service Migration for Uncertainty-Aware Workflows in Edge Computing.
Proceedings of the Dependability in Sensor, Cloud, and Big Data Systems and Applications, 2019

A Tensor Model for Quality Analysis in Industrial Drinking Water Supply System.
Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

Gold Price Forecast Based on LSTM-CNN Model.
Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

Collaborative Analysis for Computational Risk in Urban Water Supply Systems.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

Blockchain Dividing Based on Node Community Clustering in Intelligent Manufacturing CPS.
Proceedings of the IEEE International Conference on Blockchain, 2019

2018
A Clinical Decision Support Framework for Heterogeneous Data Sources.
IEEE J. Biomed. Health Informatics, 2018

A Novel Friendly Jamming Scheme in Industrial Crowdsensing Networks against Eavesdropping Attack.
Sensors, 2018

Large scale integration of wireless sensor network technologies for air quality monitoring at a logistics shipping base.
J. Ind. Inf. Integr., 2018

Three-level performance optimization for heterogeneous systems based on software prefetching under power constraints.
Future Gener. Comput. Syst., 2018

Budget Constrained Bidding by Model-free Reinforcement Learning in Display Advertising.
CoRR, 2018

Relevant Feedback Based Accurate and Intelligent Retrieval on Capturing User Intention for Personalized Websites.
IEEE Access, 2018

Remaining Useful Life Prediction for Lithium-Ion Battery: A Deep Learning Approach.
IEEE Access, 2018

Prediction of Bearing Remaining Useful Life With Deep Convolution Neural Network.
IEEE Access, 2018

Connectivity of underwater cognitive acoustic networks under spectrum constraint.
Proceedings of the Thirteenth ACM International Conference on Underwater Networks & Systems, 2018

R-PCNN Method to Rapidly Detect Objects on THz Images in Human Body Security Checks.
Proceedings of the 2018 IEEE SmartWorld, 2018

Banking Comprehensive Risk Management System Based on Big Data Architecture of Hybrid Processing Engines and Databases.
Proceedings of the 2018 IEEE SmartWorld, 2018

FeT: Hybrid Cloud-Based Mobile Bank Application Testing.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

SecureIoT: Hop-Count Based Service-Oriented Efficient Security Solution for IoT.
Proceedings of the 1st International Workshop on Future Industrial Communication Networks, 2018

Smart Data Analysis for Water Quality in Catchment Area Monitoring.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

When Friendly Jamming Meets Wireless Energy Transfer.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

An Efficient Greedy Algorithm for Wide Band Spectrum Sensing in Cognitive Radio Networks.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

LoC: Poverty Alleviation Loan Management System Based on Smart Contracts.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Nudging Data Privacy Management of Open Banking Based on Blockchain.
Proceedings of the 15th International Symposium on Pervasive Systems, 2018

Fraud Risk Monitoring System for E-Banking Transactions.
Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

Budget Constrained Bidding by Model-free Reinforcement Learning in Display Advertising.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017
On Capacity and Delay of Multichannel Wireless Networks With Infrastructure Support.
IEEE Trans. Veh. Technol., 2017

Link Connectivity and Coverage of Underwater Cognitive Acoustic Networks under Spectrum Constraint.
Sensors, 2017

A New Anomaly Detection System for School Electricity Consumption Data.
Inf., 2017

Impact of outcome-based education on software engineering teaching: A case study.
Proceedings of the IEEE 6th International Conference on Teaching, 2017

Data-Driven QoE Analysis on Video Streaming in Mobile Networks.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Data-Driven Maritime Processes Management Using Executable Models.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016
On Modeling Eavesdropping Attacks in Underwater Acoustic Sensor Networks.
Sensors, 2016

On Performance Analysis of Protective Jamming Schemes in Wireless Sensor Networks.
Sensors, 2016

An Analytical Study on Eavesdropping Attacks in Wireless Nets of Things.
Mob. Inf. Syst., 2016

Towards High Performance Text Mining: A TextRank-based Method for Automatic Text Summarization.
Int. J. Grid High Perform. Comput., 2016

On Capacity and Delay of Multi-channel Wireless Networks with Infrastructure Support.
CoRR, 2016

On analyzing eavesdropping behaviours in underwater acoustic sensor networks.
Proceedings of the 11th ACM International Conference on Underwater Networks & Systems, 2016

Clustering Methods for Electricity Consumers: An Empirical Study in Hvaler - Norway.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

3D-LSR: A New Model for Skeletal Representation and Segmentation.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

On Channel Allocation of Directional Wireless Networks Using Multiple Channels.
Proceedings of the Eleventh International Network Conference, 2016

Parallelizing Simulated Annealing Algorithm in Many Integrated Core Architecture.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Friendly-Jamming: An Anti-Eavesdropping Scheme in Wireless Networks of Things.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

On Eavesdropping Attacks in Wireless Networks.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
Performance Comparison of Classification Methods for Surface EMG-Based Human-Machine Interface.
Int. J. Grid High Perform. Comput., 2015

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
IEEE Des. Test, 2015

PPeLE: A photo-processing e-leaming environment based on HTML5.
Proceedings of the IEEE International Conference on Teaching, 2015

Towards a Random Walk Controller for Block Management and Wear Leveling in Flash Memory.
Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015

The Role of Big Data on Smart Grid Transition.
Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Scalable And User-Friendly Simulation.
Proceedings of the 29th European Conference on Modelling and Simulation, 2015

Eavesdropping attacks in underwater acoustic networks.
Proceedings of the 10th International Conference on Information, 2015

Open security and privacy challenges for the Internet of Things.
Proceedings of the 10th International Conference on Information, 2015

2014
Envisioning a Requirements Specification Template for Medical Device Software.
Proceedings of the Product-Focused Software Process Improvement, 2014

Formalizing the Glucose Homeostasis Mechanism.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

2013
Insulin Pump Software Certification.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Usage-pattern based Statistical Web Testing and Reliability Measurement.
Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

2012
A Model Slicing Method for Workflow Verification.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

A Formal Diagrammatic Approach to Timed Workflow Modelling.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Formal Diagrammatic Approach to Compensable Workflow Modelling.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

A metamodelling approach to behavioural modelling.
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012

2010
YAWL2DVE: An Automated Translator for Workflow Verification.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Compensable WorkFlow Nets.
Proceedings of the Formal Methods and Software Engineering, 2010

An Automated Translator for Model Checking Time Constrained Workflow Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Towards workflow verification.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
An Efficient Explicit-time Description Method for Timed Model Checking
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Verifying Real-Time Systems using Explicit-time Description Methods
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

2007
A New Certified Email Protocol.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Certified Email Delivery with Offline TTP.
Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006
A new dependable exchange protocol.
Comput. Commun., 2006

2005
A Fair Item-Item Exchange Protocol Satisfying Newly Introduced Requirements.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Abuse-Free Item Exchange.
Proceedings of the Computational Science and Its Applications, 2005

Dependable Transaction for Electronic Commerce.
Proceedings of the Computational Science and Its Applications, 2005

Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

2004
New Fair Payment Protocols.
Proceedings of the ICETE 2004, 2004

Fair Payment Protocols for E-Commerce.
Proceedings of the Building The E-Service Society: E-Commerce, 2004


  Loading...