Hanen Ochi

According to our database, Hanen Ochi authored at least 12 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Symbolic Observation Graph-Based Generation of Test Paths.

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2022

Checking Composition-Aware Service Substitutability.

Hanen Ochi, Kais Klai

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2016

Model Checking of Composite Cloud Services.

Kais Klai, Hanen Ochi

Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Approach for Service Composition in a Cloud Resources Sharing Context.

Kais Klai, Hanen Ochi

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

2015

Abstraction and modular verification of inter-enterprise business processes. (Abstraction et vérification modulaire des processus métier inter-entreprise).

Hanen Ochi

PhD thesis, 2015

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows.

Kais Klai, Hanen Ochi

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, Hanen Ochi

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2013

Formal Abstraction and Compatibility Checking of Web Services.

Kais Klai, Hanen Ochi, Samir Tata

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Checking Compatibility of Web Services Behaviorally.

Kais Klai, Hanen Ochi

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1.

Kais Klai, Samir Tata, Hanen Ochi

Int. J. Web Serv. Res., 2012

A Counterexample-Based Incremental and Modular Verification Approach.

Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Checking Compatibility of Web Services Using SOGs.

Kais Klai, Hanen Ochi

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012