LIPN: LCR

Hanen Ochi's Home Page

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 Office: B307 Phone: +33 1 49 40 28 26 Fax:     +33 1 48 26 07 12 E-mail: 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.

• 2015-2016 : ATER à l'université Paris Nord
• 2011-2014 : Allocataire de recherche/moniteur à l'université Paris Nord
• 2010-2011 : Master de recherche génie logiciel à l'Institut supérieur d'informatique(ISI) à Tunis
• 2010 : Ingéniorat en informatique à l'Institut Supérieur d'Informatique à Tunis

Publications

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

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

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