- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Étienne André, Christine Choppy, Kais Klai: Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012) |
| j4 | | Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef: Modelling and Formal Verification of the NEO Protocol. T. Petri Nets and Other Models of Concurrency 6: 197-225 (2012) |
| c17 | | Kais Klai, Jörg Desel: Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. FMOODS/FORTE 2012: 67-83 |
| c16 | | Leila Abidi, Christophe Cérin, Kais Klai: Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware. GPC 2012: 74-88 |
| c15 | | |
| c14 | | Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci: A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop 2012: 283-302 |
| 2011 | ||
| j3 | | 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) |
| j2 | | 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) |
| c13 | | 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 |
| c12 | | Kais Klai, Walid Gaaloul: Petri Net Modeling and Verification of Transactional Workflows. WETICE 2011: 176-184 |
| i1 | | 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) |
| 2010 | ||
| c11 | | 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 | ||
| c10 | | Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309 |
| 2008 | ||
| j1 | | 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) |
| c9 | | |
| c8 | | Kais Klai, Denis Poitrenaud: MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets 2008: 288-306 |
| 2007 | ||
| c7 | | 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 | ||
| c6 | | Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata: Behavioral Technique for Workflow Abstraction and Matching. Business Process Management 2006: 477-483 |
| c5 |  | Kais Klai, Samir Tata, Issam Chebbi: An Observation-based Algorithm for Workflow Matching. MSVVEIS 2006: 193-197 |
| 2005 | ||
| c4 | | Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107 |
| c3 | | Kais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203 |
| c2 | | Kais Klai, Samir Tata: Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE 2005: 113-120 |
| 2004 | ||
| c1 | | Serge Haddad, Jean-Michel Ilié, Kais Klai: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210 |
Colors in the list of coauthors
Last update Wed May 22 14:42:47 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page