Moez Krichen

ORCID: 0000-0001-8873-9755
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Software Testing and Debugging Techniques
  • Formal Methods in Verification
  • Advanced Malware Detection Techniques
  • Blockchain Technology Applications and Security
  • Software System Performance and Reliability
  • Network Security and Intrusion Detection
  • Software Reliability and Analysis Research
  • Anomaly Detection Techniques and Applications
  • IoT and Edge/Fog Computing
  • Advanced Software Engineering Methodologies
  • COVID-19 diagnosis using AI
  • Vehicular Ad Hoc Networks (VANETs)
  • Service-Oriented Architecture and Web Services
  • Spam and Phishing Detection
  • Machine Learning and Algorithms
  • Fire Detection and Safety Systems
  • VLSI and Analog Circuit Testing
  • Artificial Intelligence in Healthcare
  • Brain Tumor Detection and Classification
  • Seismology and Earthquake Studies
  • COVID-19 epidemiological studies
  • Autonomous Vehicle Technology and Safety
  • Remote-Sensing Image Classification
  • Internet of Things and AI
  • Adversarial Robustness in Machine Learning

Al Baha University
2015-2025

University of Sfax
2016-2025

University of Gafsa
2023

Institut de Recherche pour le Développement
2020-2023

Université Internationale de Casablanca
2021-2022

International University
2022

University of Hassan II Casablanca
2022

Amrita Vishwa Vidyapeetham
2020-2022

Prince Mohammad bin Fahd University
2021

Cincinnati Children's Hospital Medical Center
2020

Artificial intelligence (AI) has become a cornerstone of modern technology, revolutionizing industries from healthcare to finance. Convolutional neural networks (CNNs) are subset AI that have emerged as powerful tool for various tasks including image recognition, speech natural language processing (NLP), and even in the field genomics, where they been utilized classify DNA sequences. This paper provides comprehensive overview CNNs their applications recognition tasks. It first introduces...

10.3390/computers12080151 article EN cc-by Computers 2023-07-28

A sleepy driver is arguably much more dangerous on the road than one who speeding as he a victim of microsleeps. Automotive researchers and manufacturers are trying to curb this problem with several technological solutions that will avert such crisis. This article focuses detection micro sleep drowsiness using neural network-based methodologies. Our previous work in field involved machine learning multi-layer perceptron detect same. In paper, accuracy was increased by utilizing facial...

10.1109/iciot48696.2020.9089484 article EN 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) 2020-02-01

The use of Blockchain technology has recently become widespread. It emerged as an essential tool in various academic and industrial fields, such healthcare, transportation, finance, cybersecurity, supply chain management. is regarded a decentralized, trustworthy, secure, transparent, immutable solution that innovates data sharing This survey aims to provide systematic review application intelligent transportation systems general the Internet Vehicles (IoV) particular. divided into four main...

10.1109/access.2022.3149958 article EN cc-by IEEE Access 2022-01-01

Global agricultural production, in particular, is of increasing concern to the major international organizations charge nutrition. The rising demand for food globally due unprecedented population growth has led insecurity some populated regions such as Africa. Another contributing factor global climate change and its variability. World African production particular are Food Program reported that high worldwide, especially Africa recent years, leading increased security. Moreover, farmers...

10.1016/j.atech.2022.100049 article EN cc-by-nc-nd Smart Agricultural Technology 2022-04-04

The massive modern technical revolution in electronics, cognitive computing, and sensing has provided critical infrastructure for the development of today’s Internet Things (IoT) a wide range applications. However, because endpoint devices’ storage, communication capabilities are limited, IoT infrastructures exposed to cyber-attacks. As such, Darknet or blackholes (sinkholes) attacks significant, recent attack vectors that launched against several services. Since address space evolved as...

10.3390/electronics11040556 article EN Electronics 2022-02-12

Formal approaches can provide strict correctness guarantees for the development of both hardware and software systems. In this work, we examine state-of-the-art formal methods verification validation machine learning systems in particular. We first a brief summary existing general. After that, report on developed validating data preparation training phases. Then, go over used At level, consider partial exhaustive techniques. addition, review research works dedicated to support vector...

10.1109/smarttech54121.2022.00025 article EN 2022-05-01

Natural disasters (NDs) have always been a major threat to human lives and infrastructure, causing immense damage loss. In recent years, the increasing frequency severity of natural highlighted need for more effective efficient disaster management strategies. this context, use technology has emerged as promising solution. survey paper, we explore employment technologies in order relieve impacts various disasters. We provide an overview how different such Remote Sensing, Radars Satellite...

10.1016/j.iotcps.2023.09.002 article EN cc-by-nc-nd Internet of Things and Cyber-Physical Systems 2023-09-30

Autonomous vehicles (AV) are game-changing innovations that promise a safer, more convenient, and environmentally friendly mode of transportation than traditional vehicles. Therefore, understanding AV technologies their impact on society is critical as we continue this revolutionary journey. Generally, there needs to be detailed study available assist researcher in its challenges. This research presents comprehensive survey encompassing various aspects AVs, such public adoption, driverless...

