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