Laïd Kahloul

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 74

Top Topics

Manufacturing Systems

Sensor Networks

Top Venues

Int. Arab J. Inf. Technol.

ICSOFT (Selected Papers)

Publications

Walid Guettala, Ali Sayah, Laïd Kahloul, Ahmed Tibermacine
Real Time Human Detection by Unmanned Aerial Vehicles. CoRR (2024)
Samir Tigane, Laïd Kahloul, Nadia Hamani, Mohamed Khalgui, Masood Ashraf Ali
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (6) (2023)
Zohra Hmidi, Laïd Kahloul, Saber Benharzallah
A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation. Ad Hoc Networks 142 (2023)
Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laïd Kahloul, Mohamed Khalgui, Masood Ashraf Ali
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12 (3) (2023)
Siham Zroug, Ikram Remadna, Laïd Kahloul, Labib Sadek Terrissa, Saber Benharzallah
Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron. Clust. Comput. 26 (2) (2023)
Leyla Belaiche, Laïd Kahloul, Maroua Grid, Nedjma Abidallah, Saber Benharzallah
Parallel Multi-Objective Evolutionary Algorithm for Constrained Multi-Objective Optimization. ACIT (2023)
Samir Tigane, Fayçal Guerrouf, Laïd Kahloul
A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. Computing 105 (10) (2023)
Siham Zroug, Laïd Kahloul, Samir Tigane, Nadia Hamani, Saber Benharzallah
A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs. Telecommun. Syst. 84 (1) (2023)
Maroua Ahmid, Okba Kazar, Laïd Kahloul
A secure and intelligent real-time health monitoring system for remote cardiac patients. Int. J. Medical Eng. Informatics 14 (2) (2022)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. ICSOFT (2022)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104 (2022)
Ibrahim Remaigui, Laïd Kahloul, Saber Benharzallah
A New Deep Learning Architecture for Pneumonia Detection in Pediatrics. SSD (2022)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. ENASE (2022)
Maroua Grid, Leila Belaiche, Laïd Kahloul, Saber Benharzallah
An efficient parallel version of dynamic multi-objective evolutionary algorithm. Int. Arab J. Inf. Technol. 19 (3A) (2022)
Achouak Zerari, Oussama Djedidi, Laïd Kahloul, Carlo Romeo, Ikram Remadna
Paediatric Bone Age Assessment from Hand X-ray Using Deep Learning Approach. CSA (2022)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. ICSOFT (Selected Papers) (2022)
Leyla Belaiche, Laïd Kahloul, Manel Houimli, Said Bousnane, Saber Benharzallah
Multi-Swarm-based Parallel Spider Monkey Optimization Algorithm. ICAASE (2022)
Siham Zroug, Laïd Kahloul, Saber Benharzallah, Karim Djouani
A hierarchical formal method for performance evaluation of WSNs protocol. Computing 103 (6) (2021)
Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Nadia Hamani
Performance evaluation of ODMAC protocol for WSNs powered by ambient energy. Int. J. Simul. Process. Model. 17 (1) (2021)
Marwa Meissa, Saber Benharzallah, Laïd Kahloul, Okba Kazar
A personalized recommendation for web API discovery in social web of things. Int. Arab J. Inf. Technol. 18 (3A) (2021)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, MengChu Zhou
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Fatima Zohra Torki, Laïd Kahloul, Nadia Hammani, Leila Belaiche, Saber Benharzallah
Products Scheduling in Reconfigurable Manufacturing System Considering the Responsiveness Index. ACIT (2021)
Idir Aoudia, Saber Benharzallah, Laïd Kahloul, Okba Kazar
A multi-population genetic algorithm for adaptive QoS-aware service composition in fog-IoT healthcare environment. Int. Arab J. Inf. Technol. 18 (3A) (2021)
Siham Zroug, Ikram Remadna, Laïd Kahloul, Saber Benharzallah, Labib Sadek Terrissa
Leveraging the Power of Machine Learning for Performance Evaluation Prediction in Wireless Sensor Networks. ICIT (2021)
Maroua Grid, Leila Belaiche, Laïd Kahloul, Saber Benharzallah
Parallel Dynamic Multi-Objective Optimization Evolutionary Algorithm. ACIT (2021)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. ICSOFT (2020)
Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. VALUETOOLS (2020)
Ben Attia Hasiba, Laïd Kahloul, Saber Benhazrallah, Samir Bourekkache
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. Int. J. Inf. Sec. 19 (2) (2020)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT (2020)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Maroua Ahmid, Okba Kazar, Saber Benharzallah, Laïd Kahloul, Abdelhak Merizig
An Intelligent and Secure Health Monitoring System Based on Agent. ICIoT (2020)
Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. ENASE (2020)
Ben Attia Hasiba, Laïd Kahloul, Saber Benharzallah, Samir Bourekkache
Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. Int. J. Inf. Sec. 19 (2) (2020)
Samir Tigane, Laïd Kahloul, Samir Bourekkache
Configuration-Dependent Stochastic Reward Nets. MISC (2020)
Zohra Hmidi, Laïd Kahloul, Saber Benharzallah
Using priced timed automata for the specification and verification of CSMA/CA in WSNs. Int. J. Inf. Commun. Technol. 17 (2) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) (2020)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. ICSOFT (Selected Papers) (2020)
Marwa Meissa, Saber Benharzallah, Laïd Kahloul, Okba Kazar
Social-aware Web API Recommendation in IoT. ACIT (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. ICSOFT (Selected Papers) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT (2020)
Idir Aoudia, Laïd Kahloul, Saber Benharzallah, Okba Kazar
QoS-aware service composition in Fog-IoT computing using multi-population genetic algorithm. ACIT (2020)
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. ENASE (2020)
Idir Aoudia, Saber Benharzallah, Laïd Kahloul, Okba Kazar
Service composition approaches for internet of things: a review. Int. J. Commun. Networks Distributed Syst. 23 (2) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
On Improved Verification of Reconfigurable Real-Time Systems. ENASE (2019)
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul, ZhiWu Li
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. ICSOFT (Selected Papers) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE (2019)
Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC (2019)
Samir Tigane, Laïd Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. Sci. Comput. Program. 183 (2019)
Abdennacer Khelaifa, Saber Benharzallah, Laïd Kahloul, Reinhardt Euler, Abdelkader Laouid, Ahcène Bounceur
A comparative analysis of adaptive consistency approaches in cloud storage. J. Parallel Distributed Comput. 129 (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT (2019)
Manel Femmam, Okba Kazar, Laïd Kahloul, Mohamed El-Kabir Fareh
Labelled evolutionary Petri nets/genetic algorithm based approach for workflow scheduling in cloud computing. Int. J. Grid Util. Comput. 9 (2) (2018)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT (2018)
Julia Padberg, Laïd Kahloul
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets (2018)
Farida Retima, Saber Benharzallah, Laïd Kahloul, Okba Kazar
A quality-aware context information selection based fuzzy logic in IoT environment. Int. Arab J. Inf. Technol. 15 (3A) (2018)
Samir Tigane, Laïd Kahloul, Samir Bourekkache, Souheib Baarir
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. Int. J. Crit. Comput. Based Syst. 8 (1) (2018)
Ismail Kertiou, Saber Benharzallah, Laïd Kahloul, Mounir Beggas, Reinhardt Euler, Abdelkader Laouid, Ahcène Bounceur
A dynamic skyline technique for a context-aware selection of the best sensors in an IoT architecture. Ad Hoc Networks 81 (2018)
Ben Attia Hasiba, Laïd Kahloul, Saber Benharzallah
A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments. J. Univers. Comput. Sci. 24 (4) (2018)
Samir Bourekkache, Okba Kazar, Laïd Kahloul, Samir Tigane, Aïcha-Nabila Benharkat
Educative and Adaptive System for Personalized Learning: Learning Styles and Content Adaptation. Int. Arab. J. e Technol. 4 (3) (2017)
Ben Attia Hasiba, Laïd Kahloul, Saber Benharzallah
A new hybrid access control model for multi-domain systems. CoDIT (2017)
Farida Retima, Saber Benharzallah, Laïd Kahloul, Okba Kazar
A comparative analysis of context-management approaches for the internet of things. Int. Arab J. Inf. Technol. 14 (4A) (2017)
Manel Houimli, Laïd Kahloul
Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks. BWCCA (2017)
Khadija Abid, Leila Hayet Mouss, Okba Kazar, Laïd Kahloul
Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Crit. Comput. Based Syst. 7 (1) (2017)
Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Cherifa Othmane
Statistical Model Checking of CSMA/CA in WSNs. VECoS (2016)
Besma Benaziz, Okba Kazar, Laïd Kahloul, Ilham Kitouni, Samir Bourekkache
Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks: Multi-Agent System Approach. Int. J. Agric. Environ. Inf. Syst. 7 (4) (2016)
Samir Tigane, Laïd Kahloul, Samir Bourekkache
Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems. SOHOMA (2016)
Laïd Kahloul, Samir Bourekkache, Karim Djouani
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29 (8) (2016)
Djemaa Boukhlouf, Okba Kazar, Laïd Kahloul
Network security: distributed intrusion detection system using mobile agent technology. Int. J. Commun. Networks Distributed Syst. 17 (4) (2016)
Samir Tigane, Laïd Kahloul, Samir Bourekkache
Net rewriting system for GSPN a RMS case study. ICAASE (2016)
Imene Aloui, Okba Kazar, Laïd Kahloul, Azeddine Aissaoui, Sylvie Servigne
A new "data size" based algorithm for itinerary planning among mobile agents in wireless sensor networks. BDAW (2016)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. Int. J. Comput. Commun. Control 10 (2) (2015)
Imene Aloui, Okba Kazar, Laïd Kahloul, Sylvie Servigne
A new Itinerary planning approach among multiple mobile agents in wireless sensor networks (WSN) to reduce energy consumption. Int. J. Commun. Networks Inf. Secur. 7 (2) (2015)
Laïd Kahloul
Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels). FNC/MobiSPC (2015)
Laïd Kahloul, Samir Bourekkache, Okba Kazar
E-Learning "Java Programming" on Facebook!!! Big Ambitions and Important Challenges. Int. Arab. J. e Technol. 3 (3) (2014)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani, Samir Bourekkache, Okba Kazar
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. ADECS @ Petri Nets (2014)
Laïd Kahloul, Messaouda Grira
Formal Specification and Verification of Mobile Agent Systems. Int. J. Comput. Commun. Control 9 (3) (2014)
Laïd Kahloul, Samir Bourekkache, Karim Djouani, Allaoua Chaoui, Okba Kazar
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. Int. J. Softw. Eng. Knowl. Eng. 24 (3) (2014)
Laïd Kahloul, Karim Djouani, Allaoua Chaoui
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS (2013)
Laïd Kahloul, Karim Djouani, Walid Tfaili, Allaoua Chaoui, Yacine Amirat
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. NDT (2) (2010)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) (2010)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE (2010)
Laïd Kahloul, Allaoua Chaoui
Code mobility modeling: a temporal labeled reconfigurable nets. MOBILWARE (2008)
Laïd Kahloul, Kamel Barkaoui, Zaïdi Sahnoun
Using AUML to derive formal modeling agents interactions. AICCSA (2005)