![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Michel Batteux
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j3]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): 17:1-17:20 (2023) - 2022
- [j2]Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy:
Abstract executions of stochastic discrete event systems. Int. J. Crit. Comput. Based Syst. 10(3): 202-226 (2022) - [c12]Selma Khebbache, Makhlouf Hadji, Michel Batteux:
Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and Resources. ICSRS 2022: 512-518 - [c11]Michel Batteux, Selma Khebbache, Sin-Seok Seo:
Assessment of Maintenance Strategies for Digital Twin Applications. ICSRS 2022: 525-532 - [c10]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: 101-115 - [c9]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA 2022: 130-145 - 2021
- [c8]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: 1-8 - [i1]Victor Pellegrain, Myriam Tami, Michel Batteux, Céline Hudelot:
StreaMulT: Streaming Multimodal Transformer for Heterogeneous and Arbitrary Long Sequential Data. CoRR abs/2110.08021 (2021)
2010 – 2019
- 2019
- [j1]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9(1/2): 133-165 (2019) - [c7]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: 37-48 - [c6]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA 2019: 32-46 - [c5]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA 2019: 157-172 - [c4]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: 1-8 - 2018
- [c3]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang:
Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS 2018: 400-407 - 2013
- [c2]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
, Leïla Kloul:
The AltaRica 3.0 project for model-based safety assessment. INDIN 2013: 741-746 - 2011
- [b1]Michel Batteux:
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). University of Paris-Sud, Orsay, France, 2011 - [c1]Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani:
Diagnosability Study of Technological Systems. IEA/AIE (1) 2011: 186-198
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint