Kaïs Klai

According to our database, Kaïs Klai authored at least 80 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Formal Verification of Node RED-Based IoT Applications.

Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Symbolic Observation Graph-Based Generation of Test Paths.

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the 9th International Conference on Control, 2023

2022

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Optimal Supervisory Control of Opacity for Modular Systems.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

Checking Composition-Aware Service Substitutability.

Hanen Ochi, Kais Klai

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

At Design-Time Approach for Supervisory Control of Opacity.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the 8th International Conference on Control, 2022

2021

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.

Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Model Checking of Solidity Smart Contracts Adopted for Business Processes.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems.

Nour Elhouda Souid, Kais Klai

Proceedings of the Information and Communications Security - 23rd International Conference, 2021

A Survey on Formal Verification for Solidity Smart Contracts.

Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet

Proceedings of the ACSW '21: 2021 Australasian Computer Science Week Multiconference, 2021

Formal Modeling and Verification of Property-based Resource Consumption Cycles.

Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

SOG-Based Multi-Core LTL Model Checking.

Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.

Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

2019

Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications.

Rakesh Jain, Kais Klai, Samir Tata

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Parallel construction of the Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Belhassen Zouari

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Fault diagnosis of discrete-event systems based on the symbolic observation graph.

Abderraouf Boussif, Mohamed Ghazel, Kais Klai

Int. J. Crit. Comput. Based Syst., 2018

[WiP] Formal Modelling of IT Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.

Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

2017

On the Verification of Opacity in Web Services and Their Composition.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati

IEEE Trans. Serv. Comput., 2017

Track Report for Formal Verification of Service Based Systems: FVSBS 2017.

Mohamed Graiet, Kais Klai

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the SCSS 2017, 2017

Formal Model and Method to Decompose Process-Aware IoT Applications.

Samir Tata, Kais Klai, Rakesh Jain

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

First international workshop on verification of business and software processes.

Souheib Baarir, Kais Klai

Proceedings of the 2017 International Conference on Software and System Process, 2017

Parallel Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Measuring opacity in web services.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane

Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.

Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Computing Quantified Opacity for SOG-Abstracted Web Services.

Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Track Report for Formal Verification of Service Based Systems: FVSBS 2016.

Mohamed Graiet, Kais Klai

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.

Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Model Checking of Composite Cloud Services.

Kais Klai, Hanen Ochi

Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Approach for Service Composition in a Cloud Resources Sharing Context.

Kais Klai, Hanen Ochi

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

2015

Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets.

Kais Klai

Trans. Petri Nets Other Model. Concurr., 2015

Checking Opacity of Vulnerable Critical Systems On-The-Fly.

Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane

Int. J. Inf. Technol. Web Eng., 2015

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.

Camille Coti, Sami Evangelista, Kais Klai

CoRR, 2015

FVSBS 2015 Track Report: Formal Verification of Service Based Systems.

Mohamed Graiet, Kais Klai

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.

Abderraouf Boussif, Mohamed Ghazel, Kais Klai

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows.

Kais Klai, Hanen Ochi

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs.

Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, Hanen Ochi

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.

Camille Coti, Sami Evangelista, Kais Klai

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

An On-the-Fly Approach for the Verification of Opacity in Critical Systems.

Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Track Report of Formal Verification of Service Based Systems (FVSBS 2014).

Mohamed Graiet, Zied Jaoua, Kais Klai

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Deployment of Service-Based Processes in the Cloud Using Petri Net Decomposition.

Sami Yangui, Kais Klai, Samir Tata

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

On-The-Fly Model Checking of Times Properties on Time Petri Nets.

Kais Klai

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

A New Approach to Abstract Reachability State Space of Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Verification of Reachability Properties for Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Formal Abstraction and Compatibility Checking of Web Services.

Kais Klai, Hanen Ochi, Samir Tata

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Checking Compatibility of Web Services Behaviorally.

Kais Klai, Hanen Ochi

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud.

Mourad Amziani, Kais Klai, Tarek Melliti, Samir Tata

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Formal Modeling of Elastic Service-Based Business Processes.

Kais Klai, Samir Tata

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

Modelling and Formal Verification of the NEO Protocol.

Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef

Trans. Petri Nets Other Model. Concurr., 2012

Formalizing non-concurrent UML state machines using colored petri nets.

Étienne André, Christine Choppy, Kais Klai

ACM SIGSOFT Softw. Eng. Notes, 2012

Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1.

Kais Klai, Samir Tata, Hanen Ochi

Int. J. Web Serv. Res., 2012

A Counterexample-Based Incremental and Modular Verification Approach.

Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Checking Compatibility of Web Services Using SOGs.

Kais Klai, Hanen Ochi

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware.

Leila Abidi, Christophe Cérin, Kais Klai

Proceedings of the Advances in Grid and Pervasive Computing - 7th International Conference, 2012

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.

Kais Klai, Jörg Desel

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Formal verification of UML state diagrams: a petri net based approach.

Christine Choppy, Kais Klai, Hacene Zidani

ACM SIGSOFT Softw. Eng. Notes, 2011

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

Kais Klai, Samir Tata, Jörg Desel

Data Knowl. Eng., 2011

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

CoRR, 2011

Petri Net Modeling and Verification of Transactional Workflows.

Kais Klai, Walid Gaaloul

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2010

2008

CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises.

Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck

IEEE Trans. Serv. Comput., 2008

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.

Kais Klai, Denis Poitrenaud

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Modular construction of the symbolic observation graph.

Kais Klai, Laure Petrucci

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai, Laure Petrucci, Michel A. Reniers

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

An Observation-based Algorithm for Workflow Matching.

Kais Klai, Samir Tata, Issam Chebbi

Proceedings of the Modelling, 2006

Behavioral Technique for Workflow Abstraction and Matching.

Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Abstraction-basedWorkflow Cooperation Using Petri Net Theory.

Kais Klai, Samir Tata

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Modular Verification of Petri Nets Properties: A Structure-Based Approach.

Kais Klai, Serge Haddad, Jean-Michel Ilié

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.

Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.

Serge Haddad, Jean-Michel Ilié, Kais Klai

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004