Skip to Main content Skip to Navigation


...
hal-02357381v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Model synchronization: a formal framework for the management of heterogeneous models
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩
hal-03791088v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Performance assessment of an offshore windmill farm with AltaRica 3.0
International Symposium on Model Based Safety Assessment, IMBSA 2022, Sep 2022, Munich, Germany
hal-03791998v1  Journal articles
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Abstract Executions of Stochastic Discrete Event Systems
International Journal of Critical Computer-Based Systems, Inderscience, 2022, 10 (3), pp.202-226
hal-03429737v1  Conference papers
Michel BatteuxMokhtar Walid BennaceurTatiana ProsvirnovaAntoine Rauzy. AltaRica 3.0 modeling pattern for production systems availability assessment
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
...
hal-02433834v1  Conference papers
Michel BatteuxJean-Yves CholeyFaida MhenniLuca PalladinoTatiana Prosvirnova et al.  Synchronization of system architecture, multi-physics and safety models
Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Dec 2019, Paris, France
...
hal-01885900v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. From Models of Structures to Structures of Models
4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
hal-03792007v1  Journal articles
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. AltaRica 3.0 in 10 Modeling Patterns
International Journal of Critical Computer-Based Systems, Inderscience, 2019, 9 (1-2), pp.133-165
...
hal-02063641v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
...
hal-02357383v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Modeling patterns for the assessment of maintenance policies with AltaRica 3.0
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
...
hal-01945908v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine RauzyLiu Yang. Reliability assessment of phased-mission systems with AltaRica 3.0
3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
hal-03429225v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Efficient Modeling of large Markov chains models with AltaRica 3.0
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
hal-03429734v1  Conference papers
Michel BatteuxMokhtar Walid BennaceurTatiana ProsvirnovaAntoine Rauzy. Benefits of graphical animation of advanced AltaRica 3.0 models
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
...
hal-02357379v1  Conference papers
Michel BatteuxJean-Yves CholeyFaida MhenniTatiana ProsvirnovaAntoine Rauzy. Synchronization of System Architecture and Safety Models: a Proof of Concept
IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edinbourg, United Kingdom
...
hal-02063653v1  Conference papers
Michel BatteuxAntoine RauzyTatiana Prosvirnova. Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
...
hal-01826656v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time
28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway
...
hal-01826645v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models
European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914
...
hal-01945932v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0
Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France