Mohamed Graiet

According to our database, Mohamed Graiet authored at least 73 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal verification for security and attacks in IoT physical layer.

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares

J. Reliab. Intell. Environ., March, 2024

2023

Adaptive configuration of IoT applications in the fog infrastructure.

Houda Chouat, Imed Abbassi, Mohamed Graiet, Mario Südholt

Computing, December, 2023

Formal modelling and verification of scalable service composition in IoT environment.

Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani

Serv. Oriented Comput. Appl., September, 2023

Formal reconfiguration model for cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Softw. Syst. Model., February, 2023

A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

Refinement and Verification for IoT Service Composition.

Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

A Non-overlapping Community Detection Approach Based on α-Structural Similarity.

Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet

Proceedings of the Big Data Analytics and Knowledge Discovery, 2023

2022

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.

Imed Abbassi, Amel Mammar, Mohamed Graiet

IEEE Trans. Serv. Comput., 2022

An optimization approach for cloud composite services.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

J. Supercomput., 2022

An Event-B model for dynamically managing cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Innov. Syst. Softw. Eng., 2022

An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications.

Amel Mammar, Lazhar Hamel, Mohamed Graiet

Comput. J., 2022

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Correct-by-Construction Approach for Formal Verification of IoT Architecture.

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

TuniSER: Toward a Tunisian Speech Emotion Recognition System.

Abir Messaoudi, Hatem Haddad, Moez Benhaj Hmida, Mohamed Graiet

Proceedings of the 5th International Conference on Natural Language and Speech Processing, 2022

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts.

Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet

Proceedings of the Advances in Computational Collective Intelligence, 2022

2021

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

A genetic-based requirements-aware approach for reliable IoT applications in the Fog.

Houda Chouat, Imed Abbassi, Mohamed Graiet

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

Model Checking of Solidity Smart Contracts Adopted for Business Processes.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

A Survey on Formal Verification for Solidity Smart Contracts.

Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet

Proceedings of the ACSW '21: 2021 Australasian Computer Science Week Multiconference, 2021

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

Abir Messaoudi, Hatem Haddad, Chayma Fourati, Moez Ben Haj Hmida, Aymen Ben Elhaj Mabrouk, Mohamed Graiet

Proceedings of the Fifth International Conference On Arabic Computational Linguistics, 2021

2020

An Event-B based approach for cloud composite services verification.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb

Formal Aspects Comput., 2020

Dynamic Reconfiguration of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

2019

Towards correct cloud resource allocation in FOSS applications.

Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet

Future Gener. Comput. Syst., 2019

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B.

Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul

Proceedings of the Digital Economy. Emerging Technologies and Business Innovation, 2019

2018

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services.

Imed Abbassi, Mohamed Graiet

IEEE Trans. Netw. Serv. Manag., 2018

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition.

Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul

IEEE Syst. J., 2018

A Formal Approach for Cloud Composite Services Verification.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

[WiP] Formal Modelling of IT Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017

Towards Correct Cloud Resource Allocation in Business Processes.

Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul

IEEE Trans. Serv. Comput., 2017

A verification and deployment approach for elastic component-based applications.

Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata

Formal Aspects Comput., 2017

Track Report for Formal Verification of Service Based Systems: FVSBS 2017.

Mohamed Graiet, Kais Klai

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud.

Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.

Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016

Track Report for Formal Verification of Service Based Systems: FVSBS 2016.

Mohamed Graiet, Kais Klai

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

An Event-B Based Approach for Ensuring Correct Configurable Business Processes.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Guidance Approach for Correct Process Configuration.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Adaptation d'exécution de modèles par contrats.

Eric Cariou, Olivier Le Goaër, Franck Barbier, Samson Pierre, Mohamed Graiet

Tech. Sci. Informatiques, 2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.

Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane

Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

Formal Modeling for Verifying SCA Dynamic Composition with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

FVSBS 2015 Track Report: Formal Verification of Service Based Systems.

Mohamed Graiet, Kais Klai

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal modeling for verifying SCA composition.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.

Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Mohamed Graiet

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.

Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.

Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Track Report of Formal Verification of Service Based Systems (FVSBS 2014).

Mohamed Graiet, Zied Jaoua, Kais Klai

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.

Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.

Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Formal Verification of SCA Assembly Model with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.

Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Transformation exogène de Wright vers Ada.

Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet

Tech. Sci. Informatiques, 2012

Towards an approach of formal verification of mediation protocol based on web services of MDE type.

Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Int. J. Web Inf. Syst., 2012

Event-B Formalisation of Web Services for Dynamic Composition.

Lazhar Hamel, Mohamed Graiet, Walid Gaaloul

Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Patrons transactionnels dynamiques pour des services composés fiables et flexibles.

Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri

Proceedings of the Business Process Management Workshops, 2012

2011

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.

Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.

Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.

Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Towards a transformation of composite web service with QoS extension into ACME\Armani.

Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.

Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the iiWAS'2011, 2011

UML/OCL and Refinement.

Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.

Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010

Towards an approach of formal verification of mediation protocol based on web services.

Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the iiWAS'2010, 2010

2008

Vérification formelle d'architectures logicielles à base d'UML.

Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou

Obj. Logiciel Base données Réseaux, 2008

2007

Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures).

Mohamed Graiet

PhD thesis, 2007

2006

Architecture des systèmes avec la norme UML2.0 et l'ADL Wright.

Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir

Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

Adaptation d'UML2.0 à l'ADL Wright.

Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006