Hanen Ochi

13 papers A 3B 1C 2Misc 1Journal 1Unranked 4

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Optimizing Label Coverage Using Regular Expression-Based Linear Programming. VECoS Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni
2023	C	`conf`	Symbolic Observation Graph-Based Generation of Test Paths. TAP Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
2022	—	`conf`	Checking Composition-Aware Service Substitutability. ISPA/BDCloud/SocialCom/SustainCom Hanen Ochi, Kais Klai
2016	B	`conf`	A Formal Approach for Service Composition in a Cloud Resources Sharing Context. CCGrid Kais Klai, Hanen Ochi
2016	A	`conf`	Model Checking of Composite Cloud Services. ICWS Kais Klai, Hanen Ochi
2015	Misc	`conf`	A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. TASE Kais Klai, Hanen Ochi
2015	—	`—`	Abstraction and modular verification of inter-enterprise business processes. (Abstraction et vérification modulaire des processus métier inter-entreprise). Hanen Ochi
2015	—	`conf`	LTL Model Cheking of Service-Based Business Processes in the Cloud. COMPSAC Workshops Kais Klai, Hanen Ochi
2013	—	`conf`	Checking Compatibility of Web Services Behaviorally. FSEN Kais Klai, Hanen Ochi
2013	A	`conf`	Formal Abstraction and Compatibility Checking of Web Services. ICWS Kais Klai, Hanen Ochi, Samir Tata
2012	—	`conf`	A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
2012	A	`conf`	Checking Compatibility of Web Services Using SOGs. ICWS Kais Klai, Hanen Ochi
2012	J	`jnl`	Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1. Int. J. Web Serv. Res. Kais Klai, Samir Tata, Hanen Ochi