Tatiana Prosvirnova

19 papers C 1Journal 4Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance. IMBSA Pierre Bieber, Kevin Delmas, Sergio Pizziol, Tatiana Prosvirnova, Christel Seguin
2025	—	`conf`	Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment. IMBSA Jonathan Mboko, Jérôme Morio, Christel Seguin, Jean-Charles Chaudemar, Tatiana Prosvirnova
2022	J	`jnl`	Abstract executions of stochastic discrete event systems. Int. J. Crit. Comput. Based Syst. Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy
2022	—	`ed.`	Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings IMBSA Christel Seguin, Marc Zeller, Tatiana Prosvirnova
2022	—	`conf`	Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
2022	—	`conf`	Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
2019	J	`jnl`	AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
2019	—	`conf`	Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
2019	—	`conf`	Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
2019	—	`conf`	Synchronization of System Architecture and Safety Models: a Proof of Concept. ISSE Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy
2019	—	`conf`	Synchronization of System Architecture, Multi-physics and Safety Models. CSDM Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, Maurice Theobald
2018	—	`conf`	Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang
2017	—	`conf`	Handling Consistency Between Safety and System Models. IMBSA Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
2017	—	`conf`	Performing Safety Analyses with AADL and AltaRica. IMBSA Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
2015	J	`jnl`	Automated generation of minimal cut sets from AltaRica 3.0 models. Int. J. Crit. Comput. Based Syst. Tatiana Prosvirnova, Antoine Rauzy
2015	J	`jnl`	Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
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
2014	—	`conf`	Safety Assessment of an Electrical System with AltaRica 3.0. IMBSA Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy
2013	C	`conf`	The AltaRica 3.0 project for model-based safety assessment. INDIN Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul