| Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004 | 297 | 2004 |
| Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009 | 230 | 2009 |
| 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 | 149 | 2020 |
| 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 | 119 | 2022 |
| 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 | 119 | 2020 |
| 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 | 101 | 2022 |
| Blockchain for modern applications: A survey M Krichen, M Ammi, A Mihoub, M Almutiq Sensors 22 (14), 5274, 2022 | 99 | 2022 |
| Convolutional neural networks: A survey M Krichen Computers 12 (8), 151, 2023 | 97 | 2023 |
| 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 | 95 | 2020 |
| Machine-learning-based darknet traffic detection system for IoT applications Q Abu Al-Haija, M Krichen, W Abu Elhaija Electronics 11 (4), 556, 2022 | 92 | 2022 |
| 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 | 89 | 2022 |
| 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 | 79 | 2022 |
| 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 | 74 | 2024 |
| 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 | 74 | 2021 |
| 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 | 69 | 2023 |
| 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 | 69 | 2022 |
| Testing conformance of real-time applications by automatic generation of observers S Bensalem, M Bozga, M Krichen, S Tripakis Electronic Notes in Theoretical Computer Science 113, 23-43, 2005 | 68 | 2005 |
| 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 | 67 | 2020 |
| An OWASP top ten driven survey on web application protection methods OB Fredj, O Cheikhrouhou, M Krichen, H Hamam, A Derhab Risks and Security of Internet and Systems: 15th International Conference …, 2021 | 64 | 2021 |
| Deep convolutional neural network based image spam classification S Srinivasan, V Ravi, V Sowmya, M Krichen, DB Noureddine, S Anivilla, ... 2020 6th conference on data science and machine learning applications (CDMA …, 2020 | 64 | 2020 |
Lahami MariamMaitre Assistante en informatique, Université de SfaxDirección de correo verificada de redcad.org
