Moez Krichen
Orcid: 0000-0001-8873-9755
According to our database1,
Moez Krichen
authored at least 112 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Sensors, October, 2023
Transfer learning-based quantized deep learning models for nail melanoma classification.
Neural Comput. Appl., October, 2023
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
J. King Saud Univ. Comput. Inf. Sci., June, 2023
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
Inf., 2023
A Deep Learning Methodology for Predicting Cybersecurity Attacks on the Internet of Things.
Inf., 2023
Strengthening the Security of Smart Contracts through the Power of Artificial Intelligence.
Comput., 2023
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
Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023
Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023
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
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
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
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022
2021
Softw. Qual. J., 2021
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
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021
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
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
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
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
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
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019
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
Int. J. Crit. Comput. Based Syst., 2018
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018
Proceedings of the Enterprise Information Systems - 20th International Conference, 2018
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
Int. J. Comput. Appl. Technol., 2015
Runtime testing approach of structural adaptations for dynamic and distributed systems.
Int. J. Comput. Appl. Technol., 2015
Comput. J., 2015
Proceedings of the Testing Software and Systems, 2015
2013
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013
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
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
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
2011
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011
2010
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
2009
2007
Proceedings of the ISoLA 2007, 2007
2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006
2005
Proceedings of the Testing of Communicating Systems, 2005
Proceedings of the Testing of Communicating Systems, 2005
2004
Proceedings of the Fourth Workshop on Runtime Verification, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Formal Techniques, 2004
Proceedings of the Model-Based Testing of Reactive Systems, 2004