Modular Verification of Petri Nets Properties: A Structure-Based Approach
Klai, Kais, Haddad, Serge, Ilié, Jean-Michel
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud
Amziani, Mourad, Klai, Kais, Melliti, Tarek, Tata, Samir
Published in 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (01.12.2013)
Published in 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (01.12.2013)
Get full text
Conference Proceeding
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
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)
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)
Get full text
Conference Proceeding
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph
Ouni, Hiba, Klai, Kais, Abid, Chiheb Ameur, Zouari, Belhassen
Published in 2019 19th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2019)
Published in 2019 19th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2019)
Get full text
Conference Proceeding
On the Verification of Opacity in Web Services and Their Composition
Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib, El Touati, Yamen
Published in IEEE transactions on services computing (01.01.2017)
Published in IEEE transactions on services computing (01.01.2017)
Get full text
Journal Article
Checking Composition-Aware Service Substitutability
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)
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)
Get full text
Conference Proceeding