Tatiana Prosvirnova
Présentation
Publications
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⟩ |
AltaRica 3.0 in ten modelling patternsInternational Journal of Critical Computer-Based Systems, 2019, 9 (1-2), pp.133-165. ⟨10.1504/IJCCBS.2019.098809⟩ |
|
|
Automatic generation of stochastic Boolean equations from AltaRica 3.0 models: towards a better readability of generated modelsCongrè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 |
|
|
Preliminary safety assessment of a distributed propulsion electrical systemLambda 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 |
|
|
AltaRica Wizard : un environnement de modélisation et de simulation pour l'analyse de systèmes d'équations Booléennes stochastiquesCongrè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 |
|
|
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⟩ |
Benefits of graphical animation of advanced AltaRica 3.0 modelsProceedings 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⟩ |
|
Efficient Modeling of large Markov chains models with AltaRica 3.0Proceedings 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⟩ |
|
AltaRica 3.0 modeling pattern for production systems availability assessmentProceedings 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⟩ |
|
|
|
Synchronization of System Architecture and Safety Models: a Proof of ConceptIEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edimbourg, United Kingdom. ⟨10.1109/ISSE46696.2019.8984515⟩ |
|
|
Modeling patterns for the assessment of maintenance policies with AltaRica 3.0International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_3⟩ |
|
|
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 |
|
|
Model synchronization: a formal framework for the management of heterogeneous modelsInternational Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessalonique, Greece. ⟨10.1007/978-3-030-32872-6_11⟩ |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
From Models of Structures to Structures of Models4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy |
|
|
Reliability assessment of phased-mission systems with AltaRica 3.03rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Safety Assessment of an Electrical System with AltaRica 3.04th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany |
|
|
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 |
|
|
System Structure Modeling Language (S2ML)2015 |
|
|
AltaRica 3.0: a Model-Based approach for Safety AnalysesComputational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩ |