Elie Soubiran

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 .

Feasibility Study in the use of contract-based approaches to deal with safety-related properties in CPS

Roberto Passerone, Daniela Cancila, Elie Soubiran, 2014 .

Multi-objective exploration of architectural designs by composition of model transformations

Laurent Pautet, Etienne Borde, Smail Rahmoun, 2019, Software & Systems Modeling.

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores

Marc Pouzet, Albert Cohen, Dumitru Potop-Butucaru, 2016 .

Mixed-criticality in Railway Systems: A Case Study on Signaling Application

Zhen Zhang, Albert Cohen, Dumitru Potop-Butucaru, 2014, Ada-Europe 2014.

A Model Based Approach for Safety Analysis

Fabien Belmonte, Elie Soubiran, 2012, SAFECOMP Workshops.

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress

Frédérique Vallée, Elie Soubiran, Alexandre Ginisty, 2014, SAFECOMP Workshops.

A unified framework and a transparent name-space for the Coq module system

Elie Soubiran, 2009, MLPA '09.