Follow
Moez Krichen
Moez Krichen
Associate Professor of Computer Science, Albaha University and ISIMS, Sfax University
Verified email at redcad.org
Title
Cited by
Cited by
Year
Black-box conformance testing for real-time systems
M Krichen, S Tripakis
International SPIN Workshop on Model Checking of Software, 109-126, 2004
3012004
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
2332009
Convolutional neural networks: A survey
M Krichen
Computers 12 (8), 151, 2023
2312023
Driver drowsiness detection model using convolutional neural networks techniques for android application
R Jabbar, M Shinoy, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui
2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020
1842020
Denial of service attack detection and mitigation for internet of things using looking-back-enabled machine learning techniques
A Mihoub, OB Fredj, O Cheikhrouhou, A Derhab, M Krichen
Computers & Electrical Engineering 98, 107716, 2022
1522022
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
R Jabbar, N Fetais, M Krichen, K Barkaoui
2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020
1472020
Blockchain for modern applications: A survey
M Krichen, M Ammi, A Mihoub, M Almutiq
Sensors 22 (14), 5274, 2022
1462022
Blockchain technology for intelligent transportation systems: A systematic literature review
R Jabbar, E Dhib, AB Said, M Krichen, N Fetais, E Zaidan, K Barkaoui
IEEE Access 10, 20995-21031, 2022
1382022
Crops yield prediction based on machine learning models: Case of West African countries
LS Cedric, WYH Adoni, R Aworka, JT Zoueu, FK Mutombo, M Krichen, ...
Smart Agricultural Technology 2, 100049, 2022
1292022
Blockchain-assisted secured data management framework for health information analysis based on Internet of Medical Things
A Abbas, R Alroobaea, M Krichen, S Rubaiee, S Vimal, FM Almansour
Personal and ubiquitous computing 28 (1), 59-72, 2024
1202024
Blockchain for the internet of vehicles: A decentralized IoT solution for vehicles communication using ethereum
R Jabbar, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui
Sensors 20 (14), 3928, 2020
1122020
Machine-learning-based darknet traffic detection system for IoT applications
Q Abu Al-Haija, M Krichen, W Abu Elhaija
Electronics 11 (4), 556, 2022
1112022
Are formal methods applicable to machine learning and artificial intelligence?
M Krichen, A Mihoub, MY Alzahrani, WYH Adoni, T Nahhal
2022 2nd International Conference of Smart Systems and Emerging Technologies …, 2022
1072022
Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment
S Zidi, A Mihoub, SM Qaisar, M Krichen, QA Al-Haija
Journal of King Saud University-Computer and Information Sciences 35 (1), 13-25, 2023
902023
CyberSecurity attack prediction: a deep learning approach
O Ben Fredj, A Mihoub, M Krichen, O Cheikhrouhou, A Derhab
13th international conference on security of information and networks, 1-6, 2020
842020
Formal methods for the verification of smart contracts: A review
M Krichen, M Lahami, QA Al–Haija
2022 15th International Conference on Security of Information and Networks …, 2022
812022
Tuberculosis disease diagnosis based on an optimized machine learning model
O Hrizi, K Gasmi, I Ben Ltaifa, H Alshammari, H Karamti, M Krichen, ...
Journal of Healthcare Engineering 2022 (1), 8950243, 2022
802022
An IoT framework for screening of COVID-19 using real-time data from wearable sensors
H Mukhtar, S Rubaiee, M Krichen, R Alroobaea
International journal of environmental research and public health 18 (8), 4022, 2021
792021
Olive disease classification based on vision transformer and CNN models
H Alshammari, K Gasmi, I Ben Ltaifa, M Krichen, L Ben Ammar, ...
Computational Intelligence and Neuroscience 2022 (1), 3998193, 2022
762022
Blockchain for the Internet of Vehicles: How to use blockchain to secure vehicle-to-everything (V2X) communication and payment?
R Jabbar, N Fetais, M Kharbeche, M Krichen, K Barkaoui, M Shinoy
IEEE Sensors Journal 21 (14), 15807-15823, 2021
762021
The system can't perform the operation now. Try again later.
Articles 1–20