Laid Kahloul - RankMe

92 papers B 7C 11Misc 1Journal 42Unranked 31

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