
Lazhar HamelUniversity of Monastir | UTM · Institut Supérieur d'Informatique et des Mathématiques de Monastir
Lazhar Hamel
PhD
Assistant Professor and head of the computer science department
About
37
Publications
2,578
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
136
Citations
Introduction
I am assistant professor of computing science at University of Monastir ( Institut Supérieur d'Informatique et de Mathématiques de Monastir ). I am working in the domain of formal methods and its applications. See my webpage www.sites.google.com/view/lazharhamel/
Additional affiliations
August 2021 - present
Institut Supérieur d'Informatique et de Mathématiques de Monastir
Position
- Head of Department
September 2020 - December 2021
ISIM Monastir, Institut superieur d'informatique et de Mathématiques de Monastir
Position
- Professor (Assistant)
October 2011 - September 2020
ISIM Monastir, Institut superieur d'informatique et de mathématiques
Position
- Assistant
Publications
Publications (37)
During the early phases of software system development, error detection can be challenging due to the complexity of both the requirements and the operating environments. This paper advocates for the utilization of formal modelling and verification throughout the first phases of systems development to promptly detect and correct errors. The formalis...
The Internet of Things (IoT) is a network of devices that can communicate and cooperate over the Internet. As the IoT expands, guaranteeing the dependability and accuracy of communication systems becomes increasingly important. One of the key challenges faced in the process of system development is the need to detection the errors in the early phas...
Internet of Things (IoT) is a finite set of interconnected devices that can cooperate and interact with each other through the Internet. As the number of IoT devices have increased, the number of services increased as well, further complicating the process of service composition. In this paper, an Event-B formal model is presented to verify the cor...
The Internet of Things (IoT) comprises a group of interconnected devices that communicate through the internet, necessitating a robust infrastructure and security protocols. Within this ecosystem, the Content-based Publish-Subscribe (CBPS) messaging paradigm enables devices to subscribe to specific data or events. However, as the number of messages...
A system based on the internet of things (IoT) consists of services deployed across several devices that collaborate to fulfil IoT system goals. The growth in the number of IoT services that has occurred concurrently with the growth in the number of IoT devices is posing a significant difficulty for the process of service composition. In order to s...
IoT devices are more important than ever. In a connected world, IoT devices have many uses. They are no longer merely used at work; they are part of our everyday lives. Security concerns arise if the devices generate, collect, or process sensitive data. Physical layer security controls are the cornerstone once the risk for humans increases when phy...
Nowadays, The Internet of Things(IoT) has shown an increased interest in the academic literature, while its implementations became involved in almost every aspect of life in modern society. IoT is the integration of virtual and physical things through distributed services to collect and share data among themselves. The number of architecture approa...
The Internet of Things (IoT) defines the collection of devices and systems that connect real-world sensors and actuators to the Internet. This interconnection is accomplished by the use of various protocols and appropriate communication technologies for heterogeneous objects and services. However, the modeling of these different IoT protocols for v...
In the last few years, the Internet of Things (IoT) has emerged as a new paradigm aimed at providing technological solutions for the monitoring and control of physical entities (so-called objects - cars, furniture, buildings). These new solutions encompass heterogeneous devices capable of: capturing information about the physical entities to which...
The execution context of the cloud composite services is dynamically and rapidly changing. In the cloud environment, the service demands can increase/decrease in a restrained time interval. Due to this fact, cloud composite services have to evolve continuously by scaling up/down their capacity to handle new demands. Scaling up consists in making a...
One of the most important issues in the Cloud environment is to adapt to increasing or decreasing customer demands. The demand on Cloud services varies depending on user needs. To meet this need, Cloud services must increase/decrease their capacities according to users demands in a restraint time interval. Therefore, Cloud services have to evolve c...
Recently, a considerable literature has grown up around the theme of composite services verification. Namely, the verification of the non-functional aspect generally consisting of optimizing the quality of service (QoS) of the composite service. Great efforts have been devoted to the study of several optimization methods and their impact on the QoS...
Many disciplines have adopted component-based principles to avail themselves of the many advantages they bring, especially component reusability. In a short time, the component-based architecture became a renown branch in the IT world and the center of interest of many researchers. Much work has been conducted in this context for the verification o...
One of the key characteristics of the Cloud environment is hight dynamicity; constantly new services are added and others are deleted due to unavailability, faulty behaviour or performance degradation. Cloud services can be packaged together and offered as a composite service to overcome the atomic service’s shortage or respond to specific user dem...
The verification of the Cloud composite services’ correctness is challenging. In fact, multiple component services, derived from different Cloud providers with different service description languages and communication protocols, are involved in the composition which may raise incompatibility issues that in turn lead to a non-consistent composition....
With the emergence of the Cloud computing paradigm, service composition has received much interests as it satisfies complex user requirements. Service composition promote reuse, interoperability, and loosely coupled interaction. However, verifying the correctness of a composition remains a tedious task. To ensure the correctness of a composite serv...
With the emergence of the Cloud computing paradigm, interests were focused on representing and verifying the Cloud architecture in a formal way in order to prevent eventual failures and deadlocks. Service composition promotes reuse, interoperability, and loosely coupled interaction. However, verifying the correctness of a composite service remains...
Cloud environments are being increasingly used for the deployment and execution of complex applications and particularly component-based ones. They are expected to provide elasticity, among other characteristics, in order to allow a deployed application to rapidly change the amount of its allocated resources in order to meet the variation in demand...
With the advent of Cloud computing, services are more and more deployed on the worldwide and enterprises are massively migrating their application to the cloud. By nature, enterprises requirements are complex unlike provided Cloud services which are more simple and atomic.
Therefore a significant research problem, is how to compose a set of indepen...
The reconfigurable composite services (CWSs) can repair itself if any execution problems occur, in order to complete successfully its own execution. The research problem in which we are interested in is how to ensure the correctness of reconfigurable CWSs. This paper proposes an incremental design approach for modeling and verifying reconfigurable...
Service Component Architecture (SCA) is a set of specifications which describe a model for building applications and systems using a Service-Oriented Architecture (SOA). However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA compositio...
With the emergence of Service Component Architecture (SCA), all interests were focused on representing this architecture in a formal way in order to be able to prevent the specifications failures. In this context, our recent works were interested in formalising structural properties of the SCA specifications, particularly to defining structural com...
Service Component Architecture (SCA) is a new promising programming model for constructing service-oriented application, which facilitates the development of business integration in SOA. However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to preve...
Verifying Web service composition in a dynamic environment remains one of the most difficult tasks despite the efforts and the previous proposed research works because new services can be composed during the execution step and others can automatically appear, disappear, or be updated. To achieve the Web service composition specification and verific...
The capacity of a composite service to change configuration according to the component services behavior is essential. In particular, this reconfiguration should be done dynamically without disturbing the service execution. To the best of our knowledge, few works were interested in verifying the coherence of this dynamic reconfiguration. By dynamic...
The capacity of a composite service to change configuration according to the component services behavior is essential. In particular, this reconfiguration should be done dynamically without disturbing the service execution. To the best of our knowledge, few works were interested in verifying the coherence of this dynamic reconfiguration. By dynamic...
A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execu...
Web services are software components accessible via Internet. Web services are defined independently from any execution context. A key challenge of Web service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of...