تصفح حسب المؤلف "Barkaoui, Kamel"
-
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
Jabbar, Rateb; Krichen, Moez; Fetais, Noora; Barkaoui, Kamel ( SciTePress , 2020 , Conference Paper)The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ... -
Blockchain for the Internet of Vehicles: How to Use Blockchain to Secure Vehicle-to-Everything (V2X) Communication and Payment?
Jabbar, Rateb; Fetais, Noora; Kharbeche, Mohamed; Krichen, Moez; Barkaoui, Kamel; Shinoy, Mohammed... more authors ... less authors ( Institute of Electrical and Electronics Engineers Inc. , 2021 , Article)As the Internet of Things (IoT) is evolving, one of its rapidly developing components is the transformation of standard Vehicle Ad-hoc Networks (VANETs) into the Internet of Vehicles (IoV). Due to the exceptional progress ... -
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
Jabbar, Rateb; Fetais, Noora; Krichen, Moez; Barkaoui, Kamel ( Institute of Electrical and Electronics Engineers Inc. , 2020 , Conference Paper)The Electronic Health Records (EHR) sharing system is the state of art for delivering healthcare. The tools within the system can predict outcomes during the patient's lifetime, monitor how effective are treatments, track ... -
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application
Jabbar, Rateb; Shinoy, Mohammed; Kharbeche, Mohamed; Al-Khalifa, Khalifa; Krichen, Moez; Barkaoui, Kamel... more authors ... less authors ( Institute of Electrical and Electronics Engineers Inc. , 2020 , Conference Paper)A sleepy driver is arguably much more dangerous on the road than the one who is speeding as he is a victim of microsleeps. Automotive researchers and manufacturers are trying to curb this problem with several technological ... -
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
Jabbar, Rateb; Krichen, Moez; Kharbeche, Mohamed; Fetais, Noora; Barkaoui, Kamel ( SciTePress , 2020 , Conference Paper)The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet ... -
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
Jabbar, Rateb; Krichen, Moez; Shinoy, Mohammed; Kharbeche, Mohamed; Fetais, Noora; Barkaoui, Kamel... more authors ... less authors ( Institute of Electrical and Electronics Engineers Inc. , 2020 , Conference Paper)In most cities, the availability of parking is a major concern. The misuse of parking spots as drivers park for longer than permitted periods cause more delays, inconvenience to others, and even parking tickets. Moreover, ... -
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety
Jabbar, Rateb; Shinoy, Mohammed; Kharbeche, Mohamed; Al-Khalifa, Khalifa; Krichen, Moez; Barkaoui, Kamel... more authors ... less authors ( Institute of Electrical and Electronics Engineers Inc. , 2019 , Conference Paper)Qatar expects more than a million visitors during the 2022 World Cup, which will pose significant challenges. The high number of people will likely cause a rise in road traffic congestion, vehicle crashes, injuries and ...