Tatiana Prosvirnova

According to our database, Tatiana Prosvirnova authored at least 16 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Abstract executions of stochastic discrete event systems.

Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy

Int. J. Crit. Comput. Based Syst., 2022

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica.

Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2019

AltaRica 3.0 in ten modelling patterns.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Int. J. Crit. Comput. Based Syst., 2019

Synchronization of System Architecture and Safety Models: a Proof of Concept.

Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the International Symposium on Systems Engineering, 2019

Model Synchronization: A Formal Framework for the Management of Heterogeneous Models.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Synchronization of System Architecture, Multi-physics and Safety Models.

Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, Maurice Theobald

Proceedings of the Tenth International Conference on Complex Systems Design & Management, 2019

2018

Reliability Assessment of Phased-Mission Systems with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

2017

Handling Consistency Between Safety and System Models.

Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Performing Safety Analyses with AADL and AltaRica.

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2015

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica.

Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck

Reliab. Eng. Syst. Saf., 2015

Automated generation of minimal cut sets from AltaRica 3.0 models.

Tatiana Prosvirnova, Antoine Rauzy

Int. J. Crit. Comput. Based Syst., 2015

2014

AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement).

Tatiana Prosvirnova

PhD thesis, 2014

Safety Assessment of an Electrical System with AltaRica 3.0.

Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013

The AltaRica 3.0 project for model-based safety assessment.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013