Skip to Main content Skip to Navigation


...
hal-03462797v1  Conference papers
Michel Batteux 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-03453551v1  Conference papers
Julien VidalieMichel BatteuxJean-Yves CholeyFaïda MhenniMohamed-Sami Kendel. Typology of the differences Between Model-Based System Engineering (MBSE) and Safety Assessment (MBSA) models: Analysis of a Reference System
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-03065356v1  Conference papers
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. The New Open-PSA Format: a Model-Based Approach
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
hal-03064949v1  Conference papers
Antoine RauzyTatiana ProsvirnovaMichel Batteux. Modélisation de combinaisons de maintenances en AltaRica 3.0
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
...
hal-03483341v1  Conference papers
Michel Batteux 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-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-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 Batteux 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-03429161v1  Conference papers
Julien VidalieMichel BatteuxFaïda MhenniJean-Yves Choley. Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
hal-03453795v1  Conference papers
Selma KhebbacheMichel Batteux Batteux. Simulation based optimization for maintenance strategies using Altarica 3.0
31 st European Conference on Operational Research (EURO 2021), Jul 2021, Athens, Greece
...
hal-03453603v1  Conference papers
Sara RachidEmmanuel ClementNicolas Le BerreMichel Batteux Batteux. Processus de réalisation d'AMDEC basé sur les outils OpenAltaRica
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-03065347v1  Conference papers
Michel BatteuxJosquin FoulliaronWilliam LairYani Souami. Génération de données pour le diagnostic et le pronostic : un exemple applicatif
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
...
hal-01378407v1  Conference papers
Benjamin AupetitMichel BatteuxAntoine RauzyJean-Marc Roussel. Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France
...
hal-01885900v1  Conference papers
Michel Batteux BatteuxTatiana ProsvirnovaAntoine Rauzy. From Models of Structures to Structures of Models
4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
...
hal-02074439v1  Conference papers
Emmanuel ClementMichel BatteuxPierre Laize. OPTIMISATION D'UNE STRATÉGIE DE MAINTIEN EN CONDITION OPERATIONNELLE D'UNE FLOTTE D’ÉQUIPEMENTS PAR L'UTILISATION D'UNE MODÉLISATION DYNAMIQUE
Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
hal-03429187v1  Conference papers
Michel BatteuxSelma KhebbacheYani Souami. Simulation of complex system based on optimization methods for Maintenance scheduling
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
hal-03065392v1  Conference papers
Sara RachidEmmanuel ClémentNicolas Le BerreMichel Batteux. Processus de réalisation d’AMDEC basé sur les outils OpenAltaRica
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France
hal-02194937v1  Conference papers
Paolo BallariniMichel BatteuxLeo ChartierAntoine Rauzy. Analysis of business process specifications with OpenAltarica
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
...
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-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-03482843v1  Conference papers
André LeblondMichel Batteux BatteuxAntoine Rauzy. SYNTHESIS : une méthodologie outillée d’évaluation et d’optimisation des performances de sûreté de fonctionnementd’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-01945908v1  Conference papers
Michel Batteux 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-01239379v1  Conference papers
Benjamin AupetitMichel Batteux BatteuxAntoine RauzyJean-Marc Roussel. Improving performances of the AltaRica 3.0 stochastic simulator
Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zürich, Switzerland. ⟨10.1201/b19094-236⟩