Kais Klai - RankMe

76 papers A 7B 8C 18Misc 1Journal 12Unranked 30

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