Mohamed Graiet

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 37

Top Venues

WETICE

OTM Conferences (1)

ICWS

IEEE Trans. Serv. Comput.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
Formal verification for security and attacks in IoT physical layer. J. Reliab. Intell. Environ. 10 (1) (2024)
Houda Chouat, Imed Abbassi, Mohamed Graiet, Mario Südholt
Adaptive configuration of IoT applications in the fog infrastructure. Computing 105 (12) (2023)
Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
Refinement and Verification for IoT Service Composition. ISCC (2023)
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
A Correct by Construction Model for CBPS Systems Verification. ISCC (2023)
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK (2023)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal reconfiguration model for cloud resources. Softw. Syst. Model. 22 (1) (2023)
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. 17 (3) (2023)
Amel Mammar, Lazhar Hamel, Mohamed Graiet
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J. 65 (10) (2022)
Abir Messaoudi, Hatem Haddad, Moez Benhaj Hmida, Mohamed Graiet
TuniSER: Toward a Tunisian Speech Emotion Recognition System. ICNLSP (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An Event-B model for dynamically managing cloud resources. Innov. Syst. Softw. Eng. 18 (1) (2022)
Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. ICCCI (CCIS Volume) (2022)
Imed Abbassi, Amel Mammar, Mohamed Graiet
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE Trans. Serv. Comput. 15 (5) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An optimization approach for cloud composite services. J. Supercomput. 78 (3) (2022)
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES (2022)
Houda Chouat, Imed Abbassi, Mohamed Graiet
A genetic-based requirements-aware approach for reliable IoT applications in the Fog. WETICE (2021)
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
A Survey on Formal Verification for Solidity Smart Contracts. ACSW (2021)
Abir Messaoudi, Hatem Haddad, Chayma Fourati, Moez Ben Haj Hmida, Aymen Ben Elhaj Mabrouk, Mohamed Graiet
Tunisian Dialectal End-to-end Speech Recognition based on DeepSpeech. ACLING (2021)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
An Event-B based approach for cloud composite services verification. Formal Aspects Comput. 32 (4-6) (2020)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR (2020)
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc (2019)
Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet
Towards correct cloud resource allocation in FOSS applications. Future Gener. Comput. Syst. 91 (2019)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
A Formal Approach for Cloud Composite Services Verification. SOCA (2018)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) (2018)
Imed Abbassi, Mohamed Graiet
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. IEEE Trans. Netw. Serv. Manag. 15 (1) (2018)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. OTM Conferences (1) (2018)
Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12 (2) (2018)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA (2018)
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata
A verification and deployment approach for elastic component-based applications. Formal Aspects Comput. 29 (6) (2017)
Mohamed Graiet, Kais Klai
Track Report for Formal Verification of Service Based Systems: FVSBS 2017. WETICE (2017)
Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. OTM Conferences (1) (2017)
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC (2017)
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10 (1) (2017)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS (2016)
Mohamed Graiet, Kais Klai
Track Report for Formal Verification of Service Based Systems: FVSBS 2016. WETICE (2016)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
A Formal Guidance Approach for Correct Process Configuration. ICSOC (2016)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE (2015)
Ala-Eddine Ben Salem, Mohamed Graiet
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ACSD (2015)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) (2015)
Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC (2015)
Mohamed Graiet, Kais Klai
FVSBS 2015 Track Report: Formal Verification of Service Based Systems. WETICE (2015)
Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC (2015)
Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet
Adaptation d'exécution de modèles par contrats. Tech. Sci. Informatiques 34 (6) (2015)
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS (2015)
Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS (2015)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech
Formal modeling for verifying SCA composition. RCIS (2015)
Mohamed Graiet, Zied Jaoua, Kais Klai
Track Report of Formal Verification of Service Based Systems (FVSBS 2014). WETICE (2014)
Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. WETICE (2014)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC (2014)
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS (2013)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Verification of SCA Assembly Model with Event-B. SKG (2013)
Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet
Transformation exogène de Wright vers Ada. Tech. Sci. Informatiques 31 (7) (2012)
Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua
Patrons transactionnels dynamiques pour des services composés fiables et flexibles. CAL (2012)
Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
Event-B Formalisation of Web Services for Dynamic Composition. SKG (2012)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. 8 (1) (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA (2011)
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Profile UML2.0 for Specification of the SCA Architectures. SKG (2011)
Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0. CAL (2011)
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG (2011)
Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté
UML/OCL and Refinement. ECBS (2011)
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS (2011)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. SKG (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
MDE approach for the generation and verification of SCA model. iiWAS (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
ATL Transformation for the Generation of SCA Model. SKG (2011)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services. iiWAS (2010)
Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou
Vérification formelle d'architectures logicielles à base d'UML. Obj. Logiciel Base données Réseaux 14 (1-2) (2008)
Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin
Adaptation d'UML2.0 à l'ADL Wright. CAL (2006)
Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir
Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID (2006)

Mohamed Graiet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Graiet