Hanen Ochi
Publications
Publications
Optimizing Label Coverage Using Regular Expression-Based Linear Programming17th 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⟩ |
|
|
|
Symbolic Observation Graph-Based Generation of Test Paths7th 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⟩ |
|
|
Checking Compatibility of Web Services Behaviorally5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩ |
Formal abstraction and compatibility checking of web servicesICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.163 - 170, ⟨10.1109/ICWS.2013.31⟩ |
|
|
Abstraction and modular verification of inter-enterprise business processesSystems and Control [cs.SY]. Université Sorbonne Paris Cité, 2015. English. ⟨NNT : 2015USPCD064⟩ |
Generic and specific compatibility criteria for web service composition : formal abstraction and modular verification approach1International Journal of Web Services Research, 2012, 9 (4), pp.45-68. ⟨10.4018/jwsr.2012100103⟩ |