Lazhar Hamel

Lazhar Hamel
Verified
Lazhar verified their affiliation via an institutional email.
Verified
Lazhar verified their affiliation via an institutional email.
University of Monastir | UTM · Institut Supérieur d'Informatique et des Mathématiques de Monastir

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
Education
January 2013 - April 2018
University of Sfax
Field of study
  • Computer science
October 2009 - September 2011
Institut Supérieur d'Informatique et de Multimédia de Sfax
Field of study
  • Computer science and multimedia
September 2005 - June 2009
University of Monastir : Institut Supérieur d'Informatique et de Mathématiques
Field of study
  • Computer science and Mathematics

Publications

Publications (37)
Article
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...
Article
Full-text available
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...
Conference Paper
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...
Conference Paper
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Chapter
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...
Chapter
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
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...
Chapter
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...
Article
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....
Conference Paper
Full-text available
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...
Chapter
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...
Article
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Article
Full-text available
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...

Network

Cited By