Moez Krichen

Orcid: 0000-0001-8873-9755

According to our database1, Moez Krichen authored at least 123 papers between 2004 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A systematic literature review on dynamic testing of blockchain oriented software.
Sci. Comput. Program., 2025

2024
Exploiting smartphone defence: a novel adversarial malware dataset and approach for adversarial malware detection.
Peer Peer Netw. Appl., September, 2024

Employing Machine Learning for Seismic Intensity Estimation Using a Single Station for Earthquake Early Warning.
Remote. Sens., June, 2024

Performance enhancement of artificial intelligence: A survey.
J. Netw. Comput. Appl., 2024

SS-DRPL: self-supervised deep representation pattern learning for voice-based Parkinson's disease detection.
Frontiers Comput. Neurosci., 2024

Defending AI Models Against Adversarial Attacks in Smart Grids Using Deep Learning.
IEEE Access, 2024

Optimal Ensemble Learning Model for Dyslexia Prediction Based on an Adaptive Genetic Algorithm.
IEEE Access, 2024

Effective Hypertension Detection Using Predictive Feature Engineering and Deep Learning.
IEEE Access, 2024

A Novel Deep Learning Approach for Myocardial Infarction Detection and Multi-Label Classification.
IEEE Access, 2024

Towards an Ethereum Smart Contract Fuzz Testing Tool.
Proceedings of the 19th International Conference on Software Technologies, 2024

2023
Survey on Blockchain-Based Data Storage Security for Android Mobile Applications.
Sensors, October, 2023

Transfer learning-based quantized deep learning models for nail melanoma classification.
Neural Comput. Appl., October, 2023

Network Slicing for Zero-Touch Networks: A Top-Notch Technology.
IEEE Netw., September, 2023

Bird species recognition using spiking neural network along with distance based fuzzy co-clustering.
Int. J. Speech Technol., September, 2023

Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network.
Sensors, July, 2023

Convolutional Neural Networks: A Survey.
Comput., July, 2023

DRL-assisted delay optimized task offloading in automotive-industry 5.0 based VECNs.
J. King Saud Univ. Comput. Inf. Sci., June, 2023

Identification, 3D-Reconstruction, and Classification of Dangerous Road Cracks.
Sensors, April, 2023

Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.
Mob. Networks Appl., April, 2023

An empirical assessment of ensemble methods and traditional machine learning techniques for web-based attack detection in industry 5.0.
J. King Saud Univ. Comput. Inf. Sci., March, 2023

Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment.
J. King Saud Univ. Comput. Inf. Sci., January, 2023

Arrhythmia classification using multirate processing metaheuristic optimization and variational mode decomposition.
J. King Saud Univ. Comput. Inf. Sci., January, 2023

A Low-Rank Learning-Based Multi-Label Security Solution for Industry 5.0 Consumers Using Machine Learning Classifiers.
IEEE Trans. Consumer Electron., 2023

Enabling Efficient Data Integration of Industry 5.0 Nodes Through Highly Accurate Neural CSI Feedback.
IEEE Trans. Consumer Electron., 2023

Smart Optimization Solution for Channel Access Attack Defense Under UAV-Aided Heterogeneous Network.
IEEE Internet Things J., 2023

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security.
Inf., 2023

A Deep Learning Methodology for Predicting Cybersecurity Attacks on the Internet of Things.
Inf., 2023

Hybrid cloud storage system with enhanced multilayer cryptosystem for secure deduplication in cloud.
Int. J. Intell. Networks, 2023

Strengthening the Security of Smart Contracts through the Power of Artificial Intelligence.
Comput., 2023

Energy Consumption Monitoring System Based on IoT for Residential Rooftops.
Comput., 2023

Neural-Networks-Based Adaptive Fault-Tolerant Control of Nonlinear Systems With Actuator Faults and Input Quantization.
IEEE Access, 2023

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Sentiment Analysis: Effect of Combining BERT as an Embedding Technique with CNN Model for Tunisian Dialect.
Proceedings of the Advances in Information Systems, Artificial Intelligence and Knowledge Management, 2023

Deep Reinforcement Learning.
Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023

Generative Adversarial Networks.
Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023

Advances in AI and Drone-based Natural Disaster Management: A Survey.
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

Formal Methods for Enhanced Natural Disaster Management.
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters.
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

Streamlining River Flood Prevention with an Integrated AIoT Framework.
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

Using Machine Learning for Earthquakes and Quarry Blasts Discrimination.
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

2022
Live video streaming service with pay-as-you-use model on Ethereum Blockchain and InterPlanetary file system.
Wirel. Networks, 2022

Machine Learning with Adaptive Rate Processing for Power Quality Disturbances Identification.
SN Comput. Sci., 2022

Blockchain for Modern Applications: A Survey.
Sensors, 2022

An Adaptive Topology Management Scheme to Maintain Network Connectivity in Wireless Sensor Networks.
Sensors, 2022

An Integrated Artificial Intelligence of Things Environment for River Flood Prevention.
Sensors, 2022

An Intelligent Sensor Based Decision Support System for Diagnosing Pulmonary Ailment through Standardized Chest X-ray Scans.
Sensors, 2022

A deep learning approach for detecting the behaviour of people having personality disorders towards COVID-19 from Twitter.
Int. J. Comput. Sci. Eng., 2022

A decision system for computational authors profiling: From machine learning to deep learning.
Concurr. Comput. Pract. Exp., 2022

A Lightweight In-Vehicle Alcohol Detection Using Smart Sensing and Supervised Learning.
Comput., 2022

