Michel Batteux

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