Moez Krichen - RankMe

141 papers A 2B 7C 26Misc 1Journal 73Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A systematic literature review on dynamic testing of blockchain oriented software. Sci. Comput. Program. Mariam Lahami, Afef Jmal Maâlej, Moez Krichen
2025	J	`jnl`	AntiPhishX: An AI-driven service-oriented ensemble framework for detecting phishing and ai-powered phishing attacks. Inf. Softw. Technol. Abdul Malik, Bilal Khan, Saeed Mian Qaisar, Moez Krichen
2025	J	`jnl`	Artificial intelligence assisted non-destructive testing of welding joints: A review of techniques, X-ray image processing and applications. Eng. Appl. Artif. Intell. Dalila Say, Saeed Mian Qaisar, Moez Krichen, Salah Zidi
2025	J	`jnl`	Automated explainable and interpretable framework for anomaly detection and human activity recognition in smart homes. Neural Comput. Appl. Tae Hoon Kim, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Gabriel Avelino R. Sampedro
2025	J	`jnl`	Correction: Automated explainable and interpretable framework for anomaly detection and human activity recognition in smart homes. Neural Comput. Appl. Tae Hoon Kim, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Gabriel Avelino R. Sampedro
2025	J	`jnl`	Federated learning for natural disaster management: challenges, opportunities, and future directions. Clust. Comput. Zouheir Belfeki, Moez Krichen, Mondher Bouazizi, Salah Zidi
2025	J	`jnl`	Neural network-based adaptive fault-tolerant control for strict-feedback nonlinear systems with input dead zone and saturation. J. Frankl. Inst. Mohamed Kharrat, Moez Krichen, Hadil Alhazmi, Paolo Mercorelli
2025	J	`jnl`	Quality-Focused Internet of Things Data Management: A Survey, Perspectives, Open Issues, and Challenges. IEEE Internet Things J. Mohamed S. Abdalzaher, Moez Krichen, Mostafa F. Shaaban, Mostafa M. Fouda
2025	J	`jnl`	Securing Realistic IoMT Environment Using Moth-Flame Optimization-Based Deep Learning Framework. Secur. Priv. Roben A. Juanatas, Ahmad S. Almadhor, Shtwai Alsubai, Natalia Kryvinska, Moez Krichen, Gabriel Avelino R. Sampedro, Sidra Abbas
2024	J	`jnl`	A Novel Deep Learning Approach for Myocardial Infarction Detection and Multi-Label Classification. IEEE Access Sidra Abbas, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Lucia Vilcekova
2024	J	`jnl`	Autism spectrum disorder detection in toddlers and adults using deep learning. Int. J. Appl. Math. Comput. Sci. Sidra Abbas, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Lucia Vilcekova
2024	J	`jnl`	Defending AI Models Against Adversarial Attacks in Smart Grids Using Deep Learning. IEEE Access Gabriel Avelino R. Sampedro, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Vincent Karovic
2024	J	`jnl`	Effective Hypertension Detection Using Predictive Feature Engineering and Deep Learning. IEEE Access Sidra Abbas, Gabriel Avelino R. Sampedro, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Rastislav Kulhanek
2024	J	`jnl`	Employing Machine Learning for Seismic Intensity Estimation Using a Single Station for Earthquake Early Warning. Remote. Sens. Mohamed S. Abdalzaher, M. Sami Soliman, Moez Krichen, Meznah A. Alamro, Mostafa M. Fouda
2024	J	`jnl`	Exploiting smartphone defence: a novel adversarial malware dataset and approach for adversarial malware detection. Peer Peer Netw. Appl. Tae Hoon Kim, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Gabriel Avelino R. Sampedro, Sidra Abbas
2024	C	`conf`	Federated Learning in Clustered WSN for Natural Disaster Management. AICCSA Zouheir Belfeki, Mondher Bouazizi, Moez Krichen, Salah Zidi
2024	—	`conf`	Generative AI for Software Development: A Survey. ICSOC Workshops (1) Moez Krichen
2024	J	`jnl`	Improving Multiple Sclerosis Disease Prediction Using Hybrid Deep Learning Model. Comput. Mater. Continua Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Gabriel Avelino R. Sampedro, Jaroslava Kniezova
2024	—	`conf`	Lightweight AI-Driven Real-Time Intruder Detection System for IoT-Enabled Smart Meters. ICSOC Workshops (1) Imed Ben Dhaou, Alaeddine Mihoub, Moez Krichen
2024	J	`jnl`	Optimal Ensemble Learning Model for Dyslexia Prediction Based on an Adaptive Genetic Algorithm. IEEE Access Karim Gasmi, Lassaad Ben Ammar, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Manel Mrabet
2024	J	`jnl`	Performance enhancement of artificial intelligence: A survey. J. Netw. Comput. Appl. Moez Krichen, Mohamed S. Abdalzaher
2024	J	`jnl`	SS-DRPL: self-supervised deep representation pattern learning for voice-based Parkinson's disease detection. Frontiers Comput. Neurosci. Tae Hoon Kim, Moez Krichen, Stephen Ojo, Gabriel Avelino R. Sampedro, Meznah A. Alamro
2024	C	`conf`	Towards an Ethereum Smart Contract Fuzz Testing Tool. ICSOFT Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma
2024	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings VECoS Belgacem Ben Hedia, Yassine Maleh, Moez Krichen
2023	J	`jnl`	A Deep Learning Methodology for Predicting Cybersecurity Attacks on the Internet of Things. Inf. Omar Azib Alkhudaydi, Moez Krichen, Ans D. Alghamdi
2023	J	`jnl`	A Low-Rank Learning-Based Multi-Label Security Solution for Industry 5.0 Consumers Using Machine Learning Classifiers. IEEE Trans. Consumer Electron. Ankita Sharma, Shalli Rani, Ali Kashif Bashir, Moez Krichen, Abdulaziz Alshammari
2023	C	`conf`	Advances in AI and Drone-based Natural Disaster Management: A Survey. AICCSA Moez Krichen, Mohamed S. Abdalzaher
2023	J	`jnl`	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. Oumaima Chakir, Abdeslam Rehaimi, Yassine Sadqi, El Arbi Abdellaoui Alaoui, Moez Krichen, Gurjot Singh Gaba, Andrei V. Gurtov
2023	J	`jnl`	Arrhythmia classification using multirate processing metaheuristic optimization and variational mode decomposition. J. King Saud Univ. Comput. Inf. Sci. Saeed Mian Qaisar, Sibghatullah I. Khan, Kathiravan Srinivasan, Moez Krichen
2023	J	`jnl`	Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network. Sensors Dalila Say, Salah Zidi, Saeed Mian Qaisar, Moez Krichen
2023	J	`jnl`	Bird species recognition using spiking neural network along with distance based fuzzy co-clustering. Int. J. Speech Technol. Ricky Mohanty, Hemanta Kumar Bhuyan, Subhendu Kumar Pani, Vinayakumar Ravi, Moez Krichen
2023	J	`jnl`	Convolutional Neural Networks: A Survey. Comput. Moez Krichen
2023	J	`jnl`	DRL-assisted delay optimized task offloading in automotive-industry 5.0 based VECNs. J. King Saud Univ. Comput. Inf. Sci. Muhammad Ayzed Mirza, Junsheng Yu, Salman Raza, Moez Krichen, Manzoor Ahmed, Wali Ullah Khan, Khaled M. Rabie, Thokozani Shongwe
2023	—	`conf`	Deep Reinforcement Learning. ICCCNT Moez Krichen
2023	C	`conf`	Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters. AICCSA Moez Krichen
2023	J	`jnl`	Enabling Efficient Data Integration of Industry 5.0 Nodes Through Highly Accurate Neural CSI Feedback. IEEE Trans. Consumer Electron. Mostafa Hussien, Kim Khoa Nguyen, Ali Ranjha, Moez Krichen, Abdulaziz Alshammari, Mohamed Cheriet
2023	J	`jnl`	Energy Consumption Monitoring System Based on IoT for Residential Rooftops. Comput. Sarah El Himer, Mariyam Ouaissa, Mariya Ouaissa, Moez Krichen, Mohannad A. Alswailim, Mutiq Almutiq
2023	J	`jnl`	Formal Methods and Validation Techniques for Ensuring Automotive Systems Security. Inf. Moez Krichen
2023	C	`conf`	Formal Methods for Enhanced Natural Disaster Management. AICCSA Moez Krichen, Mohammed Yahya Alzahrani
2023	—	`conf`	Generative Adversarial Networks. ICCCNT Moez Krichen
2023	J	`jnl`	Hybrid cloud storage system with enhanced multilayer cryptosystem for secure deduplication in cloud. Int. J. Intell. Networks Nagappan Mageshkumar, J. Swapna, A. Pandiaraj, Rajakumar Ramalingam, Moez Krichen, Vinayakumar Ravi
2023	J	`jnl`	Identification, 3D-Reconstruction, and Classification of Dangerous Road Cracks. Sensors Souhir Sghaier, Moez Krichen, Imed Ben Dhaou, Hela Elmannai, Reem Alkanhel
2023	J	`jnl`	Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities. Mob. Networks Appl. Moez Krichen
2023	J	`jnl`	Network Slicing for Zero-Touch Networks: A Top-Notch Technology. IEEE Netw. Shalli Rani, Himanshi Babbar, Moez Krichen, Keping Yu, Fida Hussain Memon
2023	J	`jnl`	Neural-Networks-Based Adaptive Fault-Tolerant Control of Nonlinear Systems With Actuator Faults and Input Quantization. IEEE Access Mohamed Kharrat, Moez Krichen, Loay Alkhalifa, Karim Gasmi
2023	C	`conf`	On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS Salwa Habbachi, Imene Ben Hafaiedh, ZhiWu Li, Moez Krichen
2023	—	`conf`	Sentiment Analysis: Effect of Combining BERT as an Embedding Technique with CNN Model for Tunisian Dialect. ICIKS Seifeddine Mechti, Rim Faiz, Nabil Khoufi, Shaima Antit, Moez Krichen
2023	J	`jnl`	Smart Optimization Solution for Channel Access Attack Defense Under UAV-Aided Heterogeneous Network. IEEE Internet Things J. Zhaoyang Han, Yaoqi Yang, Muhammad Bilal, Weizheng Wang, Moez Krichen, Abeer Abdullah Alsadhan, Chunpeng Ge
2023	C	`conf`	Streamlining River Flood Prevention with an Integrated AIoT Framework. AICCSA Zakaria Boulouard, Mariya Ouaissa, Mariyam Ouaissa, Moez Krichen, Mutiq Almutiq, Mohammad Algarni
2023	J	`jnl`	Strengthening the Security of Smart Contracts through the Power of Artificial Intelligence. Comput. Moez Krichen
2023	J	`jnl`	Survey on Blockchain-Based Data Storage Security for Android Mobile Applications. Sensors Hussam Saeed Musa, Moez Krichen, Adem Alpaslan Altun, Meryem Ammi
2023	J	`jnl`	Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment. J. King Saud Univ. Comput. Inf. Sci. Salah Zidi, Alaeddine Mihoub, Saeed Mian Qaisar, Moez Krichen, Qasem Abu Al-Haija
2023	J	`jnl`	Transfer learning-based quantized deep learning models for nail melanoma classification. Neural Comput. Appl. Mujahid Hussain, Makhmoor Fiza, Aiman Khalil, Asad Ali Siyal, Fayaz Ali Dharejo, Waheeduddin Hyder, Antonella Guzzo, Moez Krichen, Giancarlo Fortino
2023	C	`conf`	Using Machine Learning for Earthquakes and Quarry Blasts Discrimination. AICCSA Mohamed S. Abdalzaher, Moez Krichen, Sayed S. R. Moustafa, Mohannad A. Alswailim
2022	B	`conf`	A Comprehensive Review of Testing Blockchain Oriented Software. ENASE Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami
2022	J	`jnl`	A Lightweight In-Vehicle Alcohol Detection Using Smart Sensing and Supervised Learning. Comput. Qasem Abu Al-Haija, Moez Krichen
2022	J	`jnl`	A decision system for computational authors profiling: From machine learning to deep learning. Concurr. Comput. Pract. Exp. Seifeddine Mechti, Moez Krichen, Dhouha Ben Noureddine, Lamia Hadrich Belguith
2022	J	`jnl`	A deep learning approach for detecting the behaviour of people having personality disorders towards COVID-19 from Twitter. Int. J. Comput. Sci. Eng. Mourad Ellouze, Seifeddine Mechti, Moez Krichen, Vinayakumar Ravi, Lamia Hadrich Belguith
2022	J	`jnl`	An Adaptive Topology Management Scheme to Maintain Network Connectivity in Wireless Sensor Networks. Sensors Muhammad Zia Ul Haq, Muhammad Zahid Khan, Haseeb Ur Rehman, Gulzar Mehmood, Ahmed Binmahfoudh, Moez Krichen, Roobaea Alroobaea
2022	J	`jnl`	An Integrated Artificial Intelligence of Things Environment for River Flood Prevention. Sensors Zakaria Boulouard, Mariyam Ouaissa, Mariya Ouaissa, Farhan Siddiqui, Mutiq Almutiq, Moez Krichen
2022	J	`jnl`	An Intelligent Sensor Based Decision Support System for Diagnosing Pulmonary Ailment through Standardized Chest X-ray Scans. Sensors Shivani Batra, Harsh Sharma, Wadii Boulila, Vaishali Arya, Prakash Srivastava, Mohammad Zubair Khan, Moez Krichen
2022	J	`jnl`	Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review. IEEE Access Rateb Jabbar, Eya Dhib, Ahmed Ben Said, Moez Krichen, Noora Fetais, Esmat Zaidan, Kamel Barkaoui
2022	J	`jnl`	Blockchain for Modern Applications: A Survey. Sensors Moez Krichen, Meryem Ammi, Alaeddine Mihoub, Mutiq Almutiq
2022	J	`jnl`	Denial of service attack detection and mitigation for internet of things using looking-back-enabled machine learning techniques. Comput. Electr. Eng. Alaeddine Mihoub, Ouissem Ben Fredj, Omar Cheikhrouhou, Abdelouahid Derhab, Moez Krichen
2022	—	`conf`	Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation. ICCCI (CCIS Volume) Souhir Sghaier, Moez Krichen, Abir Othman Elfaki, Qasem Abu Al-Haija
2022	J	`jnl`	Floating Nodes Assisted Cluster-Based Routing for Efficient Data Collection in Underwater Acoustic Sensor Networks. Comput. Commun. Ghullam Murtaza Jatoi, Bhagwan Das, Sarang Karim, Jitander Kumar Pabani, Moez Krichen, Roobaea Alroobaea, Mahender Kumar
2022	C	`conf`	Formal Methods for the Verification of Smart Contracts: A Review. SIN Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija
2022	J	`jnl`	Live video streaming service with pay-as-you-use model on Ethereum Blockchain and InterPlanetary file system. Wirel. Networks Elio Jordan Lopes, Shaolin Kataria, Shashank Keshav, Sumaiya Thaseen Ikram, Muhammad Rukunuddin Ghalib, Achyut Shankar, Moez Krichen
2022	J	`jnl`	Machine Learning with Adaptive Rate Processing for Power Quality Disturbances Identification. SN Comput. Sci. Saeed Mian Qaisar, Nehal Alyamani, Asad Waqar, Moez Krichen
2021	J	`jnl`	A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. Mariam Lahami, Moez Krichen
2021	J	`jnl`	An opportunistic data dissemination for autonomous vehicles communication. Soft Comput. Asad Abbas, Moez Krichen, Roobaea Alroobaea, Sharaf Jameel Malebary, Usman Tariq, Md. Jalil Piran
2021	J	`jnl`	Constriction Factor Particle Swarm Optimization based load balancing and cell association for 5G heterogeneous networks. Comput. Commun. Mohammad Kamrul Hasan, Teong Chee Chuah, Ayman A. El-Saleh, Muhammad Shafiq, Shoaib Ahmed Shaikh, Shayla Islam, Moez Krichen
2021	J	`jnl`	Monitoring Social Distancing Using Artificial Intelligence for Fighting COVID-19 Virus Spread. Int. J. Open Source Softw. Process. Hashem Alyami, Wael Alosaimi, Moez Krichen, Roobaea Alroobaea
2021	J	`jnl`	Multirate Processing with Selective Subbands and Machine Learning for Efficient Arrhythmia Classification. Sensors Saeed Mian Qaisar, Alaeddine Mihoub, Moez Krichen, Humaira Nisar
2021	C	`conf`	Robust Malware Detection using Residual Attention Network. ICCE Shamika Ganesan, Vinayakumar Ravi, Moez Krichen, V. Sowmya, Roobaea Alroobaea, Soman K. P.
2021	—	`conf`	Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata. TACC Moez Krichen
2021	J	`jnl`	Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives. CoRR Wadii Boulila, Maha Driss, Mohammed Al-Sarem, Faisal Saeed, Moez Krichen
2020	—	`conf`	A Deep Learning Model to Predict Gender, Age and Occupation of the Celebrities based on Tweets Followers. CLEF (Working Notes) Roobaea Alroobaea, Ahmed H. Almulihi, Fahd S. Alharithi, Seifeddine Mechti, Moez Krichen, Lamia Hadrich Belguith
2020	B	`conf`	A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. ENASE Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
2020	B	`conf`	A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. IWCMC Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
2020	J	`jnl`	A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems. Distributed Parallel Databases Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Brahim Aghezzaf, Abdeltif Elbyed
2020	—	`conf`	Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. ICEIS (1) Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui
2020	C	`conf`	An OWASP Top Ten Driven Survey on Web Application Protection Methods. CRiSIS Ouissem Ben Fredj, Omar Cheikhrouhou, Moez Krichen, Habib Hamam, Abdelouahid Derhab
2020	J	`jnl`	Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. Sensors Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	—	`conf`	Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. ICIoT Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui
2020	C	`conf`	CyberSecurity Attack Prediction: A Deep Learning Approach. SIN Ouissem Ben Fredj, Alaeddine Mihoub, Moez Krichen, Omar Cheikhrouhou, Abdelouahid Derhab
2020	J	`jnl`	DHPV: a distributed algorithm for large-scale graph partitioning. J. Big Data Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad
2020	—	`conf`	Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. ICIoT Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	J	`jnl`	Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. CoRR Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	C	`conf`	Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. ICOST Samir Ouchani, Moez Krichen
2020	C	`conf`	Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. VECoS Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed
2020	C	`conf`	Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis. ICOST Saeed Mian Qaisar, Moez Krichen, Fatma Jallouli
2020	J	`jnl`	Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. CoRR Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2019	B	`conf`	A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. ENASE Moez Krichen, Roobaea Alroobaea
2019	—	`conf`	Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems. ICEIS (Revised Selected Papers) Moez Krichen
2019	J	`jnl`	TEPaaS: test execution platform as-a-service applied in the context of e-health. Int. J. Auton. Adapt. Commun. Syst. Mariam Lahami, Moez Krichen, Roobaea Alroobaea
2019	C	`conf`	Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. ICTAC Moez Krichen
2019	C	`conf`	Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures. AICCSA Moez Krichen, Roobaea Alroobaea
2019	—	`conf`	Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) Moez Krichen, Roobaea Alroobaea, Mariam Lahami
2019	—	`conf`	Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge. CAL Moez Krichen, Afef Jmal Maâlej
2019	—	`conf`	Une Approche de Test de Charge de Compositions de ServicesWeb. CAL Afef Jmal Maâlej, Moez Krichen
2019	—	`conf`	Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. IINTEC Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2018	—	`conf`	A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. ICEIS (Revised Selected Papers) Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel
2018	J	`jnl`	A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. Moez Krichen, Afef Jmal Maâlej, Mariam Lahami
2018	—	`book`	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). Moez Krichen
2018	—	`conf`	Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. ICEIS (2) Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel
2018	A	`conf`	Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. ICCAD Mariam Lahami, Moez Krichen, Roobaea Alroobaea
2017	—	`conf`	WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. TAP@STAF Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel
2016	C	`conf`	A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. VECoS Afef Jmal Maâlej, Moez Krichen
2016	J	`jnl`	Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2015	J	`jnl`	A comparative evaluation of state-of-the-art load and stress testing approaches. Int. J. Comput. Appl. Technol. Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel
2015	J	`jnl`	A game approach to determinize timed automata. Formal Methods Syst. Des. Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
2015	J	`jnl`	Runtime testing approach of structural adaptations for dynamic and distributed systems. Int. J. Comput. Appl. Technol. Mariam Lahami, Moez Krichen, Mohamed Jmaïel
2015	C	`conf`	Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
2015	J	`jnl`	Study on the Limitations of WS-BPEL Compositions Under Load Conditions. Comput. J. Afef Jmal Maâlej, Moez Krichen
2013	—	`conf`	Automated Significant Load Testing for WS-BPEL Compositions. ICST Workshops Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel
2013	—	`conf`	Conformance testing for quality assurance of clustering architectures. QASBA@ISSTA Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel
2013	—	`conf`	Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2013	C	`conf`	Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE Mariam Lahami, Moez Krichen
2013	Misc	`conf`	WSCCT: a tool for WS-BPEL compositions conformance testing. SAC Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2013	C	`conf`	WSCLT: A Tool for WS-BPEL Compositions Load Testing. WETICE Afef Jmal Maâlej, Manel Hamza, Moez Krichen
2012	J	`jnl`	A formal framework for black-box conformance testing of distributed real-time systems. Int. J. Crit. Comput. Based Syst. Moez Krichen
2012	B	`conf`	Conformance Testing of WS-BPEL Compositions under Various Load Conditions. COMPSAC Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2012	—	`conf`	Model-Based Conformance Testing of WS-BPEL Compositions. COMPSAC Workshops Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel
2012	J	`jnl`	Off-line test selection with test purposes for non-deterministic timed automata Log. Methods Comput. Sci. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
2012	C	`conf`	Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ICTSS Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel
2012	C	`conf`	Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. ICTSS Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel
2011	—	`conf`	A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2011	B	`conf`	A Game Approach to Determinize Timed Automata. FoSSaCS Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
2011	A	`conf`	Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
2010	B	`conf`	A Formal Framework for Conformance Testing of Distributed Real-Time Systems. OPODIS Moez Krichen
2009	J	`jnl`	Conformance testing for real-time systems. Formal Methods Syst. Des. Moez Krichen, Stavros Tripakis
2007	C	`conf`	A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis
2006	C	`conf`	Interesting Properties of the Real-Time Conformance Relation. ICTAC Moez Krichen, Stavros Tripakis
2006	—	`conf`	State-Identification Problems for Finite-State Transducers. FATES/RV Moez Krichen, Stavros Tripakis
2005	—	`conf`	An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom Moez Krichen, Stavros Tripakis
2005	—	`conf`	State Identification Problems for Timed Automata. TestCom Moez Krichen, Stavros Tripakis
2004	—	`conf`	Black-Box Conformance Testing for Real-Time Systems. SPIN Moez Krichen, Stavros Tripakis
2004	—	`conf`	Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT Moez Krichen, Stavros Tripakis
2004	—	`conf`	State Identification. Model-Based Testing of Reactive Systems Moez Krichen
2004	—	`conf`	Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis