Number of documents

14

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.


Conference papers12 documents

  • Michel Batteux, Antoine Rauzy, Tatiana Prosvirnova. INTRODUCING AN ABSTRACT NOTION OF TIME FOR THE STEPWISE SIMULATION OF ALTARICA 3.0 MODELS. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063653⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914. ⟨hal-01826645⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang. Reliability assessment of phased-mission systems with AltaRica 3.0. 3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain. ⟨hal-01945908⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time. 28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway. ⟨hal-01826656⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. From Models of Structures to Structures of Models. 4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy. ⟨hal-01885900⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0. Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-01945932⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. ALTARICA WIZARD : UN ENVIRONEMENT INTEGRE DE MODELISATION ET SIMULATION POUR ALTARICA 3.0. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063678⟩
  • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063641⟩
  • 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. pp. 67-81, ⟨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. pp. 19-34, ⟨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⟩

Preprints, Working Papers, ...1 document

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

Theses1 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⟩