Kais Klai

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 32

Top Topics

Discrete Event Systems

Business Process

Formal Verification

Top Venues

OTM Conferences (1)

ISPA/BDCloud/SocialCom/SustainCom

Publications

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. CoDIT (2023)
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
Symbolic Observation Graph-Based Generation of Test Paths. TAP (2023)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
At Design-Time Approach for Supervisory Control of Opacity. CoopIS (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Optimal Supervisory Control of Opacity for Modular Systems. ISPA/BDCloud/SocialCom/SustainCom (2022)
Hanen Ochi, Kais Klai
Checking Composition-Aware Service Substitutability. ISPA/BDCloud/SocialCom/SustainCom (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. CoDIT (2022)
Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar
Formal Modeling and Verification of Property-based Resource Consumption Cycles. SCC (2021)
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
A Survey on Formal Verification for Solidity Smart Contracts. ACSW (2021)
Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. VECoS (2021)
Nour Elhouda Souid, Kais Klai
A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. ICICS (2) (2021)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. ICECCS (2019)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ACSD (2019)
Hiba Ouni, Kais Klai, Belhassen Zouari
Parallel construction of the Symbolic Observation Graph. HPCS (2019)
Rakesh Jain, Kais Klai, Samir Tata
Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications. ISPA/BDCloud/SocialCom/SustainCom (2019)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) (2018)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Fault diagnosis of discrete-event systems based on the symbolic observation graph. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul
A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) (2018)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA (2018)
Samir Tata, Kais Klai, Rakesh Jain
Formal Model and Method to Decompose Process-Aware IoT Applications. OTM Conferences (1) (2017)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane
Measuring opacity in web services. iiWAS (2017)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati
On the Verification of Opacity in Web Services and Their Composition. IEEE Trans. Serv. Comput. 10 (1) (2017)
Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai
Computing Quantified Opacity for SOG-Abstracted Web Services. SCC (2017)
Mohamed Graiet, Kais Klai
Track Report for Formal Verification of Service Based Systems: FVSBS 2017. WETICE (2017)
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Parallel Symbolic Observation Graph. ISPA/IUCC (2017)
Souheib Baarir, Kais Klai
First international workshop on verification of business and software processes. ICSSP (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. SCSS (2017)
Kais Klai, Hanen Ochi
Model Checking of Composite Cloud Services. ICWS (2016)
Mohamed Graiet, Kais Klai
Track Report for Formal Verification of Service Based Systems: FVSBS 2016. WETICE (2016)
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences (2016)
Kais Klai, Hanen Ochi
A Formal Approach for Service Composition in a Cloud Resources Sharing Context. CCGrid (2016)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. VECoS (2015)
Kais Klai
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane
Checking Opacity of Vulnerable Critical Systems On-The-Fly. Int. J. Inf. Technol. Web Eng. 10 (1) (2015)
Camille Coti, Sami Evangelista, Kais Klai
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. PNSE @ Petri Nets (2015)
Mohamed Graiet, Kais Klai
FVSBS 2015 Track Report: Formal Verification of Service Based Systems. WETICE (2015)
Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane
Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs. ICWS (2015)
Camille Coti, Sami Evangelista, Kais Klai
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. CoRR (2015)
Kais Klai, Hanen Ochi
LTL Model Cheking of Service-Based Business Processes in the Cloud. COMPSAC Workshops (2015)
Kais Klai, Hanen Ochi
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. TASE (2015)
Kais Klai
On-The-Fly Model Checking of Times Properties on Time Petri Nets. PNSE @ Petri Nets (2014)
Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane
An On-the-Fly Approach for the Verification of Opacity in Critical Systems. WETICE (2014)
Mohamed Graiet, Zied Jaoua, Kais Klai
Track Report of Formal Verification of Service Based Systems (FVSBS 2014). WETICE (2014)
Sami Yangui, Kais Klai, Samir Tata
Deployment of Service-Based Processes in the Cloud Using Petri Net Decomposition. OTM Conferences (2014)
Kais Klai, Naim Aber, Laure Petrucci
Verification of Reachability Properties for Time Petri Nets. RP (2013)
Kais Klai, Naim Aber, Laure Petrucci
A New Approach to Abstract Reachability State Space of Time Petri Nets. TIME (2013)
Kais Klai, Samir Tata
Formal Modeling of Elastic Service-Based Business Processes. IEEE SCC (2013)
Mourad Amziani, Kais Klai, Tarek Melliti, Samir Tata
Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud. CloudCom (1) (2013)
Kais Klai, Hanen Ochi
Checking Compatibility of Web Services Behaviorally. FSEN (2013)
Kais Klai, Hanen Ochi, Samir Tata
Formal Abstraction and Compatibility Checking of Web Services. ICWS (2013)
Étienne André, Christine Choppy, Kais Klai
Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Leila Abidi, Christophe Cérin, Kais Klai
Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware. GPC (2012)
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
Modelling and Formal Verification of the NEO Protocol. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop (2012)
Kais Klai, Samir Tata, Hanen Ochi
Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1. Int. J. Web Serv. Res. 9 (4) (2012)
Kais Klai, Jörg Desel
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. FMOODS/FORTE (2012)
Kais Klai, Hanen Ochi
Checking Compatibility of Web Services Using SOGs. ICWS (2012)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA (2011)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR (2011)
Kais Klai, Walid Gaaloul
Petri Net Modeling and Verification of Transactional Workflows. WETICE (2011)
Christine Choppy, Kais Klai, Hacene Zidani
Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Kais Klai, Samir Tata, Jörg Desel
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. 70 (5) (2011)
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Petri Nets (2010)
Kais Klai, Samir Tata, Jörg Desel
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM (2009)
Kais Klai, Denis Poitrenaud
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets (2008)
Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck
CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE Trans. Serv. Comput. 1 (4) (2008)
Kais Klai, Laure Petrucci
Modular construction of the symbolic observation graph. ACSD (2008)
Kais Klai, Laure Petrucci, Michel A. Reniers
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE (2007)
Kais Klai, Samir Tata, Issam Chebbi
An Observation-based Algorithm for Workflow Matching. MSVVEIS (2006)
Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata
Behavioral Technique for Workflow Abstraction and Matching. Business Process Management (2006)
Kais Klai, Serge Haddad, Jean-Michel Ilié
Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE (2005)
Kais Klai, Samir Tata
Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE (2005)
Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN (2005)
Serge Haddad, Jean-Michel Ilié, Kais Klai
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA (2004)