Concepedia

Kaïs Klai

KK

11

Publications

256

Citations

10

H-Index

2008

Active since

Affiliations

Université Sorbonne Paris Nord(Current)

Centre National de la Recherche Scientifique

Laboratoire d'Informatique de Paris-Nord

Institut Polytechnique de Paris

Telecom SudParis

Kaïs Klai is an author at Université Sorbonne Paris Nord specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSystems EngineeringSoftware AnalysisAutomated ReasoningSoftware DesignProgram Analysis

Publications per year

2008–2022

11

Publications

11

A Survey on Formal Verification for Solidity Smart Contracts

Ikram Garfatta, Kaïs Klai, Walid Gaaloul et al. · 2021 · 61 citations

Formal verification of UML state diagrams

Christine Choppy, Kaïs Klai, Hacene Zidani · ACM SIGSOFT Software Engineering Notes · 2011 · 39 citations

Petri Net, Engineering, Verification +17

Modular construction of the symbolic observation graph

Kaïs Klai, Laure Petrucci · 2008 · 32 citations

Engineering, Verification, Linear Time Logic +19

On the Verification of Opacity in Web Services and Their Composition

Amina Bourouis, Kaïs Klai, Nejib Ben Hadj-Alouane et al. · IEEE Transactions on Services Computing · 2016 · 25 citations

Ws-security, Web Service Specification, Engineering +20

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

Kaïs Klai, Samir Tata, Jörg Desel · Data & Knowledge Engineering · 2011 · 16 citations

Formal Specification, Engineering, Program Analysis +9

Rows per page

1–5 of 11