A unified formal model for service oriented architecture to enforce security contracts. - Diana Allam (AOSD (Companion), 2012)

A Message-passing Model for Service Oriented Computing. - Diana Allam; Rémi Douence; Hervé Grall; Jean-Claude Royer; Mario Südholt (WEBIST, 2012)

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. - Diana Allam; Hervé Grall; Jean-Claude Royer (iiWAS, 2013)

From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. - Diana Allam; Hervé Grall; Jean-Claude Royer (WEBIST, 2013)

Loose coupling and substitution principle in objet-oriented frameworks for web services. (Couplage faible et principe de substitution dans les environnements à objets pour les services web). - Diana Allam (2014)