Michel Batteux

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 14

Top Venues

IMBSA

ICSRS

Int. J. Crit. Comput. Based Syst.

ISSE

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. ACM Trans. Cyber Phys. Syst. 7 (3) (2023)
Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy
Abstract executions of stochastic discrete event systems. Int. J. Crit. Comput. Based Syst. 10 (3) (2022)
Selma Khebbache, Makhlouf Hadji, Michel Batteux
Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and Resources. ICSRS (2022)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA (2022)
Michel Batteux, Selma Khebbache, Sin-Seok Seo
Assessment of Maintenance Strategies for Digital Twin Applications. ICSRS (2022)
Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA (2022)
Victor Pellegrain, Myriam Tami, Michel Batteux, Céline Hudelot
StreaMulT: Streaming Multimodal Transformer for Heterogeneous and Arbitrary Long Sequential Data. CoRR (2021)
Julien Vidalie, Mohamed-Sami Kendel, Faïda Mhenni, Michel Batteux, Jean-Yves Choley
State Machines Consistency between Model Based System Engineering and Safety Assessment Models. ISSE (2021)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, Maurice Theobald
Synchronization of System Architecture, Multi-physics and Safety Models. CSDM (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA (2019)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy
Synchronization of System Architecture and Safety Models: a Proof of Concept. ISSE (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang
Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS (2018)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul
The AltaRica 3.0 project for model-based safety assessment. INDIN (2013)
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani
Diagnosability Study of Technological Systems. IEA/AIE (1) (2011)

Michel Batteux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel Batteux