Tatiana Prosvirnova
26
Documents
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⟩
Article dans une revue
hal-03791998
v1
|
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⟩
Article dans une revue
hal-03792007
v1
|
|
|
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
Communication dans un congrès
hal-04766047
v1
|
|
|
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
Communication dans un congrès
hal-04766763
v1
|
|
|
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
Communication dans un congrès
hal-04766750
v1
|
|
|
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⟩
Communication dans un congrès
hal-03791088
v1
|
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⟩
Communication dans un congrès
hal-03429225
v1
|
|
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⟩
Communication dans un congrès
hal-03429734
v1
|
|
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⟩
Communication dans un congrès
hal-03429737
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02357381
v1
|
|
|
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⟩
Communication dans un congrès
hal-02357379
v1
|
|
|
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⟩
Communication dans un congrès
hal-02357383
v1
|
|
|
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
Communication dans un congrès
hal-02433834
v1
|
|
|
From Models of Structures to Structures of Models4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Communication dans un congrès
hal-01885900
v1
|
|
|
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
Communication dans un congrès
hal-01945932
v1
|
|
|
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
Communication dans un congrès
hal-01826656
v1
|
|
|
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
Communication dans un congrès
hal-01826645
v1
|
|
|
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
Communication dans un congrès
hal-02063653
v1
|
|
|
Reliability assessment of phased-mission systems with AltaRica 3.03rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
Communication dans un congrès
hal-01945908
v1
|
|
|
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
Communication dans un congrès
hal-02063641
v1
|
|
|
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⟩
Communication dans un congrès
hal-01731393
v1
|
|
|
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⟩
Communication dans un congrès
hal-01707373
v1
|
|
|
Safety Assessment of an Electrical System with AltaRica 3.04th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany
Communication dans un congrès
hal-01789438
v1
|
|
|
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
Communication dans un congrès
hal-01789435
v1
|
|
|
System Structure Modeling Language (S2ML)2015
Pré-publication, Document de travail
hal-01234903
v1
|
|
|
AltaRica 3.0: a Model-Based approach for Safety AnalysesComputational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Thèse
tel-01119730
v2
|
Chargement...
Chargement...