Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Hanen Ochi

> Home > Persons > Kaïs Klai

Publications

2023
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KlaiBADO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KlaiBADO23
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi:
Symbolic Observation Graph-Based Generation of Test Paths. TAP 2023: 127-146
2022
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/OchiK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/OchiK22
Hanen Ochi, Kais Klai:
Checking Composition-Aware Service Substitutability. ISPA/BDCloud/SocialCom/SustainCom 2022: 845-853
2016
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ccgrid/KlaiO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccgrid/KlaiO16
Kais Klai, Hanen Ochi:
A Formal Approach for Service Composition in a Cloud Resources Sharing Context. CCGrid 2016: 458-461
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KlaiO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KlaiO16
Kais Klai, Hanen Ochi:
Model Checking of Composite Cloud Services. ICWS 2016: 356-363
2015
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/KlaiO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/KlaiO15
Kais Klai, Hanen Ochi:
LTL Model Cheking of Service-Based Business Processes in the Cloud. COMPSAC Workshops 2015: 398-403
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/KlaiO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/KlaiO15
Kais Klai, Hanen Ochi:
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. TASE 2015: 7-14
2013
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/KlaiO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/KlaiO13
Kais Klai, Hanen Ochi:
Checking Compatibility of Web Services Behaviorally. FSEN 2013: 267-282
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KlaiOT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KlaiOT13
Kais Klai, Hanen Ochi, Samir Tata:
Formal Abstraction and Compatibility Checking of Web Services. ICWS 2013: 163-170
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jwsr/KlaiTO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jwsr/KlaiTO12
Kais Klai, Samir Tata, Hanen Ochi:
Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1. Int. J. Web Serv. Res. 9(4): 45-68 (2012)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KlaiO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KlaiO12
Kais Klai, Hanen Ochi:
Checking Compatibility of Web Services Using SOGs. ICWS 2012: 670-671
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/AndreKOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/AndreKOP12
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci:
A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop 2012: 283-302

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.