Adaptation d'UML2.0 à l'ADL Wright. - Mohamed Graiet; Mohamed Tahar Bhiri; Faïza Dammak; Jean-Pierre Giraudin (CAL, 2006)

Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. - Mohamed Graiet; Mohamed Tahar Bhiri; Jean-Pierre Giraudin; Noureddine Belkhatir (INFORSID, 2006)

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

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)

Towards an approach of formal verification of mediation protocol based on web services. - Mohamed Graiet; Raoudha Maraoui; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (iiWAS, 2010)

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é (CAL, 2011)

UML/OCL and Refinement. - Mohamed Tahar Bhiri; Mourad Kmimech; Mohamed Graiet; Philippe Aniorté (ECBS, 2011)

Verifying Composite Service Transactional Behavior with EVENT-B. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (ECSA, 2011)

MDE approach for the generation and verification of SCA model. - Soumaya Louhichi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (iiWAS, 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 (iiWAS, 2011)

Profile UML2.0 for Specification of the SCA Architectures. - Wided Ben Abid; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (SKG, 2011)

ATL Transformation for the Generation of SCA Model. - Soumaya Louhichi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (SKG, 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 (SKG, 2011)

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri (Business Process Management Workshops, 2012)

Patrons transactionnels dynamiques pour des services composés fiables et flexibles. - Imed Abbassi; Mohamed Graiet; Eric Cariou; Zied Jaoua (CAL, 2012)

Event-B Formalisation of Web Services for Dynamic Composition. - Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (SKG, 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)

Transformation exogène de Wright vers Ada. - Mohamed Tahar Bhiri; Farah Fourati; Mourad Kmimech; Mohamed Graiet (Tech. Sci. Informatiques, 2012)

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. - Mohamed Graiet; Imed Abbassi; Lazhar Hamel; Mohamed Tahar Bhiri; Mourad Kmimech; Walid Gaaloul (ICWS, 2013)

Formal Verification of SCA Assembly Model with Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (SKG, 2013)

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (IEEE SCC, 2014)

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. - Imed Abbassi; Mohamed Graiet; Nejib Ben Hadj-Alouane (WETICE, 2014)

Track Report of Formal Verification of Service Based Systems (FVSBS 2014). - Mohamed Graiet; Zied Jaoua; Kais Klai (WETICE, 2014)

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. - Souha Boubaker; Walid Gaaloul; Mohamed Graiet; Nejib Ben Hadj-Alouane (SCC, 2015)

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. - Mohamed Graiet; Imed Abbassi; Raoudha Maraoui; Sindyana Jlassi; Lazhar Hamel (SCC, 2015)

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Mohamed Graiet (ACSD, 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 (ICWS, 2015)

Formal Behavioral Modeling for Verifying SCA Composition with Event-B. - Mohamed Graiet; Aida Lahouij; Imed Abbassi; Lazhar Hamel; Mourad Kmimech (ICWS, 2015)

Formal modeling for verifying SCA composition. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech (RCIS, 2015)

FVSBS 2015 Track Report: Formal Verification of Service Based Systems. - Mohamed Graiet; Kais Klai (WETICE, 2015)

Formal Modeling for Verifying SCA Dynamic Composition with Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (WETICE, 2015)

Genetic-Based Approach for ATS and SLA-aware Web Services Composition. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (WISE (1), 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)

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (AINA, 2016)

A Formal Guidance Approach for Correct Process Configuration. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICSOC, 2016)

An Event-B Based Approach for Ensuring Correct Configurable Business Processes. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICWS, 2016)

A Global SLA-Aware Approach for Aggregating Services in the Cloud. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Abir Elkhalfa; Walid Gaaloul (OTM Conferences, 2016)

Track Report for Formal Verification of Service Based Systems: FVSBS 2016. - Mohamed Graiet; Kais Klai (WETICE, 2016)

Deadlock-Freeness Verification of Business Process Configuration Using SOG. - Souha Boubaker; Kais Klai; Katia Schmitz; Mohamed Graiet; Walid Gaaloul (ICSOC, 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 (OTM Conferences (1), 2017)

Track Report for Formal Verification of Service Based Systems: FVSBS 2017. - Mohamed Graiet; Kais Klai (WETICE, 2017)

A verification and deployment approach for elastic component-based applications. - Mohamed Graiet; Lazhar Hamel; Amel Mammar; Samir Tata (Formal Aspects Comput., 2017)

Towards Correct Cloud Resource Allocation in Business Processes. - Mohamed Graiet; Amel Mammar; Souha Boubaker; Walid Gaaloul (IEEE Trans. Serv. Comput., 2017)

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (OTM Conferences (1), 2018)

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (OTM Conferences (1), 2018)

[WiP] Formal Modelling of IT Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (SOCA, 2018)

A Formal Approach for Cloud Composite Services Verification. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Mohammed El Malki (SOCA, 2018)

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. - Mohamed Graiet; Imed Abbassi; Mourad Kmimech; Walid Gaaloul (IEEE Syst. J., 2018)

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. - Imed Abbassi; Mohamed Graiet (IEEE Trans. Netw. Serv. Manag., 2018)

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. - Imed Abbassi; Layth Sliman; Mohamed Graiet; Walid Gaaloul (ICDEc, 2019)

Towards correct cloud resource allocation in FOSS applications. - Sindyana Jlassi; Amel Mammar; Imed Abbassi; Mohamed Graiet (Future Gener. Comput. Syst., 2019)

Dynamic Reconfiguration of Cloud Composite Services Using Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (ICSR, 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)

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 (ACLING, 2021)

A Survey on Formal Verification for Solidity Smart Contracts. - Ikram Garfatta; Kais Klai; Walid Gaaloul; Mohamed Graiet (ACSW, 2021)

Model Checking of Solidity Smart Contracts Adopted for Business Processes. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (ICSOC, 2021)

A genetic-based requirements-aware approach for reliable IoT applications in the Fog. - Houda Chouat; Imed Abbassi; Mohamed Graiet (WETICE, 2021)

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (WETICE, 2021)

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. - Nihed Yousfi; Mourad Kmimech; Imed Abbassi; Hédi Hamdi; Mohamed Graiet (ICCCI (CCIS Volume), 2022)

TuniSER: Toward a Tunisian Speech Emotion Recognition System. - Abir Messaoudi; Hatem Haddad; Moez Benhaj Hmida; Mohamed Graiet (ICNLSP, 2022)

Correct-by-Construction Approach for Formal Verification of IoT Architecture. - Zinah Hussein Toman; Lazhar Hamel; Sarah Hussein Toman; Mohamed Graiet (KES, 2022)

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (SAC, 2022)

An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. - Amel Mammar; Lazhar Hamel; Mohamed Graiet (Comput. J., 2022)

An Event-B model for dynamically managing cloud resources. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (Innov. Syst. Softw. Eng., 2022)

An optimization approach for cloud composite services. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (J. Supercomput., 2022)

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. - Imed Abbassi; Amel Mammar; Mohamed Graiet (IEEE Trans. Serv. Comput., 2022)

A Non-overlapping Community Detection Approach Based on α-Structural Similarity. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (DaWaK, 2023)

Refinement and Verification for IoT Service Composition. - Sarah Hussein Toman; Lazhar Hamel; Mohamed Graiet (ISCC, 2023)

A Correct by Construction Model for CBPS Systems Verification. - Sarah Hussein Toman; Aida Lahouij; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (ISCC, 2023)

Formal reconfiguration model for cloud resources. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (Softw. Syst. Model., 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., 2023)

Adaptive configuration of IoT applications in the fog infrastructure. - Houda Chouat; Imed Abbassi; Mohamed Graiet; Mario Südholt (Computing, 2023)

Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. - Ikbel Haouas; Mouna Attia; Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (ACIIDS (Companion 1), 2024)

A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet; Daniel Balouek (CCGrid, 2024)

On the Discovery of Conceptual Clustering Models Through Pattern Mining. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (ECAI, 2024)

An Event-B Based Approach for Horizontally Scalable IoT Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (ICSOC (1), 2024)

On the Effects of Similarity in Community Detection. - Motaz Ben Hassine; Mourad Kmimech; Mohamed Graiet (KES, 2024)

Towards a Model for Energy-Efficient and Flexible IoT Systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (VECoS, 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., 2024)

Service to service communication based on CBPS system: refinement and verification. - Sarah Hussein Toman; Aida Lahouij; Sonia Kotel; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (Soft Comput., 2024)

Declarative, Generic Definition and Effective Implementation of Transfer Learning Algorithms. - Tayeb Diab; Mohamed Graiet; Mario Südholt (AIAI (2), 2025)

Une approche de clustering conceptuel via des k-motifs relaxés fréquents. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (EGC, 2025)

Ensuring the Correctness and Reliability of CBPS System Using Event-B. - Sarah Hussein Toman; Lazhar Hamel; Aida Lahouij; Zinah Hussein Toman; Mohamed Graiet (Softw. Test. Verification Reliab., 2025)

A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (Computing, 2025)