Tatiana Prosvirnova

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 13

Top Venues

IMBSA

Int. J. Crit. Comput. Based Syst.

ISSE

ICSRS

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy
Abstract executions of stochastic discrete event systems. Int. J. Crit. Comput. Based Syst. 10 (3) (2022)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA (2022)
Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA (2022)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, Maurice Theobald
Synchronization of System Architecture, Multi-physics and Safety Models. CSDM (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA (2019)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy
Synchronization of System Architecture and Safety Models: a Proof of Concept. ISSE (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang
Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS (2018)
Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
Handling Consistency Between Safety and System Models. IMBSA (2017)
Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
Performing Safety Analyses with AADL and AltaRica. IMBSA (2017)
Tatiana Prosvirnova, Antoine Rauzy
Automated generation of minimal cut sets from AltaRica 3.0 models. Int. J. Crit. Comput. Based Syst. 6 (1) (2015)
Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140 (2015)
Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy
Safety Assessment of an Electrical System with AltaRica 3.0. IMBSA (2014)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul
The AltaRica 3.0 project for model-based safety assessment. INDIN (2013)

Tatiana Prosvirnova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tatiana Prosvirnova