Interoperability testing of presence service on IMS platform. - Mazen El Maarabani; Asma Adala; Iksoon Hwang; Ana R. Cavalli (TRIDENTCOM, 2009)

A Formal Approach for Interoperability Testing of Security Rules. - Mazen El Maarabani; Iksoon Hwang; Ana R. Cavalli (SITIS, 2010)

Verification of Interoperability Security Policies by Model Checking. - Mazen El Maarabani; Ana R. Cavalli; Iksoon Hwang; Fatiha Zaïdi (HASE, 2011)

A vector based model approach for defining trust in Multi-Organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli; Mazen El Maarabani (CRiSIS, 2012)

Role based interoperability security policies in collaborative systems. - Khalifa Toumi; Ana R. Cavalli; Mazen El Maarabani (CTS, 2012)

Testing Interoperability Security Policies. - Mazen El Maarabani; César Andrés; Ana R. Cavalli (SEKE, 2012)

Verification and test of interoperability security policies. (Vérification et test des politiques de sécurité d'interopérabilité). - Mazen El Maarabani (2012)