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: In Memory of Hartmut Ehrig …, 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
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
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: 6th …, 2013
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
Network security: distributed intrusion detection system using mobile agent technology
D Boukhlouf, O Kazar, L Kahloul
International Journal of Communication Networks and Distributed Systems 17 …, 2016
Coloured reconfigurable nets for code mobility modeling
K Laid, C Allaoua
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
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
M Ramdani, L Kahloul, M Khalgui
ICSOFT, 625-632, 2018
Reconfigurable stochastic petri nets for reconfigurable manufacturing systems
S Tigane, L Kahloul, S Bourekkache
Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of …, 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
Networked Digital Technologies: Second International Conference, NDT 2010 …, 2010
A hierarchical formal method for performance evaluation of WSNs protocol
S Zroug, L Kahloul, S Benharzallah, K Djouani
Computing 103 (6), 1183-1208, 2021
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
Bi-objective framework for planning a supply chain process in reconfigurable manufacturing systems
L Belaiche, L Kahloul, S Benharzallah, Y Hafidi
IFAC-PapersOnLine 52 (13), 1675-1680, 2019
The system can't perform the operation now. Try again later.
Articles 1–20