HO

Hanen Ochi

6
Documents

Publications

Publications

Optimizing Label Coverage Using Regular Expression-Based Linear Programming

Kais Klai , Mohamed Taha Bennani , Jaime Arias , Hanen Ochi , Hadhami Elouni
17th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2024), Oct 2024, Djerba, Tunisia. pp.16-31, ⟨10.1007/978-3-031-85356-2_2⟩
Communication dans un congrès hal-05037338 v1
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-04168937 v1
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-01514668 v1

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-01275069 v1