Towards formalizing web service composition in Maude's strategy language. - Hamza Merouani; Farid Mokhati; Hassina Seridi-Bouchelaghem (ISWSA, 2010)

Formalizing Artifact-Centric Business Processes - Towards a Conformance Testing Approach. - Hamza Merouani; Farid Mokhati; Hassina Seridi-Bouchelaghem (ICEIS (2), 2014)