LIPN : LCR


Page personnelle de Hanen Ochi


           Hanen Ochi           Hanen Ochi
Laboratoire d'Informatique de Paris-Nord
UMR CNRS 7030
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse
France

Bureau : B307
Tél : +33 1 49 40 28 26
Fax : +33 1 48 26 07 12
Courriel : Hanen.Ochi at lipn.univ-paris13.fr

Ma formation

Je suis actuellement en thèse au sein de l'équipe LCR du LIPN (axe de recherche Spécification et Vérification ; mon sujet de thèse porte sur la Modélisation Abstraction et Vérification de Procédés Inter-Entreprises, sous la direction de Kais Klai.

Publications

Journaux

  1. Kais Klai, Samir Tata and Hanen Ochi. Generic and Specific Compatibility Criteria for Web Service Compatibility: Formal Abstraction and Modular Verification. International Journal of Web Services Research 9(4) 45-68, 2012
Conférences internationales

  1. Kais Klai, Hanen Ochi and Samir Tata. Formal Abstraction and Compatibility Checking of Web Services. In 20th International Conference on Web Services, IEEE ICWS, 163-170, 2013.
  2. Kais Klai, Hanen Ochi. Checking Compatibility of Web Services Behaviorally. Fondamentals of Software Engineering FSEN 2013, Lecture Notes in Computer Science, Springer-Verlag, 267-282, 2013.
  3. Kais Klai, Hanen Ochi. Checking Compatibility of Web Services Using SOGs. In Proceedings 2012 IEEE 19th International Conference on Web Services, pp 670-671, Honolulu, HI, USA, June 24-29, 2012.
  4. Kais Klai, Hanen Ochi. Modular verification of inter-enterprise Business Processes. In The IEEE Fourth International Conference on Information, Process, and Knowledge Management, eKNOW 2012, pp- 155-161, January 30 - February 4, 2012 - Valencia, Spain.
  5. Kais Klai, Hanen Ochi. A Bottom-Up Approach To Check The Correctness of Interorganisational Workflows. To appear in Proceeding 2015 The 9th International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China
Workshop internationaux

  1. Kais Klai, Hanen Ochi. LTL Model Cheking of Service-Based Business Processes in the Cloud. COMPSAC Workshops 2015: The 4th IEEE International Workshop on Modeling and Veryifying Distributed Applications, 398-403
  2. Etienne André, Kais Klai, Hanen Ochi and Laure Petrucci. A Counterexample-Based Incremental and Modular Verification Approach. Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Lecture Notes in Computer Science,Springer volume, 2012

Enseignements