دنبال کردن
Laid Kahloul
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
662017
Overview of reconfigurable Petri nets‏
J Padberg, L Kahloul‏
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018‏
472018
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‏
462018
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‏
402015
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‏
392018
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‏
342016
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‏
332019
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‏
222020
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‏
202019
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‏
202013
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‏
202010
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‏
192020
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‏
182021
A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations‏
S Houhou, S Baarir, P Poizat, P Quéinnec, L Kahloul‏
Information systems 104, 101765, 2022‏
172022
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‏
172022
A hierarchical formal method for performance evaluation of WSNs protocol‏
S Zroug, L Kahloul, S Benharzallah, K Djouani‏
Computing 103 (6), 1183-1208, 2021‏
172021
A new hybrid access control model for security policies in multimodal applications environments‏
HB Attia, L Kahloul, S Benharzallah‏
J. Univ. Comput. Sci 24, 392-416, 2018‏
162018
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‏
152021
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‏
152016
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‏
142019
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20