Diagnosability Study of Technological Systems. - Michel Batteux; Philippe Dague; Nicolas Rapin; Philippe Fiani (IEA/AIE (1), 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 (2011)

The AltaRica 3.0 project for model-based safety assessment. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Leïla Kloul (INDIN, 2013)

Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Liu Yang (ICSRS, 2018)

Synchronization of System Architecture, Multi-physics and Safety Models. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Luca Palladino; Tatiana Prosvirnova; Antoine Rauzy; Maurice Theobald (CSDM, 2019)

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

Synchronization of System Architecture and Safety Models: a Proof of Concept. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Tatiana Prosvirnova; Antoine Rauzy (ISSE, 2019)

AltaRica 3.0 in ten modelling patterns. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (Int. J. Crit. Comput. Based Syst., 2019)

State Machines Consistency between Model Based System Engineering and Safety Assessment Models. - Julien Vidalie; Mohamed-Sami Kendel; Faïda Mhenni; Michel Batteux; Jean-Yves Choley (ISSE, 2021)

StreaMulT: Streaming Multimodal Transformer for Heterogeneous and Arbitrary Long Sequential Data. - Victor Pellegrain; Myriam Tami; Michel Batteux; Céline Hudelot (CoRR, 2021)

Assessment of Maintenance Strategies for Digital Twin Applications. - Michel Batteux; Selma Khebbache; Sin-Seok Seo (ICSRS, 2022)

Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and Resources. - Selma Khebbache; Makhlouf Hadji; Michel Batteux (ICSRS, 2022)

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2022)

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. - Tatiana Prosvirnova; Christel Seguin; Christophe Frazza; Michel Batteux; Xavier de Bossoreille; Frédéric Deschamps; Jean Gauthier; Estelle Saez (IMBSA, 2022)

Abstract executions of stochastic discrete event systems. - Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy (Int. J. Crit. Comput. Based Syst., 2022)

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. - Théo Serru; Nga Nguyen 001; Michel Batteux; Antoine Rauzy (ACM Trans. Cyber Phys. Syst., 2023)