Kais Klai

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEKais Klai, Laure Petrucci: Modular construction of the symbolic observation graph. ACSD 2008: 88-97
8EEKais Klai, Denis Poitrenaud: MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets 2008: 288-306
7EEKais Klai, Laure Petrucci, Michel A. Reniers: An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295
6EEKais 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
4EEKais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
3EEKamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107
2EEKais Klai, Samir Tata: Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE 2005: 113-120
1EESerge Haddad, Jean-Michel Ilié, Kais Klai: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210

Coauthor Index

1Kamel Barkaoui [3]
2Issam Chebbi [5]
3Jean-Michel Couvreur [3]
4Serge Haddad [1] [4]
5Jean-Michel Ilié (Jean Michel Ilié) [1] [4]
6Nomane Ould Ahmed M'Bareck [6]
7Laure Petrucci (Laure Petrucci-Dauchy) [7] [9]
8Denis Poitrenaud [8]
9Michel A. Reniers [7]
10Samir Tata [2] [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)