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 | 62 | 2017 |
Overview of reconfigurable Petri nets J Padberg, L Kahloul Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 42 | 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 | 40 | 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 | 38 | 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 | 35 | 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 | 33 | 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 | 32 | 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 | 21 | 2013 |
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 | 20 | 2020 |
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 | 20 | 2010 |
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 | 18 | 2020 |
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 | 18 | 2019 |
A hierarchical formal method for performance evaluation of WSNs protocol S Zroug, L Kahloul, S Benharzallah, K Djouani Computing 103 (6), 1183-1208, 2021 | 17 | 2021 |
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 | 15 | 2016 |
A deep learning approach for the diabetic retinopathy detection R Sebti, S Zroug, L Kahloul, S Benharzallah The Proceedings of the International Conference on Smart City Applications …, 2021 | 14 | 2021 |
A multi-population genetic algorithm for adaptive QoS-aware service composition in fog-IoT healthcare environment. I Aoudia, S Benharzallah, L Kahloul, O Kazar Int. Arab J. Inf. Technol. 18 (3A), 464-475, 2021 | 14 | 2021 |
The optimal process planning for reconfigurable manufacturing systems L Belaiche, L Kahloul 2017 International Conference on Mathematics and Information Technology …, 2017 | 14 | 2017 |
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 | 14 | 2017 |
A secure and intelligent real-time health monitoring system for remote cardiac patients M Ahmid, O Kazar, L Kahloul International Journal of Medical Engineering and Informatics 14 (2), 134-150, 2022 | 13 | 2022 |
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 | 12 | 2019 |