Hanen Ochi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2012–2024
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VECoS | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2023 | TAP | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2022 | ISPA | Checking Composition-Aware Service Substitutability. | Hanen Ochi, Kais Klai |
| 2016 | CCGRID | A Formal Approach for Service Composition in a Cloud Resources Sharing Context. | Kais Klai, Hanen Ochi |
| 2016 | ICWS | Model Checking of Composite Cloud Services. | Kais Klai, Hanen Ochi |
| 2015 | COMPSAC | LTL Model Cheking of Service-Based Business Processes in the Cloud. | Kais Klai, Hanen Ochi |
| 2015 | TASE | A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. | Kais Klai, Hanen Ochi |
| 2013 | ICWS | Formal Abstraction and Compatibility Checking of Web Services. | Kais Klai, Hanen Ochi, Samir Tata |
| 2012 | ICWS | Checking Compatibility of Web Services Using SOGs. | Kais Klai, Hanen Ochi |