Search Results - "Graiet, Mohamed"

Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B by Sondi, Patrick, Abbassi, Imed, Ramat, Eric, Chebbi, Emna, Graiet, Mohamed

“…Vehicular ad hoc network (VANET) routing protocols resort to clustering in order to optimize broadcast traffic flooding. Clustering schemes usually rely on…”
Get full text

An optimization approach for cloud composite services by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

“…Recently, a considerable literature has grown up around the theme of composite services verification. Namely, the verification of the non-functional aspect…”
Get full text

Formal modelling and verification of scalable service composition in IoT environment by Toman, Sarah Hussein, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed, Ouchani, Samir

“…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…”
Get full text

An Event-B model for dynamically managing cloud resources by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

“…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…”
Get full text

Formal verification for security and attacks in IoT physical layer by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed, Valadares, Dalton Cézane Gomes

“…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…”
Get full text

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services by Imed, Abbassi, Graiet, Mohamed

“…Reusability is a central concept of Web services as it allows for the construction of composite services. Thus, an existing composite service can be combined…”
Get full text

Formal reconfiguration model for cloud resources by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

“…The execution context of the cloud composite services is dynamically and rapidly changing. In the cloud environment, the service demands can increase/decrease…”
Get full text

An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications by Mammar, Amel, Hamel, Lazhar, Graiet, Mohamed

“…Abstract Many disciplines have adopted component-based principles to avail themselves of the many advantages they bring, especially component reusability. In a…”
Get full text

Adaptive configuration of IoT applications in the fog infrastructure by Chouat, Houda, Abbassi, Imed, Graiet, Mohamed, Südholt, Mario

“…Internet of Things (IoT) applications have invaded several domains (supply chain, healthcare, etc.). To enhance the quality of the provided service in terms of…”
Get full text

Towards correct cloud resource allocation in FOSS applications by Jlassi, Sindyana, Mammar, Amel, Abbassi, Imed, Graiet, Mohamed

“…Cloud computing is a new computing paradigm used for building on demand free and open source software (FOSS) applications. However, due to the lack of an…”
Get full text

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration by Abbassi, Imed, Mammar, Amel, Graiet, Mohamed

“…Reusability is a central concept of Web services as it allows for the construction of composite Web services at a lower cost/effort. Web services offer diverse…”
Get full text

Service to service communication based on CBPS system: refinement and verification by Toman, Sarah Hussein, Lahouij, Aida, Kotel, Sonia, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

“…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…”
Get full text

Ensuring the Correctness and Reliability of CBPS System Using Event‐B by Hussein Toman, Sarah, Hamel, Lazhar, Lahouij, Aida, Hussein Toman, Zinah, Graiet, Mohamed

“…ABSTRACT During the early phases of software system development, error detection can be challenging due to the complexity of both the requirements and the…”
Get full text

A genetic-based requirements-aware approach for reliable IoT applications in the Fog by Chouat, Houda, Abbassi, Imed, Graiet, Mohamed

“…Fog computing is a new paradigm where cloud services are extended to the edge of the network. Fog nodes offer several services called fog services. These…”
Get full text

Refinement and Verification for IoT Service Composition by Toman, Sarah Hussein, Hamel, Lazhar, Graiet, Mohamed

“…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…”
Get full text

Towards Correct Cloud Resource Allocation in Business Processes by Graiet, Mohamed, Mammar, Amel, Boubaker, Souha, Gaaloul, Walid

“…Cloud environments are being increasingly used for deploying and executing business processes to provide a high level of performance with low operating cost…”
Get full text

An Event-B based approach for cloudcomposite services verification by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir

“…Abstract The verification of the Cloud composite services’ correctness is challenging. In fact, multiple component services, derived from different Cloud…”
Get full text

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition by Graiet, Mohamed, Abbassi, Imed, Kmimech, Mourad, Gaaloul, Walid

“…Composite services often run in dynamically changing environments where new composition requirements can be added and Web services may disappear or their…”
Get full text

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts by Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid

“…While Blockchains can open intriguing opportunities of research in many application contexts, they come with the risk of bringing new unconventional problems…”
Get full text

An Event-B based approach for cloud composite services verification by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir

“…The verification of the Cloud composite services’ correctness is challenging. In fact, multiple component services, derived from different Cloud providers with…”
Get full text