米歇尔·巴托克斯
人员信息
优化列表
2020年–今天
2023 [j3] 塞奥·塞鲁 , Nga Nguyen(女阮) , 米歇尔·巴托克斯 , 安托万·劳齐 :
基于模型的安全和安保分析中的最小关键序列:共性和差异。 ACM事务处理。 网络物理。 系统。 7 ( 三 ) : 17:1-17:20 ( 2023 ) 2022 [注2] 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·B·劳西 :
随机离散事件系统的抽象执行。 国际期刊临界计算。 基于系统。 10 ( 三 ) : 202-226 ( 2022 ) [第12条] 塞尔马·赫贝巴切 , Makhlouf Hadji公司 , 米歇尔·巴托克斯 :
维修时间和资源不确定性下复杂工业系统的随机维修优化。 ICSRS系统 2022 : 512-518 [第11条] 米歇尔·巴托克斯 , 塞尔马·赫贝巴切 , Sin-Seok Seo公司 :
数字孪生应用的维护策略评估。 ICSRS系统 2022 : 525-532 [第10条] 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 克里斯托夫·弗拉扎 , 米歇尔·巴托克斯 , 泽维尔·德·博索雷耶 , 弗雷德里克·德尚 , 让·高瑟 , 埃斯特尔·塞兹 :
用AltaRica模拟动态系统中故障传播的策略。 IMBSA公司 2022 : 101-115 【c9】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0海上风力发电场性能评估。 IMBSA公司 2022 : 130-145 2021 【c8】 朱利安·维达利 , 穆罕默德·萨米·肯德尔 , 法伊达·姆亨尼 , 米歇尔·巴托克斯 , 珍妮·伊夫·朱利 :
基于模型的系统工程和安全评估模型之间的状态机一致性。 国际证券交易所 2021 : 1-8 [i1] 维克托·佩莱格林 , Myriam Tami公司 , 米歇尔·巴托克斯 , 塞琳·哈德洛 :
StreaMulT:用于异构和任意长序列数据的流式多模式转换器。 CoRR公司 abs/2110.08021 ( 2021 )
2010 – 2019
2019 [j1] 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
十种建模模式中的AltaRica 3.0。 国际期刊临界计算。 基于系统。 9 ( 1/2 ) : 133-165 ( 2019 ) 【c7】 米歇尔·巴托克斯 , 珍妮·伊夫·朱利 , 法伊达·姆亨尼 , 卢卡·帕拉迪诺 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 莫里斯·西奥博尔德 :
系统架构(Architecture)、多物理和安全模型的同步。 CSDM公司 2019 : 37-48 【c6】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0维护政策评估的建模模式。 IMBSA公司 2019 : 32-46 【c5】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
模型同步:异构模型管理的正式框架。 IMBSA公司 2019 : 157-172 【c4】 米歇尔·巴托克斯 , 让-伊夫·乔利 , 法伊达·姆亨尼 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
系统架构和安全模型的同步:概念验证。 国际证券交易所 2019 : 1-8 2018 【c3】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 刘洋 :
AltaRica 3.0分阶段任务系统的可靠性评估。 ICSRS系统 2018 : 400-407 2013 [c2] 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳兹 , 勒拉克鲁尔 :
基于模型的安全评估的AltaRica 3.0项目。 印度 2013 : 741-746 2011 【b1】 米歇尔·巴托克斯 :
诊断性和诊断性系统技术试验:开发‘une cha’ne de conception outille e‘un système de diagnostic appliquee e aux sysèmes technologies试验。 (技术系统的可诊断性和诊断:技术系统诊断系统设计的工具链开发)。 法国奥赛巴黎大学, 2011 【c1】 米歇尔·巴托克斯 , 菲利普·达格 , 尼古拉·拉宾 , 菲利普·菲亚尼 :
技术系统的可诊断性研究。 IEA/AIE(1) 2011 : 186-198