| 2026 | ICAART | LexiGen: A Fine-Grained Synthetic Corpus for GDPR Compliance Analysis. | Ali Bouhejba, Aroua Hedhili Sba, Souheib Yousfi, Layth Sliman |
| 2026 | IWCMC | Geometric Intelligence: Hybrid Observation with Deep Reinforcement Learning for Autonomous UAV Navigation. | Asma Hamissi, Amine Dhraief, Layth Sliman |
| 2026 | WCNC | Attention and Curiosity Based Reinforcement Learning Approach for Drone Collision Avoidance. | Tejeddine Lakhal, Asma Hamissi, Amine Dhraief, Layth Sliman |
| 2025 | ICINCO | Smart Urban Tree Valorization: An AI-Blockchain-Based Application for the Preservation of Remarkable Trees. | Hajer Nabli, Issra Jegham, Yasmine Zorgati, Rania Ajmi, Raoudha Ben Djemaa, Layth Sliman |
| 2025 | ICINCO | AgriTrustChain: A Decentralized Certification and Edaphic Data Traceability Framework with Zero-Leak for Sustainable Farming Using Blockchain. | Wafa Ben Slama Souei, Mohamed Amine Hattab, Layth Sliman, Raoudha Ben Djemaa, Faiza Khebour Allouche |
| 2025 | KES | On the integration of Blockchain and legacy systems: a framework for high consistency and low latency of distributed transactions. | Yassine Ayadi, Benoit Charroux, Layth Sliman |
| 2025 | KES | Methodology to extract full blockchain transactions in NFT Trading. | Johannes Gomolka, Yoan Sapienza, Layth Sliman |
| 2025 | NCA | Compliance Verification of 5G Service Level Agreements using Event-B. | Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader |
| 2025 | PEMWN | Revisiting RELIANCE for Drone Collision Avoidance: Reproducibility and Technical Corrections. | Tejeddine Lakhal, Amine Dhraief, Layth Sliman |
| 2025 | WISE | Multi-layered Framework for Counterfeit-Free Pharmaceutical Chains. | Abir Ghannem, Hajer Nabli, Raoudha Ben Djemaa, Layth Sliman |
| 2025 | WISE | SLF-DF: A Framework for Fraud Detection in Airdrop Business Processes. | Oumaima Rjab, Layth Sliman, Souheib Yousfi |
| 2024 | CHIRA | Hybrid System for Intelligent Context Situation Detection. | Ikhlas Mastour, Hela Zorgati, Raoudha Ben Djemaa, Layth Sliman |
| 2024 | FNC | Vision-based Human Fall Detection Systems: A Review. | Asma Benkaci, Layth Sliman, Hachemi Nabil Dellys |
| 2024 | ICSOC | Towards Automatic Smart Contract Generation: Application in Agriculture. | Ryhem Essid, Wael Sellami, Hatem Hadj Kacem, Layth Sliman |
| 2024 | MEDES | Data-Centric Security Model Based on Attribute-Based Cryptography For Healthcare Systems. | Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui |
| 2024 | WISE | Smart Contracts Vulnerability Detection Using Transformers. | Riham Badra, Layth Sliman, Amine Dhraief |
| 2024 | WISE | Towards Blockchain Like SOA. | Wafa Ben Slama Souei, Benoit Charroux, Layth Sliman, Raoudha Ben Djemaa |
| 2023 | EANN | A Novel Neural Network-Based Recommender System for Drug Recommendation. | Hadi Al-Mubasher, Ziad Doughan, Layth Sliman, Ali M. Haidar |
| 2023 | GLOBECOM | VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts. | Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk |
| 2023 | HIS | Blockchain-Integrated Technologies to Address Counterfeit Drugs in the Pharmaceutical Supply Chain. | Sarra Ben Abdelghani, Hajer Nabli, Raoudha Ben Djemaa, Layth Sliman |
| 2023 | WETICE | On Safety of Decentralized Unmanned Aircraft System Traffic Management Using Blockchain. | Asma Hamissi, Amine Dhraief, Layth Sliman |
| 2022 | NCA | Never Alone: a Quality of Context-aware Monitoring System for Aging in Place Smart Home. | Hajer Nabli, Ines Regaig, Raoudha Ben Djemaa, Layth Sliman |
| 2021 | ISDA | A Survey on SLA Management Using Blockchain Based Smart Contracts. | Nawel Hamdi, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman |
| 2021 | WETICE | Tangle the Blockchain: Towards Connecting Blockchain and DAG. | Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito |
| 2021 | WETICE | Towards a Uniform Description Language for Smart Contract. | Wafa Ben Slama Souei, Chiraz El Hog, Layth Sliman, Raoudha Ben Djemaa, Ikram Amous Ben Amor |
| 2021 | SoMeT | A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri Net. | Amira Jablaoui, Hichem Kmimech, Layth Sliman, Lotfi Nabli |
| 2020 | ICBC | On the Verification of Smart Contracts: A Systematic Review. | Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk |
| 2020 | SoMeT | Toward a Mixed Tangle-Blockchain Architecture. | Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman |
| 2019 | HIS | Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment. | Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech |
| 2019 | SoMeT | Minimum Initial Marking Estimation in Labeled Petri Nets Using Simulated Annealing. | Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli |
| 2018 | PDCAT | A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
| 2018 | WETICE | Security, Safety and Confidentiality in IoT for Collaborative Business Technologies (SSCIoT Track of WETICE 2018). | Layth Sliman, Hachemi Nabil Dellys |
| 2017 | ISDA | UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
| 2017 | WETICE | Behavioral Verification of Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Cloud Software Architecture. | Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2016 | HIS | Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault. | Hachemi Nabil Dellys, Layth Sliman, Saliha Artabaz, Karima Benatchba, Mouloud Koudil |
| 2016 | ICSOC | Detecting Cloud (Anti)Patterns: OCCI Perspective. | Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faez Gargouri |
| 2016 | ISDA | Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion. | Saliha Artabaz, Layth Sliman, Hachemi Nabil Dellys, Karima Benatchba, Mouloud Koudil |
| 2016 | ISDA | Security Incident Response: Towards a Novel Decision-Making System. | Samih Souissi, Ahmed Serhrouchni, Layth Sliman, Benoit Charroux |
| 2015 | HIS | A Novel Security Architecture Based on Multi-level Rule Expression Language. | Samih Souissi, Layth Sliman, Benoit Charroux |
| 2014 | ISDA | Model of Bayesian Tangent Eye Shape for eye capture. | Asama Kuder Nseaf, Azizah Jaafar, Layth Sliman, Riza Sulaiman, Rahmita Wirza O. K. Rahmat |
| 2014 | ISDA | Towards an effective e-government framework: Tasks and instruments for design and evaluation of public sector websites. | Sahar A. Osman, Fathelalem F. Ali, Mohamed E. Musa, Layth Sliman |