Accéder directement au contenu
HO

Hanen Ochi

5
Documents

Publications

Image document

Abstraction and modular verification of inter-enterprise business processes

Hanen Ochi
Systems and Control [cs.SY]. Université Sorbonne Paris Cité, 2015. English. ⟨NNT : 2015USPCD064⟩
Thèse tel-01733337v1
Image document

Symbolic Observation Graph-Based Generation of Test Paths

Kais Klai , Mohamed Taha Bennani , Jaime Arias , Jörg Desel , Hanen Ochi
7th International Conference on Tests and Proofs (TAP 2023) Held as Part of STAF 2023, Jul 2023, Leicester, United Kingdom. pp.127-146, ⟨10.1007/978-3-031-38828-6_8⟩
Communication dans un congrès hal-04168937v1
Image document

Checking Compatibility of Web Services Behaviorally

Kais Klai , Hanen Ochi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩
Communication dans un congrès hal-01514668v1

Formal abstraction and compatibility checking of web services

Kais Klai , Hanen Ochi , Samir Tata
ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.163 - 170, ⟨10.1109/ICWS.2013.31⟩
Communication dans un congrès hal-01275069v1