Floating Nodes Assisted Cluster-Based Routing for Efficient Data Collection in Underwater Acoustic Sensor Networks.
Comput. Commun., 2022

Denial of service attack detection and mitigation for internet of things using looking-back-enabled machine learning techniques.
Comput. Electr. Eng., 2022

Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review.
IEEE Access, 2022

Formal Methods for the Verification of Smart Contracts: A Review.
Proceedings of the 15th International Conference on Security of Information and Networks, 2022

Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation.
Proceedings of the Advances in Computational Collective Intelligence, 2022

A Comprehensive Review of Testing Blockchain Oriented Software.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021
A survey on runtime testing of dynamically adaptable and distributed systems.
Softw. Qual. J., 2021

An opportunistic data dissemination for autonomous vehicles communication.
Soft Comput., 2021

Multirate Processing with Selective Subbands and Machine Learning for Efficient Arrhythmia Classification.
Sensors, 2021

Monitoring Social Distancing Using Artificial Intelligence for Fighting COVID-19 Virus Spread.
Int. J. Open Source Softw. Process., 2021

Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives.
CoRR, 2021

Constriction Factor Particle Swarm Optimization based load balancing and cell association for 5G heterogeneous networks.
Comput. Commun., 2021

Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

Robust Malware Detection using Residual Attention Network.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020
Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum.
Sensors, 2020

DHPV: a distributed algorithm for large-scale graph partitioning.
J. Big Data, 2020

A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems.
Distributed Parallel Databases, 2020

Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

CyberSecurity Attack Prediction: A Deep Learning Approach.
Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain.
Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020

Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application.
Proceedings of the IEEE International Conference on Informatics, 2020

Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity.
Proceedings of the IEEE International Conference on Informatics, 2020

Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

An OWASP Top Ten Driven Survey on Web Application Protection Methods.
Proceedings of the Risks and Security of Internet and Systems, 2020

A Deep Learning Model to Predict Gender, Age and Occupation of the Celebrities based on Tweets Followers.
Proceedings of the Working Notes of CLEF 2020, 2020

2019
TEPaaS: test execution platform as-a-service applied in the context of e-health.
Int. J. Auton. Adapt. Commun. Syst., 2019

Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety.
Proceedings of the International Conference on Internet of Things, 2019

Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems.
Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems.
Proceedings of the Enterprise Information Systems - 21st International Conference, 2019

A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Une Approche de Test de Charge de Compositions de ServicesWeb.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018
A model-based approach to combine conformance and load tests: an eHealth case study.
Int. J. Crit. Comput. Based Syst., 2018

Distributed and Resource-Aware Load Testing of WS-BPEL Compositions.
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions.
Proceedings of the Enterprise Information Systems - 20th International Conference, 2018

Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2018

Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems. (Contributions au Test à Base-de-Modèles de Systèmes Temps-Réels Dynamiques et Distribués).
, 2018

2017
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

2016
Safe and efficient runtime testing framework applied in dynamic and distributed systems.
Sci. Comput. Program., 2016

A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

2015
A comparative evaluation of state-of-the-art load and stress testing approaches.
Int. J. Comput. Appl. Technol., 2015

Runtime testing approach of structural adaptations for dynamic and distributed systems.
Int. J. Comput. Appl. Technol., 2015

A game approach to determinize timed automata.
Formal Methods Syst. Des., 2015

Study on the Limitations of WS-BPEL Compositions Under Load Conditions.
Comput. J., 2015

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations.
Proceedings of the Testing Software and Systems, 2015

2013
WSCLT: A Tool for WS-BPEL Compositions Load Testing.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

WSCCT: a tool for WS-BPEL compositions conformance testing.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Conformance testing for quality assurance of clustering architectures.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

Runtime testing framework for improving quality in dynamic service-based systems.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

Automated Significant Load Testing for WS-BPEL Compositions.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
A formal framework for black-box conformance testing of distributed real-time systems.
Int. J. Crit. Comput. Based Syst., 2012

Off-line test selection with test purposes for non-deterministic timed automata
Log. Methods Comput. Sci., 2012

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.
Proceedings of the Testing Software and Systems, 2012

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems.
Proceedings of the Testing Software and Systems, 2012

Model-Based Conformance Testing of WS-BPEL Compositions.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Conformance Testing of WS-BPEL Compositions under Various Load Conditions.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010
A Formal Framework for Conformance Testing of Distributed Real-Time Systems.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

2009
Conformance testing for real-time systems.
Formal Methods Syst. Des., 2009

2007
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
Proceedings of the ISoLA 2007, 2007

2006
Interesting Properties of the Real-Time Conformance Relation.
Proceedings of the Theoretical Aspects of Computing, 2006

State-Identification Problems for Finite-State Transducers.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
An Expressive and Implementable Formal Framework for Testing Real-Time Systems.
Proceedings of the Testing of Communicating Systems, 2005

State Identification Problems for Timed Automata.
Proceedings of the Testing of Communicating Systems, 2005

2004
Testing Conformance of Real-Time Applications by Automatic Generation of Observers.
Proceedings of the Fourth Workshop on Runtime Verification, 2004

Black-Box Conformance Testing for Real-Time Systems.
Proceedings of the Model Checking Software, 2004

Real-Time Testing with Timed Automata Testers and Coverage Criteria.
Proceedings of the Formal Techniques, 2004

State Identification.
Proceedings of the Model-Based Testing of Reactive Systems, 2004


  Loading...