Nombre de documents

8

Tatiana PROSVIRNOVA, Research Engineer at CentraleSupélec


Tatiana Prosvirnova currently works as a research engineer at CentraleSupélec (Paris, France).

Tatiana Prosvirnova has a PhD in computer science.
She is graduated from Ecole Polytechnique.
She has M.S of Science of Ecole Polytechnique in Systems Engineering.

She has been working as a software developer at Dassault Systemes (the largest French software editor) for three years.

Her research interests are model based safety assessment, systems engineering, formal methods, software development,
system architecture modeling and model synchronization.

She is a founding member of the AltaRica Association.


Communication dans un congrès6 documents

  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time. Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. 28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press Safety and Reliability – Safe Societies in a Changing World 〈https://www.ntnu.edu/esrel2018〉. 〈hal-01826656〉
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press, pp.907-914, Safety and Reliability – Safe Societies in a Changing World. 〈https://www.ntnu.edu/esrel2018〉. 〈hal-01826645〉
  • 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〉
  • Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. Safety Assessment of an Electrical System with AltaRica 3.0. 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany. 〈hal-01789438〉
  • Tatiana Prosvirnova, Michel Batteux, Pierre-Antoine Brameret, Abraham Cherfi, Thomas Friedlhuber, et al.. The AltaRica 3.0 Project for Model-Based Safety Assessment. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom. 〈hal-01789435〉

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〉