Using AUML to derive formal modeling agents interactions. - Laid Kahloul; Kamel Barkaoui; Zaïdi Sahnoun (AICCSA, 2005)

Code mobility modeling: a temporal labeled reconfigurable nets. - Laid Kahloul; Allaoua Chaoui (MOBILWARE, 2008)

Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (NDT (1), 2010)

Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. - Laid Kahloul; Karim Djouani; Walid Tfaili; Allaoua Chaoui; Yacine Amirat (NDT (2), 2010)

Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (TASE, 2010)

Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. - Laid Kahloul; Karim Djouani; Allaoua Chaoui (HoloMAS, 2013)

Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. - Laid Kahloul; Allaoua Chaoui; Karim Djouani; Samir Bourekkache; Okba Kazar (ADECS @ Petri Nets, 2014)

E-Learning "Java Programming" on Facebook!!! Big Ambitions and Important Challenges. - Laid Kahloul; Samir Bourekkache; Okba Kazar (Int. Arab. J. e Technol., 2014)

Formal Specification and Verification of Mobile Agent Systems. - Laid Kahloul; Messaouda Grira (Int. J. Comput. Commun. Control, 2014)

Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. - Laid Kahloul; Samir Bourekkache; Karim Djouani; Allaoua Chaoui; Okba Kazar (Int. J. Softw. Eng. Knowl. Eng., 2014)

Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels). - Laid Kahloul (FNC/MobiSPC, 2015)

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (Int. J. Comput. Commun. Control, 2015)

A new Itinerary planning approach among multiple mobile agents in wireless sensor networks (WSN) to reduce energy consumption. - Imene Aloui; Okba Kazar; Laid Kahloul; Sylvie Servigne (Int. J. Commun. Networks Inf. Secur., 2015)

A new "data size" based algorithm for itinerary planning among mobile agents in wireless sensor networks. - Imene Aloui; Okba Kazar; Laid Kahloul; Azeddine Aissaoui; Sylvie Servigne (BDAW, 2016)

Net rewriting system for GSPN a RMS case study. - Samir Tigane; Laid Kahloul; Samir Bourekkache (ICAASE, 2016)

Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems. - Samir Tigane; Laid Kahloul; Samir Bourekkache (SOHOMA, 2016)

Statistical Model Checking of CSMA/CA in WSNs. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Cherifa Othmane (VECoS, 2016)

Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks: Multi-Agent System Approach. - Besma Benaziz; Okba Kazar; Laid Kahloul; Ilham Kitouni; Samir Bourekkache (Int. J. Agric. Environ. Inf. Syst., 2016)

Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. - Laid Kahloul; Samir Bourekkache; Karim Djouani (Int. J. Comput. Integr. Manuf., 2016)

Network security: distributed intrusion detection system using mobile agent technology. - Djemaa Boukhlouf; Okba Kazar; Laid Kahloul (Int. J. Commun. Networks Distributed Syst., 2016)

Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks. - Manel Houimli; Laid Kahloul (BWCCA, 2017)

A new hybrid access control model for multi-domain systems. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah (CoDIT, 2017)

Educative and Adaptive System for Personalized Learning: Learning Styles and Content Adaptation. - Samir Bourekkache; Okba Kazar; Laid Kahloul; Samir Tigane; Aïcha-Nabila Benharkat (Int. Arab. J. e Technol., 2017)

A comparative analysis of context-management approaches for the internet of things. - Farida Retima; Saber Benharzallah; Laid Kahloul; Okba Kazar (Int. Arab J. Inf. Technol., 2017)

Formal approach based on petri nets using agent paradigm for m-maintenance. - Khadija Abid; Leila Hayet Mouss; Okba Kazar; Laid Kahloul (Int. J. Crit. Comput. Based Syst., 2017)

Overview of Reconfigurable Petri Nets. - Julia Padberg; Laid Kahloul (Graph Transformation, Specifications, and Nets, 2018)

Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2018)

A dynamic skyline technique for a context-aware selection of the best sensors in an IoT architecture. - Ismail Kertiou; Saber Benharzallah; Laid Kahloul; Mounir Beggas; Reinhardt Euler; Abdelkader Laouid; Ahcène Bounceur (Ad Hoc Networks, 2018)

