Tatiana Prosvirnova
23
Documents
Présentation
Tatiana Prosvirnova currently works as a research engineer at ONERA (Toulouse, 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](http://altarica-association.org/).
Publications
|
Abstract Executions of Stochastic Discrete Event SystemsInternational Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩
Article dans une revue
hal-03791998v1
|
AltaRica 3.0 in 10 Modeling PatternsInternational Journal of Critical Computer-Based Systems, 2019, 9 (1-2), pp.133-165
Article dans une revue
hal-03792007v1
|
|
Performance assessment of an offshore windmill farm with AltaRica 3.0International Symposium on Model Based Safety Assessment, IMBSA 2022, Sep 2022, Munich, Germany. ⟨10.1007/978-3-031-15842-1_10⟩
Communication dans un congrès
hal-03791088v1
|
Efficient Modeling of large Markov chains models with AltaRica 3.0Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429225v1
|
|
Benefits of graphical animation of advanced AltaRica 3.0 modelsProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429734v1
|
|
AltaRica 3.0 modeling pattern for production systems availability assessmentProceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Communication dans un congrès
hal-03429737v1
|
|
|
Synchronization of System Architecture and Safety Models: a Proof of ConceptIEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edinbourg, United Kingdom. ⟨10.1109/ISSE46696.2019.8984515⟩
Communication dans un congrès
hal-02357379v1
|
|
Modeling patterns for the assessment of maintenance policies with AltaRica 3.0International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
Communication dans un congrès
hal-02357383v1
|
|
Synchronization of system architecture, multi-physics and safety modelsProceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France
Communication dans un congrès
hal-02433834v1
|
|
Model synchronization: a formal framework for the management of heterogeneous modelsInternational Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩
Communication dans un congrès
hal-02357381v1
|
|
From Models of Structures to Structures of Models4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Communication dans un congrès
hal-01885900v1
|
|
Reliability assessment of phased-mission systems with AltaRica 3.03rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
Communication dans un congrès
hal-01945908v1
|
|
Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès
hal-02063641v1
|
|
ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès
hal-01945932v1
|
|
Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 modelsEuropean Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914
Communication dans un congrès
hal-01826645v1
|
|
Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès
hal-02063653v1
|
|
Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time28th European Safety and Reliability Conference, ESREL 2018, Jun 2018, Trondheim, Norway
Communication dans un congrès
hal-01826656v1
|
|
Performing Safety Analyses with AADL and AltaRicaThe 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⟩
Communication dans un congrès
hal-01707373v1
|
|
Handling consistency between safety and system modelsIMBSA 2017 (International Symposium on Model-Based and Assessment), Sep 2017, Trento, Italy. pp. 19-34, ⟨10.1007/978-3-319-64119-5_2⟩
Communication dans un congrès
hal-01731393v1
|
|
Safety Assessment of an Electrical System with AltaRica 3.04th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany
Communication dans un congrès
hal-01789438v1
|
|
The AltaRica 3.0 Project for Model-Based Safety Assessment4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom
Communication dans un congrès
hal-01789435v1
|
|
System Structure Modeling Language (S2ML)2015
Pré-publication, Document de travail
hal-01234903v1
|
|
AltaRica 3.0: a Model-Based approach for Safety AnalysesComputational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Thèse
tel-01119730v2
|