( en | de | ru )

 

Disambiguation of "Klai, Kais"

Author of the publication

copydeleteadd this publication to your clipboard
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.

, , , , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 145-164. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kais Sfar

Kais Belwafi

Kais Samkari

Kais Feltekh

Leila Kais

 

Other publications of authors with the same name

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets., , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 90-107. Springer, (2005)Formal Model and Method to Decompose Process-Aware IoT Applications., , and . OTM Conferences (1), volume 10573 of Lecture Notes in Computer Science, page 663-680. Springer, (2017)Symbolic Observation Graph-Based Generation of Test Paths., , , , and . TAP, volume 14066 of Lecture Notes in Computer Science, page 127-146. Springer, (2023)A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems., and . ICICS (2), volume 12919 of Lecture Notes in Computer Science, page 210-227. Springer, (2021)Towards Formal Verification of Node RED-Based IoT Applications., , and . VECoS, volume 14368 of Lecture Notes in Computer Science, page 90-104. Springer, (2023)Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs., and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 67-83. Springer, (2012)WiP Formal Modelling of IT Resource Allocation in Business Processes., , , and . SOCA, page 227-232. IEEE Computer Society, (2018)Parallel Symbolic Observation Graph., , , and . ISPA/IUCC, page 770-777. IEEE, (2017)Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation., , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 27-42. Springer, (2021)Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph., , , and . ACSD, page 23-32. IEEE, (2019)