塔蒂亚娜·普罗斯维诺娃
人员信息
优化列表
2020年–今天
2022 【j4】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·B·劳西 :
随机离散事件系统的抽象执行。 国际期刊临界计算。 基于系统。 10 ( 三 ) : 202-226 ( 2022 ) [第11条] 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 克里斯托夫·弗拉扎 , 米歇尔·巴托克斯 , 泽维尔·德·博索雷耶 , 弗雷德里克·德尚 , 让·高瑟 , 埃斯特尔·塞兹 :
与AltaRica合作的动态系统故障传播建模策略。 IMBSA公司 2022 : 101-115 [c10] 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0海上风力发电场性能评估。 IMBSA公司 2022 : 130-145 [电子1] 克里斯特尔·塞金 , 马克·泽勒 , 塔蒂亚娜·普罗斯维诺娃 :
基于模型的安全与评估——第八届国际研讨会,IMBSA 2022,德国慕尼黑,2022年9月5-7日,会议记录。 计算机科学课堂讲稿 13525, 施普林格 2022 ,国际标准图书编号 978-3-031-15841-4 [目录]
2010 – 2019
2019 [j3] 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0十种造型模式。 国际期刊临界计算。 基于系统。 9 ( 1/2 ) : 133-165 ( 2019 ) 【c9】 米歇尔·巴托克斯 , 珍妮·伊夫·朱利 , 法伊达·姆亨尼 , 卢卡·帕拉迪诺 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 莫里斯·西奥博尔德 :
系统架构(Architecture)、多物理和安全模型的同步。 CSDM公司 2019 : 37-48 【c8】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0维护政策评估的建模模式。 IMBSA公司 2019 : 32-46 【c7】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
模型同步:异构模型管理的正式框架。 IMBSA公司 2019 : 157-172 【c6】 米歇尔·巴托克斯 , 珍妮·伊夫·朱利 , 法伊达·姆亨尼 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
系统架构和安全模型的同步:概念验证。 国际证券交易所 2019 : 1-8 2018 【c5】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 刘洋 :
AltaRica 3.0分阶段任务系统的可靠性评估。 ICSRS系统 2018 : 400-407 2017 【c4】 塔蒂亚娜·普罗斯维诺娃 , 埃斯特尔·塞兹 , 克里斯特尔·塞金 , 皮埃尔·维雷利泽 :
处理安全和系统模型之间的一致性。 IMBSA公司 2017 : 19-34 【c3】 朱利安·布鲁内尔 , 彼得·菲勒 , 杰尔·雨果斯 , 布鲁斯·刘易斯 , 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 卢兹·沃奇 :
与AADL和AltaRica进行安全分析。 IMBSA公司 2017 : 67-81 2015 [注2] 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
从AltaRica 3.0模型自动生成最小割集。 国际期刊临界计算。 基于系统。 6 ( 1 ) : 50-80 ( 2015 ) [j1] 迈克尔·利帕切夫斯基 , 弗兰克·奥特米耶 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 西蒙·斯特鲁克 :
安全分析建模形式的比较:SAML和AltaRica。 Reliab公司。 工程系统。 安全。 140 : 191-199 ( 2015 ) 2014 【b1】 塔蒂亚娜·普罗斯维诺娃 :
《哥斯达黎加3.0:基于模型的安全分析方法》。 (AltaRica 3.0:une appoche oriente modèles pour la Söretéde Fonctionnement)。 法国帕莱索埃科尔理工学院, 2014 【c2】 哈拉·莫塔达 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0电气系统的安全评估。 IMBSA公司 2014 : 181-194 2013 【c1】 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 , 勒拉克鲁尔 :
基于模型的安全评估的AltaRica 3.0项目。 印度 2013 : 741-746