A systematic literature review of the use of formal methods in medical software systems

S Bonfanti, A Gargantini… - Journal of Software …, 2018 - Wiley Online Library
The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

Reliability analysis of healthcare information systems: State of the art and future directions

A Gawanmeh, H Al-Hamadi… - … Conference on E …, 2015 - ieeexplore.ieee.org
Testing and verification of healthcare information systems is a challenging and important
issue since faults in these critical systems may lead to loss of lives, and in the best cases …

Data Protection and Privacy Management for Healthcare Wearable Devices

A AlMazrouei, AA Alzoubi, HM Alzoubi - Technology Innovation for …, 2024 - Springer
The advent of mobile health has opened up fascinating new avenues for patient
engagement in their healthcare. Health data collected by wearable devices may be …

An automatic ECG generator for testing and evaluating ECG sensor algorithms

H Al-Hamadi, A Gawanmeh… - 2015 10th International …, 2015 - ieeexplore.ieee.org
The use of biomedical sensors, be it attached or embedded inside a human body, to monitor
various physiological parameters is increasing at a significant rate due to continued …

Survey on cybersecurity issues in wireless mesh networks based eHealthcare

K Saleem, K Zeb, A Derhab, H Abbas… - 2016 IEEE 18th …, 2016 - ieeexplore.ieee.org
Information and Communication Technologies (ICT) based applications for Ambient
Assisted Living (AAL) help elderly or individual people living home alone. AAL system …

Review of Artificial Intelligence and Machine Learning Recent Advancements

AA Alzoubi, I Al Aqeel, HM Alzoubi - Technology Innovation for Business …, 2024 - Springer
Artificial Intelligence means to duplicate human Intelligence to machines that are supposed
to act like human beings and imitate their actions. This can also be applied to any machines …

Using Machine Learning to Protect Users Accounts in Twitter

KH Ali, SEA Alnawayseh, WT Al-Sit… - Technology Innovation for …, 2024 - Springer
Twitter is one of the most used social media sites where millions of people interact daily.
Users perform tremendous tasks on Twitter, and it also impacts their daily lives in several …

Data Warehousing for Assisting the Decision Makers

B AlNaoimi, R AlRaesi, O AlKaboory… - … Innovation for Business …, 2024 - Springer
There are lot of changes in the market, the technology has been improved and there is
innovation in the technological sector. The use of data mining and data warehousing helps …

Implementing Machine Learning for the Analysis of Data

AA Alzoubi, HM Alzoubi - … for Business Intelligence and Analytics (TIBIA) …, 2024 - Springer
Abstract Machine Learning is a subdivision of Computer Science and Artificial Intelligence
which deals use of algorithms and data to mimic the way human brain works and later …

Data Sharing with a Third-Party Within IoMT Environment: Challenges and Opportunities

AA Alzoubi, A Alhossani, HM Alzoubi - Technology Innovation for Business …, 2024 - Springer
This paper is set to understand and analyze the controversy surrounding a mental health
application called BetterHelp and what the organization could have done to prevent losing …