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
2932004
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
2282009
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
1322020
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
842020
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
762020
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
752022
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
662005
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
652022
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
652021
Machine-learning-based darknet traffic detection system for IoT applications
Q Abu Al-Haija, M Krichen, W Abu Elhaija
Electronics 11 (4), 556, 2022
592022
An expressive and implementable formal framework for testing real-time systems
M Krichen, S Tripakis
IFIP International Conference on Testing of Communicating Systems, 209-225, 2005
592005
Blockchain for modern applications: A survey
M Krichen, M Ammi, A Mihoub, M Almutiq
Sensors 22 (14), 5274, 2022
582022
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
572022
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, 1-14, 2021
572021
Off-line test selection with test purposes for non-deterministic timed automata
N Bertrand, T Jéron, A Stainer, M Krichen
Logical Methods in Computer Science 8 (4), 1-33, 2012
562012
A game approach to determinize timed automata
N Bertrand, A Stainer, T Jéron, M Krichen
Formal Methods in System Design 46 (1), 42-80, 2015
552015
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
542020
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
532020
Improving formal verification and testing techniques for internet of things and smart cities
M Krichen
Mobile networks and applications, 1-12, 2019
532019
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
512021
The system can't perform the operation now. Try again later.
Articles 1–20