| 2025 | AICCSA | Data-Aware Clustered Federated Learning in WSNs for Natural Disaster Management. | Zouheir Belfeki, Moez Krichen, Mondher Bouazizi, Salah Zidi |
| 2024 | AICCSA | Federated Learning in Clustered WSN for Natural Disaster Management. | Zouheir Belfeki, Mondher Bouazizi, Moez Krichen, Salah Zidi |
| 2024 | ICSOC | Lightweight AI-Driven Real-Time Intruder Detection System for IoT-Enabled Smart Meters. | Imed Ben Dhaou, Alaeddine Mihoub, Moez Krichen |
| 2024 | ICSOC | Generative AI for Software Development: A Survey. | Moez Krichen |
| 2024 | ICSoft | Towards an Ethereum Smart Contract Fuzz Testing Tool. | Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma |
| 2023 | AICCSA | Using Machine Learning for Earthquakes and Quarry Blasts Discrimination. | Mohamed S. Abdalzaher, Moez Krichen, Sayed S. R. Moustafa, Mohannad A. Alswailim |
| 2023 | AICCSA | Streamlining River Flood Prevention with an Integrated AIoT Framework. | Zakaria Boulouard, Mariya Ouaissa, Mariyam Ouaissa, Moez Krichen, Mutiq Almutiq, Mohammad Algarni |
| 2023 | AICCSA | Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters. | Moez Krichen |
| 2023 | AICCSA | Formal Methods for Enhanced Natural Disaster Management. | Moez Krichen, Mohammed Yahya Alzahrani |
| 2023 | AICCSA | Advances in AI and Drone-based Natural Disaster Management: A Survey. | Moez Krichen, Mohamed S. Abdalzaher |
| 2023 | VECoS | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen |
| 2022 | ENASE | A Comprehensive Review of Testing Blockchain Oriented Software. | Mariam Lahami, Afef Jmal Malej, Moez Krichen, Mohamed Amin Hammami |
| 2022 | ICCCI | Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation. | Souhir Sghaier, Moez Krichen, Abir Othman Elfaki, Qasem Abu Al-Haija |
| 2022 | SIN | Formal Methods for the Verification of Smart Contracts: A Review. | Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija |
| 2020 | CRiSIS | An OWASP Top Ten Driven Survey on Web Application Protection Methods. | Ouissem Ben Fredj, Omar Cheikhrouhou, Moez Krichen, Habib Hamam, Abdelouahid Derhab |
| 2020 | ENASE | A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. | Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui |
| 2020 | ICOST | Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. | Samir Ouchani, Moez Krichen |
| 2020 | ICOST | Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis. | Saeed Mian Qaisar, Moez Krichen, Fatma Jallouli |
| 2020 | IWCMC | A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. | Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui |
| 2020 | SIN | CyberSecurity Attack Prediction: A Deep Learning Approach. | Ouissem Ben Fredj, Alaeddine Mihoub, Moez Krichen, Omar Cheikhrouhou, Abdelouahid Derhab |
| 2020 | VECoS | Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. | Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed |
| 2019 | AICCSA | Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures. | Moez Krichen, Roobaea Alroobaea |
| 2019 | ENASE | A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. | Moez Krichen, Roobaea Alroobaea |
| 2019 | ICTAC | Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. | Moez Krichen |
| 2017 | TAP | WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmael |
| 2016 | VECoS | A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. | Afef Jmal Malej, Moez Krichen |
| 2013 | ICST | Automated Significant Load Testing for WS-BPEL Compositions. | Afef Jmal Malej, Manel Hamza, Moez Krichen, Mohamed Jmaiel |
| 2013 | ISSTA | Runtime testing framework for improving quality in dynamic service-based systems. | Mariam Lahami, Moez Krichen, Mohamed Jmaiel |
| 2013 | ISSTA | Conformance testing for quality assurance of clustering architectures. | Afef Jmal Malej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel |
| 2013 | SAC | WSCCT: a tool for WS-BPEL compositions conformance testing. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2013 | WETICE | Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. | Mariam Lahami, Moez Krichen |
| 2013 | WETICE | WSCLT: A Tool for WS-BPEL Compositions Load Testing. | Afef Jmal Malej, Manel Hamza, Moez Krichen |
| 2012 | COMPSAC | Conformance Testing of WS-BPEL Compositions under Various Load Conditions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2012 | COMPSAC | Model-Based Conformance Testing of WS-BPEL Compositions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2011 | FOSSACS | A Game Approach to Determinize Timed Automata. | Nathalie Bertrand, Amlie Stainer, Thierry Jron, Moez Krichen |
| 2011 | TACAS | Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. | Nathalie Bertrand, Thierry Jron, Amlie Stainer, Moez Krichen |
| 2010 | OPODIS | A Formal Framework for Conformance Testing of Distributed Real-Time Systems. | Moez Krichen |
| 2007 | ISoLA | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 2006 | ICTAC | Interesting Properties of the Real-Time Conformance Relation. | Moez Krichen, Stavros Tripakis |