Professeur en informatique
Verified email at
Cited by
Cited by
Formal specification, verification and evaluation of the MQTT protocol in the Internet of Things
M Houimli, L Kahloul, S Benaoun
2017 International conference on mathematics and information technology …, 2017
Overview of reconfigurable Petri nets
J Padberg, L Kahloul
Graph Transformation, Specifications, and Nets, 201-222, 2018
A new itinerary planning approach among multiple mobile agents in wireless sensor networks (WSN) to reduce energy consumption
I Aloui, O Kazar, L Kahloul, S Servigne
International Journal of Communication Networks and Information Security …, 2015
On methodology for the verification of reconfigurable timed net condition/event systems
Y Hafidi, L Kahloul, M Khalgui, Z Li, K Alnowibet, T Qu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3577-3591, 2018
A dynamic skyline technique for a context-aware selection of the best sensors in an IoT architecture
I Kertiou, S Benharzallah, L Kahloul, M Beggas, R Euler, A Laouid, ...
Ad Hoc Networks 81, 183-196, 2018
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets
L Kahloul, S Bourekkache, K Djouani
International Journal of Computer Integrated Manufacturing 29 (8), 889-906, 2016
Formal study of reconfigurable manufacturing systems: A high level Petri nets based approach
L Kahloul, K Djouani, A Chaoui
Industrial Applications of Holonic and Multi-Agent Systems, 106-117, 2013
Service composition approaches for internet of things: a review
I Aoudia, S Benharzallah, L Kahloul, O Kazar
International Journal of Communication Networks and Distributed Systems 23 …, 2019
Modeling and analysis of reconfigurable systems using flexible petri nets
L Kahloul, A Chaoui, K Djouani
2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010
Using hierarchical timed coloured petri nets in the formal study of TRBAC security policies
H Ben Attia, L Kahloul, S Benhazrallah, S Bourekkache
International Journal of Information Security 19 (2), 163-187, 2020
Coloured reconfigurable nets for code mobility modeling
K Laid, C Allaoua
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
M Ramdani, L Kahloul, M Khalgui
ICSOFT, 625-632, 2018
Network security: Distributed intrusion detection system using mobile agent technology.
D Boukhlouf, O Kazar, L Kahloul
Int. J. Commun. Networks Distributed Syst. 17 (4), 335-347, 2016
A comparative analysis of adaptive consistency approaches in cloud storage
A Khelaifa, S Benharzallah, L Kahloul, R Euler, A Laouid, A Bounceur
Journal of Parallel and Distributed Computing 129, 36-49, 2019
The optimal process planning for reconfigurable manufacturing systems
L Belaiche, L Kahloul
2017 International Conference on Mathematics and Information Technology …, 2017
Modeling and verification of rbac security policies using colored petri nets and cpn-tool
L Kahloul, K Djouani, W Tfaili, A Chaoui, Y Amirat
International Conference on Networked Digital Technologies, 604-618, 2010
Reconfigurable stochastic Petri nets for reconfigurable manufacturing systems
S Tigane, L Kahloul, S Bourekkache
International Workshop on Service Orientation in Holonic and Multi-Agent …, 2016
Statistical Model Checking of CSMA/CA in WSNs.
Z Hmidi, L Kahloul, S Benharzallah, C Othmane
VECoS, 27-42, 2016
Using AUML to derive formal modeling agents interactions
L Kahloul, K Barkaoui, Z Sahnoun
The 3rd ACS/IEEE International Conference onComputer Systems and …, 2005
An intelligent and secure health monitoring system based on agent
M Ahmid, O Kazar, S Benharzallah, L Kahloul, A Merizig
2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20