Walid Gaaloul

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 Mohamed Graiet

> Home > Persons > Walid Gaaloul

Publications

2022
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GarfattaKGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GarfattaKGG22
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC 2022: 316-325
2021
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/acsw/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsw/GarfattaKGG21
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet:
A Survey on Formal Verification for Solidity Smart Contracts. ACSW 2021: 3:1-3:10
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/GarfattaKGG21
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC 2021: 116-132
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GarfattaKGG21
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE 2021: 69-74
2019
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/icdec/AbbassiSGG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdec/AbbassiSGG19
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul:
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc 2019: 147-156
2018
[j28]
- 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)
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/GarfattaKGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/GarfattaKGG18
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul:
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) 2018: 552-567
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/GarfattaKGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/GarfattaKGG18
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul:
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA 2018: 227-232
2017
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/GraietMBG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/GraietMBG17
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul:
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10(1): 23-36 (2017)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BoubakerKSGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BoubakerKSGG17
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul:
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC 2017: 96-112
2016
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/BoubakerMGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/BoubakerMGG16
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA 2016: 746-753
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BoubakerMGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BoubakerMGG16
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
A Formal Guidance Approach for Correct Process Configuration. ICSOC 2016: 483-498
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BoubakerMGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BoubakerMGG16
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS 2016: 460-467
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/LahouijHGEG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/LahouijHGEG16
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul:
A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences 2016: 363-380
2015
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/BoubakerGGH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/BoubakerGGH15
Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane:
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC 2015: 538-545
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/wise/AbbassiGGH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wise/AbbassiGGH15
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane:
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) 2015: 369-383
2014
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/AbbassiGGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/AbbassiGGH14
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane:
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC 2014: 637-644
2013
[c53]
- 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
[j10]
- 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)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/HamelGG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/HamelGG12
Lazhar Hamel, Mohamed Graiet, Walid Gaaloul:
Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156
2011
[c41]
- 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
[c37]
- 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
[c36]
- 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
[c35]
- 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
[c34]
- 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
[c33]
- 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
[c25]
- 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.