贝罗斯·桑切利(Behrooz Sangchoolie)
人员信息
优化列表
期刊文章
2022 [j3] 罗迪·乔拉克 , 托马斯·罗森斯塔特 , 马赞·穆罕默德 , 金·斯特兰德伯格 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 纳赛尔·诺德希 , 里卡多·斯坎达里亚托 :
CONSERVE:用于选择容器安全监控技术的框架。 J.系统。 柔和。 186 : 111158 ( 2022 ) [注2] 贝罗斯·桑切利(Behrooz Sangchoolie) , 卡提克·帕塔比拉曼 , 约翰·卡尔森 :
程序中单个和多个位滑动错误影响的实证研究。 IEEE传输。 可靠的安全。 计算。 19 ( 三 ) : 1988-2006 ( 2022 ) 2021 [j1] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 )
会议和研讨会文件
2024 [公元31年] 大卫·佩雷拉 , 何塞·普伦萨 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VERDI研讨会主席致辞; DSN-W 2024。 DSN-W公司 2024 : 十四 2023 [公元30年] 梅赫迪·马利基 , 阿什法克·法鲁基 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
CarFASE:一种基于Carla的工具,用于评估故障和攻击对自动驾驶台的影响。 DSN-W公司 2023 : 92-99 [公元29年] 马泰恩·马利克 , 梅塞瓦特·阿拉姆拉塔纳 , 梅赫迪·马利基 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 :
传输延迟和拒绝服务攻击下远程操作道路车辆的仿真评估。 PRDC公司 2023 : 23-29 [公元28年] 阿什法克·法鲁基 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
面向自动化系统安全评估的正式故障注入。 FMAS@iFM 2023 : 153-161 2022 [c27] 马泰恩·马利克 , 梅赫迪·马利基 , 彼得·福克斯森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 :
ComFASE:评估V2V通信故障和攻击对自动车辆影响的工具。 DSN(DSN) 2022 : 185-192 [公元26年] Joseba Andoni阿吉雷 , 艾哈迈特·亚齐奇 , 卡蒂亚·迪·布拉西奥 , 何塞·路易斯·德拉瓦拉 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 乌古尔·亚扬 , 劳尔·巴博萨 , Leire Etxeberria公司 , 马西莫·纳扎里亚 , 穆斯塔法·卡拉卡 :
自动化系统验证和确认特征的多维框架。 EDCC公司 2022 : 41-48 [公元25年] 阿里·塞达格哈特巴夫 , 梅赫达德·莫拉迪 , 贾法尔·阿尔马西扎德 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 伯特·范·阿克 , 约阿希姆·丹尼尔 :
DELFASE:断层空间探索的深度学习方法。 电子数据中心 2022 : 57-64 [公元24年] 梅赫迪·马利基 , 马泰恩·马利克 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 :
干扰攻击对联网自动道路车辆影响的建模与评估。 PRDC公司 2022 : 12-23 【c23】 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 皮埃尔·克莱伯格 , 纳赛尔·诺德希 :
对用于模型实现的故障和攻击注入的三种注入前分析技术的评估。 PRDC公司 2022 : 130-140 [公元22年] Enrico Ferrari公司 , 鲁珀特·施利克 , 何塞·路易斯·德拉瓦拉 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
安全和安保关键系统验证与确认方法的差距和局限性分析标准。 SAFECOMP研讨会 2022 : 35-46 2021 【c21】 克里斯蒂安·沃尔斯克 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 雅各布·西蒙 , 斯特凡·马克斯坦纳 , 托比亚斯·布劳恩 , 海克·哈马扎里安 :
SaSeVAL:安全关键系统验证的安全/安全意识方法。 DSN研讨会 2021 : 27-34 [公元20年] 梅赫迪·马利基 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
SUMO建模的高级驾驶员辅助系统中基于仿真的故障注入。 DSN(补充) 2021 : 70-71 [第19条] 梅赫迪·马利基 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
SUFI:一种基于仿真的故障注入工具,用于在SUMO中建模的高级驾驶员辅助系统的安全评估。 EDCC公司 2021 : 45-52 [第18条] 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 亨利克·马德拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 QUATIC公司 2021 : 325-340 [c17] 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·Fürcho , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 亚历斯·斯姆卡 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 SAMOS公司 2021 : 368-382 2020 [第16条] 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359 [第15条] 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 皮埃尔·克莱伯格 , 乔尼·文特 :
从可靠性和安全属性方面分析网络安全机制。 DSN研讨会 2020 : 94-101 2019 [第14条] 李君山 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 乔尼·文特 , 埃尔文·肖奇 , 克莱尔·洛伊索 :
可靠系统安全、安保和隐私标准应用调查。 电子数据中心 2019 : 71-72 [第13条] 李君山 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 乔尼·文特 , 埃尔文·肖奇 , 克莱尔·洛伊索 :
安全、安保和隐私标准在开发可靠系统中的适用性调查。 SAFECOMP研讨会 2019 : 74-86 2018 [第12条] 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 乔尼·文特 :
使用模型实现的故障注入研究安全和安保之间的相互作用。 电子数据中心 2018 : 41-48 [第11条] 马丁·斯科格隆德 , 弗雷德里克·沃格 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
在多关注发展生命周期中寻求协同:安全和网络安全。 SAFECOMP研讨会 2018 : 302-313 2017 [第10条] 贝罗斯·桑切利(Behrooz Sangchoolie) , 卡提克·帕塔比拉曼 , 约翰·卡尔森 :
一位是(不够)的:单位和多位滑动错误影响的实证研究。 DSN(DSN) 2017 : 97-108 【c9】 贝罗斯·桑切利(Behrooz Sangchoolie) , 罗杰·约翰逊 , 约翰·卡尔森 :
提高ISA级故障注入工具可控性和效率的轻量化技术。 PRDC公司 2017 : 68-77 2015 【c8】 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 罗杰·约翰逊 , 约翰·卡尔森 :
ISA级故障注入中注入-读取和注入-写入的比较。 EDCC公司 2015 : 178-189 【c7】 彼得·福克森 , 法特梅赫·阿亚托拉希 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 乔尼·文特 , Mafijul马里兰州伊斯兰 , 约翰·卡尔森 :
基于模型的开发中的背靠背故障注入测试。 SAFECOMP公司 2015 : 135-148 2014 【c6】 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 罗杰·约翰逊 , 约翰·卡尔森 :
位滑动错误对不同优化级别编译程序的影响研究。 EDCC公司 2014 : 146-157 2013 【c5】 Mafijul马里兰州伊斯兰 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 丹尼尔·斯卡林 , 乔尼·文特 , 弗雷德里克·托纳 , 安德烈亚斯·卡克 , 马蒂亚斯·尼伯格 , 埃米利亚·维拉尼 , 约翰·哈拉尔德森 , 帕特里克·伊萨克森 , 约翰·卡尔森 :
面向汽车行业功能安全基准。 EWDC公司 2013 : 111-125 【c4】 法特梅赫·阿亚托拉希 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 罗杰·约翰逊 , 约翰·卡尔森 :
单比特跳转和双比特跳转错误对程序执行影响的研究。 SAFECOMP公司 2013 : 265-276 2012 【c3】 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 约翰·卡尔森 :
四个基准工作负载的故障敏感性调查。 GI-Jahrestagung公司 2012 : 468-479 [c2] 贝罗斯·桑切利(Behrooz Sangchoolie) , 马扎克·拉贾比·纳萨布 , 托马斯·奥洛夫松 , 沃尔夫冈·约翰 :
评估互联网主干链路上收集的包级跟踪的质量。 北欧证券 2012 : 184-198 【c1】 多梅尼科·迪利奥 , 法特梅赫·阿亚托拉希 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 , 罗杰·约翰逊 :
关于硬件故障的影响——工作负载输入和故障模式分布之间关系的调查。 SAFECOMP公司 2012 : 198-209
编辑
非正式出版物和其他出版物
2021 [i1] 克里斯蒂安·沃尔斯克 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 雅各布·西蒙 , 斯特凡·马克斯坦纳 , 托比亚斯·布劳恩 , 海克·哈马扎里安 :
SaSeVAL:安全关键系统验证的安全/安全意识方法。 CoRR公司 abs/2106.13499 ( 2021 )