Volgen
Kais Klai
Kais Klai
maître de conférence, HDR, paris 13
Geverifieerd e-mailadres voor lipn.univ-paris13.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
952004
MC-SOG: An LTL model checker based on symbolic observation graphs
K Klai, D Poitrenaud
Lecture Notes in Computer Science 5062, 288-306, 2008
682008
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
622011
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
502009
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
502005
Modular construction of the symbolic observation graph
K Klai, L Petrucci
2008 8th International Conference on Application of Concurrency to System …, 2008
462008
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
442011
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
272008
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
252016
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
252012
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
K Klai, S Tata, J Desel
Data & Knowledge Engineering 70 (5), 467-482, 2011
252011
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
222013
Formal modeling of elastic service-based business processes
K Klai, S Tata
2013 IEEE International Conference on Services Computing, 424-431, 2013
222013
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
212016
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
202021
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
K Klai, J Desel
FMOODS/FORTE 7273, 67-83, 2012
202012
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
182013
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
172015
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
172010
An incremental verification technique using decomposition of Petri nets
S Haddad, JM Ilié, K Klai
Proc. of the IEEE SMC, 2002
172002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20