Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mohamed Graiet

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mourad Kmimech

> Home > Persons > Mohamed Graiet

Publications

2023
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dawak/HassineJKRG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dawak/HassineJKRG23
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet:
A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK 2023: 197-211
2022
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/YousfiKAHG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/YousfiKAHG22
Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet:
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. ICCCI (CCIS Volume) 2022: 459-471
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/GraietAKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/GraietAKG18
Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul:
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12(2): 1644-1654 (2018)
2015
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/GraietLAHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/GraietLAHK15
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech:
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS 2015: 17-24
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/AbbassiGBKH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/AbbassiGBKH15
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: 519-526
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/HamelGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/HamelGK15
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech:
Formal modeling for verifying SCA composition. RCIS 2015: 193-204
2013
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/GraietAHBKG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/GraietAHBKG13
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: 251-259
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwis/GraietMKBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwis/GraietMKBG12
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): 32-54 (2012)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/BhiriFKG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/BhiriFKG12
Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet:
Transformation exogène de Wright vers Ada. Tech. Sci. Informatiques 31(7): 839-868 (2012)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/HamelGKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/HamelGKB12
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: 513-518
2011
[c12]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/cal/KmimechBGA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cal/KmimechBGA11
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: 93-117
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/BhiriKGA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/BhiriKGA11
Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté:
UML/OCL and Refinement. ECBS 2011: 149-158
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/HamelGKBG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/HamelGKBG11
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/LouhichiGKBGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/LouhichiGKBGC11
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: 317-320
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/MaraouiMGKBGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/MaraouiMGKBGC11
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: 349-352
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/HamelGKBG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/HamelGKBG11
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/LouhichiGKBGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/LouhichiGKBGC11
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou:
ATL Transformation for the Generation of SCA Model. SKG 2011: 164-167
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/MhamdiMGKBC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/MhamdiMGKBC11
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: 187-190
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/AbidGKBGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/AbidGKBGC11
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: 191-194
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/GraietMKBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/GraietMKBG10
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: 75-82

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.