Hanen Ochi

13 papers A 3B 1C 2Misc 1Journal 1Unranked 4
YearRankTypeTitle / 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
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling