Tatiana Prosvirnova

Présentation

Publications

Article dans une revue (2)

Abstract Executions of Stochastic Discrete Event Systems Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy International 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 ten modelling patterns Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy International Journal of Critical Computer-Based Systems, 2019, 9 (1-2), pp.133-165. ⟨10.1504/IJCCBS.2019.098809⟩ Article dans une revue hal-03792007v1

Communication dans un congrès (22)

Automatic generation of stochastic Boolean equations from AltaRica 3.0 models: towards a better readability of generated models Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy Congrès Lambda Mu 24 "Les métiers du risque : clés de la réindustrialisation et de la transition écologique", Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France Communication dans un congrès hal-04766750v1
AltaRica Wizard : un environnement de modélisation et de simulation pour l'analyse de systèmes d'équations Booléennes stochastiques Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy Congrès Lambda Mu 24 "Les métiers du risque : clés de la réindustrialisation et de la transition écologique", Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France Communication dans un congrès hal-04766763v1
Preliminary safety assessment of a distributed propulsion electrical system Tatiana Prosvirnova,Pierre Bieber,Christel Seguin Lambda Mu 24 LES MÉTIERS DU RISQUE : CLÉS DE LA RÉINDUSTRIALISATION ET DE LA TRANSITION ÉCOLOGIQUE, Institut pour la Maîtrise du Risque, Oct 2024, Bourges, France Communication dans un congrès hal-04766047v1
Performance assessment of an offshore windmill farm with AltaRica 3.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy International 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
Benefits of graphical animation of advanced AltaRica 3.0 models Michel Batteux,Walid Bennaceur,Tatiana Prosvirnova,Antoine Rauzy Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.1394-1401, ⟨10.3850/978-981-18-2016-8_682-cd⟩ Communication dans un congrès hal-03429734v1
Efficient Modeling of large Markov chains models with AltaRica 3.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.864-871, ⟨10.3850/978-981-18-2016-8_671-cd⟩ Communication dans un congrès hal-03429225v1
AltaRica 3.0 modeling pattern for production systems availability assessment Michel Batteux,Walid Bennaceur,Tatiana Prosvirnova,Antoine Rauzy Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. pp.872-879, ⟨10.3850/978-981-18-2016-8_680-cd⟩ Communication dans un congrès hal-03429737v1
Model synchronization: a formal framework for the management of heterogeneous models Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_11⟩ Communication dans un congrès hal-02357381v1
Synchronization of System Architecture and Safety Models: a Proof of Concept Michel Batteux,Jean-Yves Choley,Faida Mhenni,Tatiana Prosvirnova,Antoine Rauzy IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edimbourg, 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.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_3⟩ Communication dans un congrès hal-02357383v1
Synchronization of system architecture, multi-physics and safety models Michel Batteux,Jean-Yves Choley,Faida Mhenni,Luca Palladino,Tatiana Prosvirnovaet al. Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France Communication dans un congrès hal-02433834v1
Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0 Michel Batteux,Antoine Rauzy,Tatiana Prosvirnova Congrè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
Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914 Communication dans un congrès hal-01826645v1
Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy 28th European Safety and Reliability Conference, ESREL 2018, Jun 2018, Trondheim, Norway Communication dans un congrès hal-01826656v1
ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy Congré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
From Models of Structures to Structures of Models Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy 4th 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.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy,Liu Yang 3rd 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.0 Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy Congrè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
Performing Safety Analyses with AADL and AltaRica Julien Brunel,Peter Feiler,Jérôme Hugues,Bruce Lewis,Tatiana Prosvirnovaet al. 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⟩ Communication dans un congrès hal-01707373v1
Handling consistency between safety and system models Tatiana Prosvirnova,Estelle Saez,Christel Seguin,Pierre Virelizier IMBSA 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.0 Hala Mortada,Tatiana Prosvirnova,Antoine Rauzy 4th 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 Assessment Tatiana Prosvirnova,Michel Batteux,Pierre-Antoine Brameret,Abraham Cherfi,Thomas Friedlhuberet al. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom Communication dans un congrès hal-01789435v1

Pré-publication, Document de travail (1)

System Structure Modeling Language (S2ML) Michel Batteux,Tatiana Prosvirnova,Antoine Rauzy 2015 Pré-publication, Document de travail hal-01234903v1

Thèse (1)

AltaRica 3.0: a Model-Based approach for Safety Analyses Tatiana Prosvirnova Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩ Thèse tel-01119730v2