Search the dblp DataBase

Publications of Author

1. Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
   On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2005, pp:90-107 [Conf]
   
2. Serge Haddad, Jean-Michel Ilié, Kais Klai
   Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. [Citation Graph (0, 0)][DBLP]
   ATVA, 2004, pp:196-210 [Conf]
   
3. Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata
   Behavioral Technique for Workflow Abstraction and Matching. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2006, pp:477-483 [Conf]
   
4. Kais Klai, Serge Haddad, Jean-Michel Ilié
   Modular Verification of Petri Nets Properties: A Structure-Based Approach. [Citation Graph (0, 0)][DBLP]
   FORTE, 2005, pp:189-203 [Conf]
   
5. Kais Klai, Samir Tata, Issam Chebbi
   An Observation-based Algorithm for Workflow Matching. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2006, pp:193-197 [Conf]
   
6. Kais Klai, Samir Tata
   Abstraction-basedWorkflow Cooperation Using Petri Net Theory. [Citation Graph (0, 0)][DBLP]
   WETICE, 2005, pp:113-120 [Conf]
   
7. Kais Klai, Laure Petrucci, Michel Reniers
   An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. [Citation Graph (0, 0)][DBLP]
   FORTE, 2007, pp:280-295 [Conf]
   
8. 
   Modular construction of the symbolic observation graph. [Citation Graph (, )][DBLP]
   
   
9. 
   MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. [Citation Graph (, )][DBLP]
   
   
10. 
    The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. [Citation Graph (, )][DBLP]