Hanen Ochi

Publications

Communication dans un congrès (4)

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

Thèse (1)

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

Article dans une revue (1)

Generic and specific compatibility criteria for web service composition : formal abstraction and modular verification approach1 Kais Klai,Samir Tata,Hanen Ochi International Journal of Web Services Research, 2012, 9 (4), pp.45-68. ⟨10.4018/jwsr.2012100103⟩ Article dans une revue hal-00864663v1