Kais Klai

	2012
18		Leila Abidi, Christophe Cérin, Kais Klai: Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware. GPC 2012: 74-88
	2011
17		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: 336-350
16		Kais Klai, Walid Gaaloul: Petri Net Modeling and Verification of Transactional Workflows. WETICE 2011: 176-184
15		Christine Choppy, Kais Klai, Hacene Zidani: Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
14		Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg: Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR abs/1106.5700: (2011)
13		Kais Klai, Samir Tata, Jörg Desel: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. 70(5): 467-482 (2011)
	2010
12		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: 145-164
	2009
11		Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309
	2008
10		Kais Klai, Laure Petrucci: Modular construction of the symbolic observation graph. ACSD 2008: 88-97
9		Kais Klai, Denis Poitrenaud: MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets 2008: 288-306
8		Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck: CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE T. Services Computing 1(4): 214-228 (2008)
	2007
7		Kais Klai, Laure Petrucci, Michel A. Reniers: An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295
	2006
6		Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata: Behavioral Technique for Workflow Abstraction and Matching. Business Process Management 2006: 477-483
5		Kais Klai, Samir Tata, Issam Chebbi: An Observation-based Algorithm for Workflow Matching. MSVVEIS 2006: 193-197
	2005
4		Kais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
3		Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107
2		Kais Klai, Samir Tata: Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE 2005: 113-120
	2004
1		Serge Haddad, Jean-Michel Ilié, Kais Klai: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210

Coauthor Index

1	Leila Abidi	[18]
2	Kamel Barkaoui	[3]
3	Christophe Cérin	[18]
4	Issam Chebbi	[5]
5	Christine Choppy	[12] [15]
6	Jean-Michel Couvreur	[3]
7	Anna Dedova	[12]
8	Jörg Desel	[11] [13]
9	Alexandre Duret-Lutz	[14] [17]
10	Sami Evangelista	[12]
11	Walid Gaaloul	[16]
12	Serge Haddad	[1] [4]
13	Silien Hong	[12]
14	Jean-Michel Ilié (Jean Michel Ilié)	[1] [4]
15	Nomane Ould Ahmed M'Bareck	[6] [8]
16	Laure Petrucci (Laure Petrucci-Dauchy)	[7] [10] [12]
17	Denis Poitrenaud	[9] [14] [17]
18	Michel A. Reniers	[7]
19	Samir Tata	[2] [5] [6] [8] [11] [13]
20	Yann Thierry-Mieg	[14] [17]
21	Hacene Zidani	[15]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page