Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. - Akram Idani; Yves Ledru; Mohamed-Amine Labiadh (INFORSID, 2009)

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. - Akram Idani; Mohamed-Amine Labiadh; Yves Ledru (Ingénierie des Systèmes d Inf., 2010)

Taking into Account Functional Models in the Validation of IS Security Policies. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (CAiSE Workshops, 2011)

Validation of security policies by the animation of Z specifications. - Yves Ledru; Nafees Qamar; Akram Idani; Jean-Luc Richier; Mohamed-Amine Labiadh (SACMAT, 2011)

Combining UML, ASTD and B for the formal specification of an access control filter. - Jérémy Milhau; Akram Idani; Régine Laleau; Mohamed-Amine Labiadh; Yves Ledru; Marc Frappier (Innov. Syst. Softw. Eng., 2011)

Validation of IS Security Policies Featuring Authorisation Constraints. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (Int. J. Inf. Syst. Model. Des., 2015)