Følg
Laid Kahloul
Tittel
Sitert av
Sitert av
År
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
602017
Overview of reconfigurable Petri nets
J Padberg, L Kahloul
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
422018
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
382018
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
372015
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
352018
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
332016
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
322019
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
212013
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
202020
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 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 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
172019
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
The optimal process planning for reconfigurable manufacturing systems
L Belaiche, L Kahloul
2017 International Conference on Mathematics and Information Technology …, 2017
142017
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
142017
Coloured reconfigurable nets for code mobility modeling
K Laid, C Allaoua
Int. J. Comput., Commun. Control 1 (2), 91-96, 2008
142008
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
132022
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
132018
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
122022
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20