default search action
Laïd Kahloul
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i1]Walid Guettala, Ali Sayah, Laïd Kahloul, Ahmed Tibermacine:
Real Time Human Detection by Unmanned Aerial Vehicles. CoRR abs/2401.03275 (2024) - 2023
- [j37]Zohra Hmidi
, Laïd Kahloul
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
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12(3): 230 (2023) - [j35]Siham Zroug
Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron. Clust. Comput. 26(2): 1405-1423 (2023) - [j34]Samir Tigane
A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. Computing 105(10): 2263-2291 (2023) - [j33]Siham Zroug
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
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53(6): 3311-3323 (2023) - [c49]Leyla Belaiche, Laïd Kahloul, Maroua Grid
Parallel Multi-Objective Evolutionary Algorithm for Constrained Multi-Objective Optimization. ACIT 2023: 1-6 - 2022
- [j31]Maroua Grid
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
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
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104: 101765 (2022) - [c48]Ibrahim Remaigui, Laïd Kahloul, Saber Benharzallah:
A New Deep Learning Architecture for Pneumonia Detection in Pediatrics. SSD 2022: 1098-1104 - [c47]Achouak Zerari, Oussama Djedidi
Paediatric Bone Age Assessment from Hand X-ray Using Deep Learning Approach. CSA 2022: 373-383 - [c46]Hanene Rouainia
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
Multi-Swarm-based Parallel Spider Monkey Optimization Algorithm. ICAASE 2022: 1-6 - [c44]Hanene Rouainia
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
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. ICSOFT 2022: 349-361 - 2021
- [j28]Siham Zroug
A hierarchical formal method for performance evaluation of WSNs protocol. Computing 103(6): 1183-1208 (2021) - [j27]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): 438-445 (2021) - [j26]Idir Aoudia
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, 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): 67-78 (2021) - [j24]Mohamed Ramdani
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
Parallel Dynamic Multi-Objective Optimization Evolutionary Algorithm. ACIT 2021: 1-6 - [c41]Fatima Zohra Torki, Laïd Kahloul, Nadia Hammani
Products Scheduling in Reconfigurable Manufacturing System Considering the Responsiveness Index. ACIT 2021: 1-6 - [c40]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: 864-869 - 2020
- [j23]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): 129-145 (2020) - [j22]Ben Attia Hasiba, Laïd Kahloul
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, Laïd Kahloul
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
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
QoS-aware service composition in Fog-IoT computing using multi-population genetic algorithm. ACIT 2020: 1-9 - [c38]Marwa Meissa, Saber Benharzallah, Laïd Kahloul, Okba Kazar
Social-aware Web API Recommendation in IoT. ACIT 2020: 1-5 - [c37]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: 382-389 - [c36]Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui:
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. ENASE 2020: 398-406 - [c35]Maroua Ahmid
An Intelligent and Secure Health Monitoring System Based on Agent. ICIoT 2020: 291-296 - [c34]Chams Eddine Choucha
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
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
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, Laïd 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
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT 2020: 339-349 - [c29]Hanene Rouainia
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
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT 2020: 544-551 - [c27]Samir Tigane
Configuration-Dependent Stochastic Reward Nets. MISC 2020: 294-307 - [c26]Samir Tigane
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. VALUETOOLS 2020: 164-171
2010 – 2019
- 2019
- [j19]Idir Aoudia
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
A comparative analysis of adaptive consistency approaches in cloud storage. J. Parallel Distributed Comput. 129: 36-49 (2019) - [j17]Samir Tigane
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. Sci. Comput. Program. 183 (2019) - [c25]Mohamed Ramdani
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE 2019: 159-168 - [c24]Yousra Hafidi
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) 2019: 246-266 - [c23]Mohamed Ramdani
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) 2019: 267-285 - [c22]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
On Improved Verification of Reconfigurable Real-Time Systems. ENASE 2019: 394-401 - [c21]Yousra Hafidi
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, Laïd Kahloul, Mohamed Khalgui
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT 2019: 129-140 - [c19]Mohamed Ramdani
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT 2019: 315-322 - [c18]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC 2019: 2259-2266 - [c17]Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC 2019: 2364-2371 - 2018
- [j16]Ismail Kertiou, Saber Benharzallah
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, Laïd 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, 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): 25-44 (2018) - [j13]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): 157-169 (2018) - [j12]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): 392-416 (2018) - [c16]Julia Padberg, Laïd Kahloul
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets 2018: 201-222 - [c15]Mohamed Ramdani
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT 2018: 625-632 - 2017
- [j11]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): 125-132 (2017) - [j10]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): 578-585 (2017) - [j9]Khadija Abid, Leila Hayet Mouss, Okba Kazar
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, Laïd Kahloul:
Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks. BWCCA 2017: 328-339 - [c13]Ben Attia Hasiba, Laïd Kahloul
A new hybrid access control model for multi-domain systems. CoDIT 2017: 766-771 - 2016
- [j8]Besma Benaziz, Okba Kazar
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]Laïd Kahloul
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29(8): 889-906 (2016) - [j6]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): 335-347 (2016) - [c12]Imene Aloui, Okba Kazar
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
Net rewriting system for GSPN a RMS case study. ICAASE 2016: 38-45 - [c10]Samir Tigane
Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems. SOHOMA 2016: 383-391 - [c9]Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Cherifa Othmane:
Statistical Model Checking of CSMA/CA in WSNs. VECoS 2016: 27-42 - 2015
- [j5]Laïd Kahloul
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, 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) - [c8]Laïd Kahloul
Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels). FNC/MobiSPC 2015: 598-603 - 2014
- [j3]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): 171-178 (2014) - [j2]Laïd Kahloul
Formal Specification and Verification of Mobile Agent Systems. Int. J. Comput. Commun. Control 9(3): 292-304 (2014) - [j1]Laïd Kahloul
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]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: 1-19 - 2013
- [c6]Laïd Kahloul
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS 2013: 106-117 - 2010
- [c5]Laïd Kahloul
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) 2010: 343-357 - [c4]Laïd Kahloul
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. NDT (2) 2010: 604-618 - [c3]Laïd Kahloul
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE 2010: 107-116
2000 – 2009
- 2008
- [c2]Laïd Kahloul, Allaoua Chaoui:
Code mobility modeling: a temporal labeled reconfigurable nets. MOBILWARE 2008: 34 - 2005
- [c1]Laïd Kahloul
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 2024-10-07 22: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: