| 2024 | VECoS | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2023 | CoDIT | Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2023 | TAP | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2022 | CoDIT | 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 |
| 2022 | CoopIS | At Design-Time Approach for Supervisory Control of Opacity. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2022 | ISPA | Checking Composition-Aware Service Substitutability. | Hanen Ochi, Kais Klai |
| 2022 | ISPA | Optimal Supervisory Control of Opacity for Modular Systems. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2021 | ICICS | A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. | Nour Elhouda Souid, Kais Klai |
| 2021 | VECoS | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. | Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2019 | ICECCS | Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
| 2019 | ISPA | Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications. | Rakesh Jain, Kais Klai, Samir Tata |
| 2018 | ISPA | Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
| 2017 | IIWAS | Measuring opacity in web services. | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
| 2017 | ICSOC | Deadlock-Freeness Verification of Business Process Configuration Using SOG. | Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul |
| 2017 | ISPA | Parallel Symbolic Observation Graph. | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
| 2017 | WETICE | Track Report for Formal Verification of Service Based Systems: FVSBS 2017. | Mohamed Graiet, Kais Klai |
| 2016 | CCGRID | A Formal Approach for Service Composition in a Cloud Resources Sharing Context. | Kais Klai, Hanen Ochi |
| 2016 | ICWS | Model Checking of Composite Cloud Services. | Kais Klai, Hanen Ochi |
| 2016 | WETICE | Track Report for Formal Verification of Service Based Systems: FVSBS 2016. | Mohamed Graiet, Kais Klai |
| 2015 | COMPSAC | LTL Model Cheking of Service-Based Business Processes in the Cloud. | Kais Klai, Hanen Ochi |
| 2015 | ICWS | Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs. | Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane |
| 2015 | WETICE | FVSBS 2015 Track Report: Formal Verification of Service Based Systems. | Mohamed Graiet, Kais Klai |
| 2015 | TASE | A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. | Kais Klai, Hanen Ochi |
| 2015 | VECoS | Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. | Abderraouf Boussif, Mohamed Ghazel, Kais Klai |
| 2014 | WETICE | Track Report of Formal Verification of Service Based Systems (FVSBS 2014). | Mohamed Graiet, Zied Jaoua, Kais Klai |
| 2014 | WETICE | An On-the-Fly Approach for the Verification of Opacity in Critical Systems. | Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane |
| 2013 | CloudCom | Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud. | Mourad Amziani, Kais Klai, Tarek Melliti, Samir Tata |
| 2013 | ICWS | Formal Abstraction and Compatibility Checking of Web Services. | Kais Klai, Hanen Ochi, Samir Tata |
| 2013 | TIME | A New Approach to Abstract Reachability State Space of Time Petri Nets. | Kais Klai, Naim Aber, Laure Petrucci |
| 2012 | FORTE | Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. | Kais Klai, Jrg Desel |
| 2012 | GPC | Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware. | Leila Abidi, Christophe Crin, Kais Klai |
| 2012 | ICWS | Checking Compatibility of Web Services Using SOGs. | Kais Klai, Hanen Ochi |
| 2011 | ATVA | 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 |
| 2011 | WETICE | Petri Net Modeling and Verification of Transactional Workflows. | Kais Klai, Walid Gaaloul |
| 2009 | BPM | Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. | Kais Klai, Samir Tata, Jrg Desel |
| 2007 | FORTE | An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. | Kais Klai, Laure Petrucci, Michel A. Reniers |
| 2006 | BPM | Behavioral Technique for Workflow Abstraction and Matching. | Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata |
| 2005 | FORTE | Modular Verification of Petri Nets Properties: A Structure-Based Approach. | Kais Klai, Serge Haddad, Jean-Michel Ili |
| 2005 | WETICE | Abstraction-basedWorkflow Cooperation Using Petri Net Theory. | Kais Klai, Samir Tata |
| 2004 | ATVA | Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. | Serge Haddad, Jean-Michel Ili, Kais Klai |