A quality-aware context information selection based fuzzy logic in IoT environment. - Farida Retima; Saber Benharzallah; Laid Kahloul; Okba Kazar (Int. Arab J. Inf. Technol., 2018)

Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. - Samir Tigane; Laid Kahloul; Samir Bourekkache; Souheib Baarir (Int. J. Crit. Comput. Based Syst., 2018)

Labelled evolutionary Petri nets/genetic algorithm based approach for workflow scheduling in cloud computing. - Manel Femmam; Okba Kazar; Laid Kahloul; Mohamed El-Kabir Fareh (Int. J. Grid Util. Comput., 2018)

A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah (J. Univers. Comput. Sci., 2018)

On Improved Verification of Reconfigurable Real-Time Systems. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE, 2019)

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE (Selected Papers), 2019)

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE, 2019)

On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE (Selected Papers), 2019)

New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT (Selected Papers), 2019)

On Improving Parallel Rebuilding of R-TNCESs. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001 (SMC, 2019)

Smart Grid Rebuilding based on Cloud Computing Architecture. - Leila Ziouche; Syrine Ben Meskina; Mohamed Khalgui; Laid Kahloul; ZhiWu Li 001 (SMC, 2019)

Service composition approaches for internet of things: a review. - Idir Aoudia; Saber Benharzallah; Laid Kahloul; Okba Kazar (Int. J. Commun. Networks Distributed Syst., 2019)

A comparative analysis of adaptive consistency approaches in cloud storage. - Abdennacer Khelaifa; Saber Benharzallah; Laid Kahloul; Reinhardt Euler; Abdelkader Laouid; Ahcène Bounceur (J. Parallel Distributed Comput., 2019)

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. - Samir Tigane; Laid Kahloul; Saber Benharzallah; Souheib Baarir; Samir Bourekkache (Sci. Comput. Program., 2019)

QoS-aware service composition in Fog-IoT computing using multi-population genetic algorithm. - Idir Aoudia; Laid Kahloul; Saber Benharzallah; Okba Kazar (ACIT, 2020)

Social-aware Web API Recommendation in IoT. - Marwa Meissa; Saber Benharzallah; Laid Kahloul; Okba Kazar (ACIT, 2020)

A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui (ENASE, 2020)

Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. - Leila Ziouche; Syrine Ben Meskina; Mohamed Khalgui; Laid Kahloul (ENASE, 2020)

An Intelligent and Secure Health Monitoring System Based on Agent. - Maroua Ahmid; Okba Kazar; Saber Benharzallah; Laid Kahloul; Abdelhak Merizig (ICIoT, 2020)

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. - Chams Eddine Choucha; Mohamed Ramdani 001; Mohamed Khalgui; Laid Kahloul (ICSOFT, 2020)

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. - Chams Eddine Choucha; Mohamed Ramdani 001; Mohamed Khalgui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT (Selected Papers), 2020)

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT, 2020)

3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2020)

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT, 2020)

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

Configuration-Dependent Stochastic Reward Nets. - Samir Tigane; Laid Kahloul; Samir Bourekkache (MISC, 2020)

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. - Samir Tigane; Laid Kahloul; Souheib Baarir; Samir Bourekkache (VALUETOOLS, 2020)

Using priced timed automata for the specification and verification of CSMA/CA in WSNs. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah (Int. J. Inf. Commun. Technol., 2020)

Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. - Ben Attia Hasiba; Laid Kahloul; Saber Benhazrallah; Samir Bourekkache (Int. J. Inf. Sec., 2020)

Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah; Samir Bourekkache (Int. J. Inf. Sec., 2020)

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. - Yousra Hafidi; Laïd Kahloul; Mohamed Khalgui; Zhiwu Li 001; Khalid Abdulaziz Alnowibet; Ting Qu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Parallel Dynamic Multi-Objective Optimization Evolutionary Algorithm. - Maroua Grid; Leila Belaiche; Laid Kahloul; Saber Benharzallah (ACIT, 2021)

Products Scheduling in Reconfigurable Manufacturing System Considering the Responsiveness Index. - Fatima Zohra Torki; Laid Kahloul; Nadia Hammani; Leila Belaiche; Saber Benharzallah (ACIT, 2021)

