by Garfatta, Ikram, Klai, Kaïs, Graïet, Mahamed, Gaaloul, Walid
Published in Service-Oriented Computing – ICSOC 2020 Workshops

by Garfatta, Ikram, Klai, Kaïs, Graïet, Mohamed, Gaaloul, Walid
Published in Service-Oriented Computing

by Klai, Kais, Poitrenaud, Denis
Published in Applications and Theory of Petri Nets

by Duret-Lutz, Alexandre, Klai, Kais, Poitrenaud, Denis, Thierry-Mieg, Yann
Published in Automated Technology for Verification and Analysis

by Choppy, Christine, Dedova, Anna, Evangelista, Sami, Klaï, Kaïs, Petrucci, Laure, Youcef, Samir
Published in Transactions on Petri Nets and Other Models of Concurrency VI

by Klai, Kais, Haddad, Serge, Ilié, Jean-Michel
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)

by Souid, Nour Elhouda, Klai, Kais
Published in Information and Communications Security

by Boubaker, Souha, Klai, Kais, Kortas, Hedi, Gaaloul, Walid
Published in On the Move to Meaningful Internet Systems. OTM 2018 Conferences

by Amziani, Mourad, Klai, Kais, Melliti, Tarek, Tata, Samir
Published in 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (01.12.2013)

by Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)

by Graiet, Mohamed, Klai, Kais
Published in 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2015)

by Souid, Nour Elhouda, Klai, Kais, Abid, Chiheb Ameur, Ahmed, Samir Ben
Published in Cooperative Information Systems

by Klai, Kais
Published in Transactions on Petri Nets and Other Models of Concurrency X (2015)

by Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib, El Touati, Yamen
Published in IEEE transactions on services computing (01.01.2017)

by Klai, Kais, Ochi, Hanen
Published in Fundamentals of Software Engineering (30.08.2013)

by Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid
Published in On the Move to Meaningful Internet Systems. OTM 2018 Conferences

by Klai, Kais, Abid, Chiheb Ameur, Arias, Jaime, Evangelista, Sami
Published in Verification and Evaluation of Computer and Communication Systems (2022)

by Ochi, Hanen, Klai, Kais
Published in 2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) (01.12.2022)

by Klai, Kais, Tata, Samir, Desel, Jörg
Published in Data & knowledge engineering (01.05.2011)

by Boubaker, Souha, Klai, Kais, Schmitz, Katia, Graiet, Mohamed, Gaaloul, Walid
Published in Service-Oriented Computing