The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kais Klai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.017secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002