default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaid Kahloul
Laïd Kahloul
Person information
- affiliation: University of Biskra, LINFI Laboratory, Biskra, Algeria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j39]Manel Houimli, Laid Kahloul, Mohamed Khalgui:
On formal modeling, analysis and optimization of reconfigurable manufacturing systems. Int. J. Comput. Integr. Manuf. 38(8): 1021-1051 (2025)- [j38]Amira Ailane
, Samir Bourekkache, Nadia Hamani, Meryem Bamoumen, Laid Kahloul:
Blockchain-enabled sustainable blood supply network design. Oper. Res. 25(3): 88 (2025) - 2024
- [c50]Amani Othmane, Imane Youkana, Laid Kahloul, Massimo Merenda:
An AI-IoT Based Non-Invasive Solution for Predicting Glucose Levels. Q-BATS 2024: 116-120 - [i1]Walid Guettala, Ali Sayah, Laid Kahloul, Ahmed Tibermacine:
Real Time Human Detection by Unmanned Aerial Vehicles. CoRR abs/2401.03275 (2024) - 2023
- [j37]Zohra Hmidi, Laid Kahloul, Saber Benharzallah:
A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation. Ad Hoc Networks 142: 103108 (2023) - [j36]Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, Masood Ashraf Ali:
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12(3): 230 (2023) - [j35]Siham Zroug, Ikram Remadna, Laid Kahloul, Labib Sadek Terrissa, Saber Benharzallah:
Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron. Clust. Comput. 26(2): 1405-1423 (2023) - [j34]Samir Tigane, Fayçal Guerrouf, Laid Kahloul:
A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. Computing 105(10): 2263-2291 (2023) - [j33]Siham Zroug, Laid 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): 53-67 (2023) - [j32]Samir Tigane, Laid 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): 3311-3323 (2023) - [c49]Leyla Belaiche, Laid Kahloul, Maroua Grid, Nedjma Abidallah, Saber Benharzallah:
Parallel Multi-Objective Evolutionary Algorithm for Constrained Multi-Objective Optimization. ACIT 2023: 1-6 - 2022
- [j31]Maroua Grid, Leyla Belaiche, Laid Kahloul, Saber Benharzallah:
An efficient parallel version of dynamic multi-objective evolutionary algorithm. Int. Arab J. Inf. Technol. 19(3A): 422-431 (2022) - [j30]Maroua Ahmid, Okba Kazar, Laid Kahloul:
A secure and intelligent real-time health monitoring system for remote cardiac patients. Int. J. Medical Eng. Informatics 14(2): 134-150 (2022) - [j29]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: 101765 (2022) - [c48]Ibrahim Remaigui, Laid Kahloul, Saber Benharzallah:
A New Deep Learning Architecture for Pneumonia Detection in Pediatrics. SSD 2022: 1098-1104 - [c47]Achouak Zerari, Oussama Djedidi, Laid Kahloul, Carlo Romeo, Ikram Remadna:
Paediatric Bone Age Assessment from Hand X-ray Using Deep Learning Approach. CSA 2022: 373-383 - [c46]Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui:
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. ENASE 2022: 405-416 - [c45]Leyla Belaiche, Laid Kahloul, Manel Houimli, Said Bousnane, Saber Benharzallah:
Multi-Swarm-based Parallel Spider Monkey Optimization Algorithm. ICAASE 2022: 1-6 - [c44]Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui:
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. ICSOFT (Selected Papers) 2022: 68-97 - [c43]Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui:
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. ICSOFT 2022: 349-361 - 2021
- [j28]Siham Zroug, Laid Kahloul, Saber Benharzallah, Karim Djouani:
A hierarchical formal method for performance evaluation of WSNs protocol. Computing 103(6): 1183-1208 (2021) - [j27]Marwa Meissa, Saber Benharzallah, Laid Kahloul, Okba Kazar:
A personalized recommendation for web API discovery in social web of things. Int. Arab J. Inf. Technol. 18(3A): 438-445 (2021) - [j26]Idir Aoudia, Saber Benharzallah, Laid 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): 464-475 (2021) - [j25]Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Nadia Hamani:
Performance evaluation of ODMAC protocol for WSNs powered by ambient energy. Int. J. Simul. Process. Model. 17(1): 67-78 (2021) - [j24]Mohamed Ramdani, Laid 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): 1392-1405 (2021) - [c42]Maroua Grid, Leila Belaiche, Laid Kahloul, Saber Benharzallah:
Parallel Dynamic Multi-Objective Optimization Evolutionary Algorithm. ACIT 2021: 1-6 - [c41]Fatima Zohra Torki, Laid Kahloul, Nadia Hammani, Leila Belaiche, Saber Benharzallah:
Products Scheduling in Reconfigurable Manufacturing System Considering the Responsiveness Index. ACIT 2021: 1-6 - [c40]Siham Zroug, Ikram Remadna, Laid Kahloul, Saber Benharzallah, Labib Sadek Terrissa:
Leveraging the Power of Machine Learning for Performance Evaluation Prediction in Wireless Sensor Networks. ICIT 2021: 864-869 - 2020
- [j23]Zohra Hmidi, Laid Kahloul, Saber Benharzallah:
Using priced timed automata for the specification and verification of CSMA/CA in WSNs. Int. J. Inf. Commun. Technol. 17(2): 129-145 (2020) - [j22]Ben Attia Hasiba, Laid 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): 163-187 (2020) - [j21]Ben Attia Hasiba, Laid 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): 241 (2020) - [j20]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): 3577-3591 (2020) - [c39]Idir Aoudia, Laid Kahloul, Saber Benharzallah, Okba Kazar:
QoS-aware service composition in Fog-IoT computing using multi-population genetic algorithm. ACIT 2020: 1-9 - [c38]Marwa Meissa, Saber Benharzallah, Laid Kahloul, Okba Kazar:
Social-aware Web API Recommendation in IoT. ACIT 2020: 1-5 - [c37]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul:
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. ENASE 2020: 382-389 - [c36]Roufaida Bettira, Laid Kahloul, Mohamed Khalgui:
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. ENASE 2020: 398-406 - [c35]Maroua Ahmid, Okba Kazar, Saber Benharzallah, Laid Kahloul, Abdelhak Merizig:
An Intelligent and Secure Health Monitoring System Based on Agent. ICIoT 2020: 291-296 - [c34]Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid 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: 44-69 - [c33]Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid 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: 114-133 - [c32]Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul:
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) 2020: 227-241 - [c31]Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul:
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT 2020: 250-259 - [c30]Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Naïma Souâd Ougouti:
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT 2020: 339-349 - [c29]Hanene Rouainia, Hanen Grichi, Laid 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: 394-406 - [c28]Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul:
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT 2020: 544-551 - [c27]Samir Tigane, Laid Kahloul, Samir Bourekkache:
Configuration-Dependent Stochastic Reward Nets. MISC 2020: 294-307 - [c26]Samir Tigane, Laid Kahloul, Souheib Baarir, Samir Bourekkache:
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. VALUETOOLS 2020: 164-171
2010 – 2019
- 2019
- [j19]Idir Aoudia, Saber Benharzallah, Laid Kahloul, Okba Kazar:
Service composition approaches for internet of things: a review. Int. J. Commun. Networks Distributed Syst. 23(2): 194-230 (2019) - [j18]Abdennacer Khelaifa, Saber Benharzallah, Laid Kahloul, Reinhardt Euler, Abdelkader Laouid, Ahcène Bounceur:
A comparative analysis of adaptive consistency approaches in cloud storage. J. Parallel Distributed Comput. 129: 36-49 (2019) - [j17]Samir Tigane, Laid Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache:
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. Sci. Comput. Program. 183 (2019) - [c25]Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi:
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE 2019: 159-168 - [c24]Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani:
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) 2019: 246-266 - [c23]Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi:
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) 2019: 267-285 - [c22]Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani:
On Improved Verification of Reconfigurable Real-Time Systems. ENASE 2019: 394-401 - [c21]Yousra Hafidi, Laid Kahloul, Mohamed Khalgui:
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. ICSOFT (Selected Papers) 2019: 108-129 - [c20]Yousra Hafidi, Laid Kahloul, Mohamed Khalgui:
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT 2019: 129-140 - [c19]Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui:
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT 2019: 315-322 - [c18]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul, ZhiWu Li:
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC 2019: 2259-2266 - [c17]Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, Zhiwu Li:
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC 2019: 2364-2371 - 2018
- [j16]Ismail Kertiou, Saber Benharzallah, Laid 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: 183-196 (2018) - [j15]Farida Retima, Saber Benharzallah, Laid Kahloul, Okba Kazar:
A quality-aware context information selection based fuzzy logic in IoT environment. Int. Arab J. Inf. Technol. 15(3A): 522-531 (2018) - [j14]Samir Tigane, Laid 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): 25-44 (2018) - [j13]Manel Femmam, Okba Kazar, Laid 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): 157-169 (2018) - [j12]Ben Attia Hasiba, Laid Kahloul, Saber Benharzallah:
A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments. J. Univers. Comput. Sci. 24(4): 392-416 (2018) - [c16]Julia Padberg, Laid Kahloul:
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets 2018: 201-222 - [c15]Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui:
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT 2018: 625-632 - 2017
- [j11]Samir Bourekkache, Okba Kazar, Laid 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): 125-132 (2017) - [j10]Farida Retima, Saber Benharzallah, Laid Kahloul, Okba Kazar:
A comparative analysis of context-management approaches for the internet of things. Int. Arab J. Inf. Technol. 14(4A): 578-585 (2017) - [j9]Khadija Abid, Leila Hayet Mouss, Okba Kazar, Laid Kahloul:
Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Crit. Comput. Based Syst. 7(1): 91-117 (2017) - [c14]Manel Houimli, Laid Kahloul:
Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks. BWCCA 2017: 328-339 - [c13]Ben Attia Hasiba, Laid Kahloul, Saber Benharzallah:
A new hybrid access control model for multi-domain systems. CoDIT 2017: 766-771 - 2016
- [j8]Besma Benaziz, Okba Kazar, Laid 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): 50-67 (2016) - [j7]Laid Kahloul, Samir Bourekkache, Karim Djouani:
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29(8): 889-906 (2016) - [j6]Djemaa Boukhlouf, Okba Kazar, Laid Kahloul:
Network security: distributed intrusion detection system using mobile agent technology. Int. J. Commun. Networks Distributed Syst. 17(4): 335-347 (2016) - [c12]Imene Aloui, Okba Kazar, Laid Kahloul, Azeddine Aissaoui, Sylvie Servigne:
A new "data size" based algorithm for itinerary planning among mobile agents in wireless sensor networks. BDAW 2016: 36:1-36:9 - [c11]Samir Tigane, Laid Kahloul, Samir Bourekkache:
Net rewriting system for GSPN a RMS case study. ICAASE 2016: 38-45 - [c10]Samir Tigane, Laid Kahloul, Samir Bourekkache:
Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems. SOHOMA 2016: 383-391 - [c9]Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane:
Statistical Model Checking of CSMA/CA in WSNs. VECoS 2016: 27-42 - 2015
- [j5]Laid Kahloul, Allaoua Chaoui, Karim Djouani:
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. Int. J. Comput. Commun. Control 10(2): 211-221 (2015) - [j4]Imene Aloui, Okba Kazar, Laid 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) - [c8]Laid Kahloul:
Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels). FNC/MobiSPC 2015: 598-603 - 2014
- [j3]Laid Kahloul, Samir Bourekkache, Okba Kazar:
E-Learning "Java Programming" on Facebook!!! Big Ambitions and Important Challenges. Int. Arab. J. e Technol. 3(3): 171-178 (2014) - [j2]Laid Kahloul, Messaouda Grira:
Formal Specification and Verification of Mobile Agent Systems. Int. J. Comput. Commun. Control 9(3): 292-304 (2014) - [j1]Laid 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): 419-444 (2014) - [c7]Laid Kahloul, Allaoua Chaoui, Karim Djouani, Samir Bourekkache, Okba Kazar:
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. ADECS @ Petri Nets 2014: 1-19 - 2013
- [c6]Laid Kahloul, Karim Djouani, Allaoua Chaoui:
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS 2013: 106-117 - 2010
- [c5]Laid Kahloul, Allaoua Chaoui, Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) 2010: 343-357 - [c4]Laid 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: 604-618 - [c3]Laid Kahloul, Allaoua Chaoui, Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE 2010: 107-116
2000 – 2009
- 2008
- [c2]Laid Kahloul, Allaoua Chaoui:
Code mobility modeling: a temporal labeled reconfigurable nets. MOBILWARE 2008: 34 - 2005
- [c1]Laid Kahloul, Kamel Barkaoui, Zaïdi Sahnoun:
Using AUML to derive formal modeling agents interactions. AICCSA 2005: 109
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-16 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
