Michel Batteux

According to our database, Michel Batteux authored at least 17 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences.

Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy

ACM Trans. Cyber Phys. Syst., July, 2023

2022

Abstract executions of stochastic discrete event systems.

Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy

Int. J. Crit. Comput. Based Syst., 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

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and Resources.

Selma Khebbache, Makhlouf Hadji, Michel Batteux

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Assessment of Maintenance Strategies for Digital Twin Applications.

Michel Batteux, Selma Khebbache, Sin-Seok Seo

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2021

StreaMulT: Streaming Multimodal Transformer for Heterogeneous and Arbitrary Long Sequential Data.

Victor Pellegrain, Myriam Tami, Michel Batteux, Céline Hudelot

CoRR, 2021

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

Proceedings of the IEEE International Symposium on Systems Engineering, 2021

2019

AltaRica 3.0 in ten modelling patterns.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Int. J. Crit. Comput. Based Syst., 2019

Synchronization of System Architecture and Safety Models: a Proof of Concept.

Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the International Symposium on Systems Engineering, 2019

Model Synchronization: A Formal Framework for the Management of Heterogeneous Models.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

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

Proceedings of the Tenth International Conference on Complex Systems Design & Management, 2019

2018

Reliability Assessment of Phased-Mission Systems with AltaRica 3.0.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

2013

The AltaRica 3.0 project for model-based safety assessment.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

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

PhD thesis, 2011

Diagnosability Study of Technological Systems.

Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani

Proceedings of the Modern Approaches in Applied Intelligence, 2011