Leveraging the Power of Machine Learning for Performance Evaluation Prediction in Wireless Sensor Networks. - Siham Zroug; Ikram Remadna; Laid Kahloul; Saber Benharzallah; Labib Sadek Terrissa (ICIT, 2021)

A hierarchical formal method for performance evaluation of WSNs protocol. - Siham Zroug; Laid Kahloul; Saber Benharzallah; Karim Djouani (Computing, 2021)

A multi-population genetic algorithm for adaptive QoS-aware service composition in fog-IoT healthcare environment. - Idir Aoudia; Saber Benharzallah; Laid Kahloul; Okba Kazar (Int. Arab J. Inf. Technol., 2021)

A personalized recommendation for web API discovery in social web of things. - Marwa Meissa; Saber Benharzallah; Laid Kahloul; Okba Kazar (Int. Arab J. Inf. Technol., 2021)

Performance evaluation of ODMAC protocol for WSNs powered by ambient energy. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Nadia Hamani (Int. J. Simul. Process. Model., 2021)

RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2021)

A New Deep Learning Architecture for Pneumonia Detection in Pediatrics. - Ibrahim Remaigui; Laid Kahloul; Saber Benharzallah (SSD, 2022)

Paediatric Bone Age Assessment from Hand X-ray Using Deep Learning Approach. - Achouak Zerari; Oussama Djedidi; Laid Kahloul; Carlo Romeo; Ikram Remadna (CSA, 2022)

New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ENASE, 2022)

Multi-Swarm-based Parallel Spider Monkey Optimization Algorithm. - Leyla Belaiche; Laid Kahloul; Manel Houimli; Said Bousnane; Saber Benharzallah (ICAASE, 2022)

Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2022)

A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ICSOFT (Selected Papers), 2022)

An efficient parallel version of dynamic multi-objective evolutionary algorithm. - Maroua Grid; Leyla Belaiche; Laid Kahloul; Saber Benharzallah (Int. Arab J. Inf. Technol., 2022)

A secure and intelligent real-time health monitoring system for remote cardiac patients. - Maroua Ahmid; Okba Kazar; Laid Kahloul (Int. J. Medical Eng. Informatics, 2022)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec; Laïd Kahloul (Inf. Syst., 2022)

Parallel Multi-Objective Evolutionary Algorithm for Constrained Multi-Objective Optimization. - Leyla Belaiche; Laid Kahloul; Maroua Grid; Nedjma Abidallah; Saber Benharzallah (ACIT, 2023)

Dynamic Timed Automata for Reconfigurable System Modeling and Verification. - Samir Tigane; Fayçal Guerrouf; Nadia Hamani; Laid Kahloul; Mohamed Khalgui; Masood Ashraf Ali (Axioms, 2023)

A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah (Ad Hoc Networks, 2023)

Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron. - Siham Zroug; Ikram Remadna; Laid Kahloul; Labib Sadek Terrissa; Saber Benharzallah (Clust. Comput., 2023)

On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. - Samir Tigane; Laid Kahloul; Nadia Hamani; Mohamed Khalgui; Masood Ashraf Ali (IEEE Trans. Syst. Man Cybern. Syst., 2023)

A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs. - Siham Zroug; Laid Kahloul; Samir Tigane; Nadia Hamani; Saber Benharzallah (Telecommun. Syst., 2023)

A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. - Samir Tigane; Fayçal Guerrouf; Laid Kahloul (Computing, 2023)

An AI-IoT Based Non-Invasive Solution for Predicting Glucose Levels. - Amani Othmane; Imane Youkana; Laid Kahloul; Massimo Merenda (Q-BATS, 2024)

Real Time Human Detection by Unmanned Aerial Vehicles. - Walid Guettala; Ali Sayah; Laid Kahloul; Ahmed Tibermacine (CoRR, 2024)

On formal modeling, analysis and optimization of reconfigurable manufacturing systems. - Manel Houimli; Laid Kahloul; Mohamed Khalgui (Int. J. Comput. Integr. Manuf., 2025)

Blockchain-enabled sustainable blood supply network design. - Amira Ailane; Samir Bourekkache; Nadia Hamani; Meryem Bamoumen; Laid Kahloul (Oper. Res., 2025)