10.3390/technologies11050117 article EN cc-by Technologies 2023-09-04

The Internet of Things (IoT) has brought about a new era connected devices and systems, with applications ranging from healthcare to transportation. However, the reliability security these systems are critical concerns that must be addressed ensure their safe effective operation. This paper presents survey formal verification validation (FV&V) techniques for IoT focus on challenges open issues in this field. We provide an overview methods testing discuss state explosion problem address...

10.3390/app13148122 article EN cc-by Applied Sciences 2023-07-12

10.1007/s10703-009-0065-1 article EN Formal Methods in System Design 2009-02-14

The Electronic Health Records (EHR) sharing system is the state of art for delivering healthcare. tools within can predict outcomes during patient's lifetime, monitor how effective are treatments, track therapies and detect human errors. For main industry stakeholders, priority to ensure integrity interoperability across care continuum. Achieving this still challenging considering an enormous amount EHR data, security issues, heterogeneity healthcare information systems. To overcome these...

10.1109/iciot48696.2020.9089570 article EN 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) 2020-02-01

The concept of smart cities has become prominent in modern metropolises due to the emergence embedded and connected devices, systems, technologies. They have enabled connection every “thing” Internet. Therefore, upcoming era Internet Things, Vehicles (IoV) will play a crucial role newly developed cities. IoV potential solve various traffic road safety problems effectively order prevent fatal crashes. However, particular challenge IoV, especially Vehicle-to-Vehicle (V2V)...

10.3390/s20143928 article EN cc-by Sensors 2020-07-15

Experts have predicted that COVID-19 may prevail for many months or even years before it can be completely eliminated. A major problem in its cure is early screening and detection, which will decide on treatment. Due to the fast contactless spreading of virus, unusually difficult. Moreover, results tests take up 48 h. That enough time virus worsen health affected person. The community needs effective means identification shortest possible time. In this study, we invent a medical device...

10.3390/ijerph18084022 article EN International Journal of Environmental Research and Public Health 2021-04-12

As the Internet of Things (IoT) is evolving, one its rapidly developing components transformation standard Vehicle Ad-hoc Networks (VANETs) into Vehicles (IoV). Due to exceptional progress in computation and communication technologies, IoV has attracted attention researchers commercial companies. Nevertheless, primary issue regarding IoV, particular Vehicle-to-Vehicle (V2V) Vehicle-to-Infrastructure (V2I), establishing secure instant payments communications. To respond this challenge, work...

10.1109/jsen.2021.3062219 article EN IEEE Sensors Journal 2021-02-24

Computer science plays an important role in modern dynamic health systems. Given the collaborative nature of diagnostic process, computer technology provides services to healthcare professionals and organizations, as well patients their families, researchers, decision-makers. Thus, any innovations that improve process while maintaining quality safety are crucial development field. Many diseases can be tentatively diagnosed during initial stages. In this study, all developed techniques were...

10.1155/2022/8950243 article EN cc-by Journal of Healthcare Engineering 2022-03-21

Food security has become a real challenge for some organizations in charge of the food program and majority countries, especially African countries. The United Nations Organizations’ recently defined end hunger improvement 2030 as its primary goal. Improving could also pass through handling agricultural yield. Agricultural yield is affected by climate changes since this latest decade. Climate change considered one major threats to development Africa. Decision-making level farmers need...

10.1016/j.atech.2022.100048 article EN cc-by-nc-nd Smart Agricultural Technology 2022-03-30

It has been noted that disease detection approaches based on deep learning are becoming increasingly important in artificial intelligence-based research the field of agriculture. Studies conducted this area not at level is desirable due to diversity plant species and regional characteristics many these species. Although numerous researchers have studied diseases leaves, it undeniable timely diagnosis olive leaves remains a difficult task. estimated people cultivating trees for 6000 years,...

10.1155/2022/3998193 article EN Computational Intelligence and Neuroscience 2022-07-31

The current development of drones and the prospects in this field have positive repercussions, particular for employment industrial development, with key to growth job creation possibilities. Drones ability conduct operations emergency situations, where human intervention is impossible or difficult. They could help save lives humanitarian emergencies, nuclear accidents natural disasters, etc. As any technology, there are also risks that must be seriously considered by stakeholders,...

10.1109/smarttech54121.2022.00048 article EN 2022-05-01

Smart meters are key elements of a smart grid. These data from Meters can help us analyze energy consumption behaviour. The machine learning and deep approaches be used for mining the hidden theft detection information in meter data. However, it needs effective extraction. This research presents dataset (TDD2022) learning-based solution automated identification grid environment. An generator is modelled obtaining multi-class publicly available consumer data, owned by "Open Energy Data...

10.1016/j.jksuci.2022.05.007 article EN cc-by Journal of King Saud University - Computer and Information Sciences 2022-05-17
Coming Soon ...