Elie Soubiran

According to our database1, Elie Soubiran authored at least 4 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Multi-objective exploration of architectural designs by composition of model transformations.
Softw. Syst. Model., 2019

2014
Report on the Railway Use-Case of the Crystal Project: Objectives and Progress.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2012
A Model Based Approach for Safety Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2012

2010
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).
PhD thesis, 2010


  Loading...