HO
Hanen Ochi
5
Documents
Publications
|
Abstraction and modular verification of inter-enterprise business processesSystems and Control [cs.SY]. Université Sorbonne Paris Cité, 2015. English. ⟨NNT : 2015USPCD064⟩
Thèse
tel-01733337v1
|
|
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⟩
Communication dans un congrès
hal-04168937v1
|
|
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⟩
Communication dans un congrès
hal-01514668v1
|
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⟩
Communication dans un congrès
hal-01275069v1
|
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⟩
Article dans une revue
hal-00864663v1
|