Skip to Main content Skip to Navigation
New interface


...
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-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-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-03784402v1  Conference papers
Nour El Houda BenlaribiLeila KloulMichel Batteux. Tracking the Best Machine Learning Strategy for Hard Drive Failure Prediction
32nd European Safety and Reliability Conference (ESREL 2022), Aug 2022, Dublin, Ireland
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-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-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-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