| Design and evaluation of a symbolic and abstraction-based model checker S Haddad, JM Ilié, K Klai Automated Technology for Verification and Analysis: Second International …, 2004 | 95 | 2004 |
| MC-SOG: An LTL model checker based on symbolic observation graphs K Klai, D Poitrenaud Lecture Notes in Computer Science 5062, 288-306, 2008 | 68 | 2008 |
| Formal verification of UML state diagrams: a petri net based approach C Choppy, K Klai, H Zidani ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011 | 62 | 2011 |
| Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes K Klai, S Tata, J Desel Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009 | 50 | 2009 |
| On the equivalence between liveness and deadlock-freeness in Petri nets K Barkaoui, JM Couvreur, K Klai Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005 | 50 | 2005 |
| Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System …, 2008 | 46 | 2008 |
| Self-loop aggregation product—a new hybrid approach to on-the-fly LTL model checking A Duret-Lutz, K Klai, D Poitrenaud, Y Thierry-Mieg Automated Technology for Verification and Analysis: 9th International …, 2011 | 44 | 2011 |
| Coopflow: A bottom-up approach to workflow cooperation for short-term virtual enterprises S Tata, K Klai, NOA M'bareck IEEE Transactions on Services Computing 1 (4), 214-228, 2008 | 27 | 2008 |
| On the verification of opacity in web services and their composition A Bourouis, K Klai, NB Hadj-Alouane, Y El Touati IEEE Transactions on Services Computing 10 (1), 66-79, 2016 | 25 | 2016 |
| Formalizing non-concurrent UML state machines using colored Petri nets É André, C Choppy, K Klai ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012 | 25 | 2012 |
| Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes K Klai, S Tata, J Desel Data & Knowledge Engineering 70 (5), 467-482, 2011 | 25 | 2011 |
| Formal abstraction and compatibility checking of web services K Klai, H Ochi, S Tata 2013 IEEE 20th International Conference on Web Services, 163-170, 2013 | 22 | 2013 |
| Formal modeling of elastic service-based business processes K Klai, S Tata 2013 IEEE International Conference on Services Computing, 424-431, 2013 | 22 | 2013 |
| Formal verification of time-aware cloud resource allocation in business process R Ben Halima, S Kallel, K Klai, W Gaaloul, M Jmaiel On the Move to Meaningful Internet Systems: OTM 2016 Conferences …, 2016 | 21 | 2016 |
| A survey on formal verification for solidity smart contracts I Garfatta, K Klai, W Gaaloul, M Graiet 2021 Australasian Computer Science Week Multiconference, 1-10, 2021 | 20 | 2021 |
| Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. K Klai, J Desel FMOODS/FORTE 7273, 67-83, 2012 | 20 | 2012 |
| Time-based evaluation of service-based business process elasticity in the cloud M Amziani, K Klai, T Melliti, S Tata 2013 IEEE 5th International Conference on Cloud Computing Technology and …, 2013 | 18 | 2013 |
| Combining enumerative and symbolic techniques for diagnosis of discrete-event systems A Boussif, M Ghazel, K Klai VECOS 2015-9th Workshop on Verification and Evaluation of Computer and …, 2015 | 17 | 2015 |
| The NEO protocol for large-scale distributed database systems: Modelling and initial verification C Choppy, A Dedova, S Evangelista, S Hong, K Klai, L Petrucci Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 17 | 2010 |
| An incremental verification technique using decomposition of Petri nets S Haddad, JM Ilié, K Klai Proc. of the IEEE SMC, 2002 | 17 | 2002 |
