Skip to Main content Skip to Navigation
New interface


hal-03814648v1  Conference papers
Théo SerruNga NguyenMichel BatteuxAntoine RauzyRaphael Blaize et al.  Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study
Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris-Saclay, France
...
hal-03462797v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Modélisation de combinaisons de maintenances en AltaRica 3.0
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
...
hal-03482843v1  Conference papers
André LeblondMichel BatteuxAntoine Rauzy. SYNTHESIS : une méthodologie outillée d’évaluation et d’optimisation des performances de sûreté de fonctionnement d’un système complexe
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
hal-03785784v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. A Guided Tour of AltaRica Wizard, the AltaRica 3.0 Integrated Modeling Environment
32nd European Safety and Reliability Conference (ESREL 2022), Aug 2022, Dublin, Ireland
hal-03791998v1  Journal articles
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Abstract Executions of Stochastic Discrete Event Systems
International Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩
...
hal-03483341v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. The New Open-PSA Format: a Model-Based Approach
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
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