Concepedia

Mohamed Graïet

MG

11

Publications

217

Citations

10

H-Index

2013

Active since

Affiliations

University of Monastir(Current)

Institut Polytechnique de Paris

Centre National de la Recherche Scientifique

Telecom SudParis

Département d'Informatique

Mohamed Graïet is an author at University of Monastir specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationCloud ComputingSoftware DesignFormal VerificationSoftware EngineeringEdge ComputingOperations Research

Publications per year

2013–2023

11

Publications

11

A Survey on Formal Verification for Solidity Smart Contracts

Ikram Garfatta, Kaïs Klai, Walid Gaaloul et al. · 2021 · 61 citations

Towards Correct Cloud Resource Allocation in Business Processes

Mohamed Graïet, Amel Mammar, Souha Boubaker et al. · IEEE Transactions on Services Computing · 2016 · 28 citations

Cloud Resource Allocation, Resource Perspective, Provisioning (Technology) +14

Tunisian Dialectal End-to-end Speech Recognition based on DeepSpeech

Abir Messaoudi, Hatem Haddad, Chayma Fourati et al. · Procedia Computer Science · 2021 · 19 citations · Full text

Engineering, Machine Learning, Spoken Language Processing +18

Formal verification for security and attacks in IoT physical layer

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman et al. · Journal of Reliable Intelligent Environments · 2023 · 17 citations

Lightweight Authentication Mechanism, Engineering, Information Security +11

Towards correct cloud resource allocation in FOSS applications

Sindyana Jlassi, Amel Mammar, Imed Abbassi et al. · Future Generation Computer Systems · 2018 · 16 citations

Cloud Resource Allocation, Cluster Computing, Provisioning (Technology) +8

Rows per page

1–5 of 11