Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant). - Elie Soubiran (2010)

A Model Based Approach for Safety Analysis. - Fabien Belmonte; Elie Soubiran (SAFECOMP Workshops, 2012)

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress. - Alexandre Ginisty; Frédérique Vallée; Elie Soubiran; Vidal-delmas Tchapet-Nya (SAFECOMP Workshops, 2014)

Multi-objective exploration of architectural designs by composition of model transformations. - Smail Rahmoun; Asma Mehiaoui-Hamitou; Etienne Borde; Laurent Pautet; Elie Soubiran (Softw. Syst. Model., 2019)