Kaïs Klai

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 Walid Gaaloul

> Home > Persons > Kaïs Klai

Publications

2022
[c62]
- 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
[c60]
- 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
[c58]
- 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
[c56]
- 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
2020
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/GarfattaKGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/GarfattaKGG20
Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul:
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. ICSOC Workshops 2020: 47-53
2018
[c48]
- 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
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/BoubakerKKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/BoubakerKKG18
Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul:
A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) 2018: 623-642
[c46]
- 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
[c44]
- 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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/HalimaKKGJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/HalimaKKGJ16
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel:
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences 2016: 400-417
2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/KlaiG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/KlaiG11
Kais Klai, Walid Gaaloul:
Petri Net Modeling and Verification of Transactional Workflows. WETICE 2011: 176-184

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.