search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Hanen Ochi

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Service Compositions

Web Service Composition

Business Process

Top Venues

COMPSAC Workshops

Université Sorbonne Paris Cité, France (PHD)

Education History

Université Sorbonne Paris Cité, France

PHD

Publications

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
Symbolic Observation Graph-Based Generation of Test Paths. TAP (2023)
Hanen Ochi, Kais Klai
Checking Composition-Aware Service Substitutability. ISPA/BDCloud/SocialCom/SustainCom (2022)
Kais Klai, Hanen Ochi
Model Checking of Composite Cloud Services. ICWS (2016)
Kais Klai, Hanen Ochi
A Formal Approach for Service Composition in a Cloud Resources Sharing Context. CCGrid (2016)
Kais Klai, Hanen Ochi
LTL Model Cheking of Service-Based Business Processes in the Cloud. COMPSAC Workshops (2015)
Kais Klai, Hanen Ochi
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. TASE (2015)
Kais Klai, Hanen Ochi
Checking Compatibility of Web Services Behaviorally. FSEN (2013)
Kais Klai, Hanen Ochi, Samir Tata
Formal Abstraction and Compatibility Checking of Web Services. ICWS (2013)
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop (2012)
Kais Klai, Samir Tata, Hanen Ochi
Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1. Int. J. Web Serv. Res. 9 (4) (2012)
Kais Klai, Hanen Ochi
Checking Compatibility of Web Services Using SOGs. ICWS (2012)