Nombre de documents

4

Tatiana PROSVIRNOVA, Research Engineer at CentraleSupélec


Communication dans un congrès2 documents

  • Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, et al.. Performing Safety Analyses with AADL and AltaRica. The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. Proceedings of the 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 10437, pp. 67-81, 2017, 〈10.1007/978-3-319-64119-5_5〉. 〈hal-01707373〉
  • Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier. Handling consistency between safety and system models. IMBSA 2017 (International Symposium on Model-Based and Assessment), Sep 2017, Trento, Italy. Model-Based Safety and Assessment, pp. 19-34, 2017, 〈10.1007/978-3-319-64119-5_2〉. 〈hal-01731393〉

Pré-publication, Document de travail1 document

  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. System Structure Modeling Language (S2ML). 2015. 〈hal-01234903〉

Thèse1 document

  • Tatiana Prosvirnova. AltaRica 3.0: a Model-Based approach for Safety Analyses. Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. 〈tel-01119730v2〉