Laïd Kahloul
Orcid: 0000-0002-9739-7715
According to our database1,
Laïd Kahloul
authored at least 87 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Computing, October, 2023
A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs.
Telecommun. Syst., September, 2023
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023
Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron.
Clust. Comput., April, 2023
A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation.
Ad Hoc Networks, April, 2023
Axioms, 2023
Parallel Multi-Objective Evolutionary Algorithm for Constrained Multi-Objective Optimization.
Proceedings of the 24th International Arab Conference on Information Technology, 2023
2022
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
Inf. Syst., 2022
A secure and intelligent real-time health monitoring system for remote cardiac patients.
Int. J. Medical Eng. Informatics, 2022
Int. Arab J. Inf. Technol., 2022
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology.
Proceedings of the Software Technologies - 17th International Conference, 2022
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator.
Proceedings of the 17th International Conference on Software Technologies, 2022
Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022
Proceedings of the Advances in Computing Systems and Applications, 2022
Proceedings of the 19th International Multi-Conference on Systems, Signals & Devices, 2022
2021
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2021
Int. J. Simul. Process. Model., 2021
Int. Arab J. Inf. Technol., 2021
A multi-population genetic algorithm for adaptive QoS-aware service composition in fog-IoT healthcare environment.
Int. Arab J. Inf. Technol., 2021
Computing, 2021
Leveraging the Power of Machine Learning for Performance Evaluation Prediction in Wireless Sensor Networks.
Proceedings of the International Conference on Information Technology, 2021
Products Scheduling in Reconfigurable Manufacturing System Considering the Responsiveness Index.
Proceedings of the 22nd International Arab Conference on Information Technology, 2021
Proceedings of the 22nd International Arab Conference on Information Technology, 2021
2020
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2020
Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies.
Int. J. Inf. Sec., 2020
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies.
Int. J. Inf. Sec., 2020
Using priced timed automata for the specification and verification of CSMA/CA in WSNs.
Int. J. Inf. Commun. Technol., 2020
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification.
Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020
Proceedings of the Modelling and Implementation of Complex Systems, 2020
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
Proceedings of the Software Technologies - 15th International Conference, 2020
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
Proceedings of the 15th International Conference on Software Technologies, 2020
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints.
Proceedings of the 15th International Conference on Software Technologies, 2020
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.
Proceedings of the 15th International Conference on Software Technologies, 2020
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
Proceedings of the Software Technologies - 15th International Conference, 2020
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
Proceedings of the Software Technologies - 15th International Conference, 2020
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
Proceedings of the 15th International Conference on Software Technologies, 2020
Proceedings of the IEEE International Conference on Informatics, 2020
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020
Proceedings of the 21st International Arab Conference on Information Technology, 2020
QoS-aware service composition in Fog-IoT computing using multi-population genetic algorithm.
Proceedings of the 21st International Arab Conference on Information Technology, 2020
2019
Sci. Comput. Program., 2019
J. Parallel Distributed Comput., 2019
Int. J. Commun. Networks Distributed Syst., 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.
Proceedings of the Software Technologies - 14th International Conference, 2019
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
2018
A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments.
J. Univers. Comput. Sci., 2018
Labelled evolutionary Petri nets/genetic algorithm based approach for workflow scheduling in cloud computing.
Int. J. Grid Util. Comput., 2018
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems.
Int. J. Crit. Comput. Based Syst., 2018
Int. Arab J. Inf. Technol., 2018
A dynamic skyline technique for a context-aware selection of the best sensors in an IoT architecture.
Ad Hoc Networks, 2018
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Int. J. Crit. Comput. Based Syst., 2017
Int. Arab J. Inf. Technol., 2017
Educative and Adaptive System for Personalized Learning: Learning Styles and Content Adaptation.
Int. Arab. J. e Technol., 2017
Proceedings of the 4th International Conference on Control, 2017
Proceedings of the Advances on Broad-Band Wireless Computing, 2017
2016
Network security: distributed intrusion detection system using mobile agent technology.
Int. J. Commun. Networks Distributed Syst., 2016
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets.
Int. J. Comput. Integr. Manuf., 2016
Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks: Multi-Agent System Approach.
Int. J. Agric. Environ. Inf. Syst., 2016
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016
Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016
A new "data size" based algorithm for itinerary planning among mobile agents in wireless sensor networks.
Proceedings of the International Conference on Big Data and Advanced Wireless Technologies, 2016
2015
A new Itinerary planning approach among multiple mobile agents in wireless sensor networks (WSN) to reduce energy consumption.
Int. J. Commun. Networks Inf. Secur., 2015
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism.
Int. J. Comput. Commun. Control, 2015
Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels).
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015
2014
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems.
Int. J. Softw. Eng. Knowl. Eng., 2014
Int. J. Comput. Commun. Control, 2014
Int. Arab. J. e Technol., 2014
Proceedings of the ADECS 2014, 2014
2013
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2013
2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool.
Proceedings of the Networked Digital Technologies - Second International Conference, 2010
Proceedings of the Networked Digital Technologies - Second International Conference, 2010
2008
Proceedings of the 1st International Conference on MOBILe Wireless MiddleWARE, 2008
2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005