默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第34届SAFECOMP 2015：荷兰代尔夫特

>主页 >会议和研讨会 >SAFECOMP公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/2015会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/2015
Koornneef地板,科恩·范·古利克:
计算机安全、可靠性和安全——第34届国际会议，SAFECOMP 2015代尔夫特，荷兰，2015年9月23日至25日。诉讼程序。计算机科学课堂讲稿9337,施普林格 2015，国际标准图书编号978-3-319-24254-5

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Kalkman15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Kalkman15
科尔·卡尔克曼:
医疗设备、电子健康记录和确保患者安全：未来的挑战？ 3-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Luiijf15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Luiijf15
埃里克·路易斯:
工业控制系统的网络（内部）安全：社会挑战。 7-15

飞行系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VillelaSB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VillelaSB15
卡罗来纳·D·维莱拉,亨贝托·哈亚西·萨诺,朱莉安娜·德·梅洛·贝泽拉:
将HiP-HOPS方法应用于机载电气系统的建模指南和使用分析。 19-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/TarasyukPTL15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/TarasyukPTL15
安东·塔拉修克,Inna Pereverzeva酒店,埃琳娜·特劳比通娜,蒂莫·拉塔瓦拉:
自主卫星飞行编队模式逻辑的形式化推导。 29-43

汽车嵌入式系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AltschaffelHKD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AltschaffelHKD15
罗伯特·阿尔茨哈费尔,托拜厄斯·霍普,斯文·库尔曼,贾娜·迪特曼:
模拟汽车安全威胁警告以分析驾驶员的解释和情绪转变。 47-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MehmedPSSL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MehmedPSSL15
艾汉·穆罕默德,萨西库马尔·蓬内卡特,威尔弗里德·斯坦纳,贾科莫·斯帕帕尼亚托,马丁·莱特纳:
使用导航数据和检查点识别提高基于视觉的高级驾驶员辅助系统的可靠性。 59-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ArtsT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ArtsT15
托马斯艺术,斯特凡诺·托内塔:
安全使用AUTOSAR端到端保护库。 74-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BeckersCFHH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BeckersCFHH15
克里斯蒂安·贝克斯,伊莎贝尔·科特,托马斯·弗雷斯,丹尼斯·哈特布尔,玛丽塔·海塞尔:
考虑OEM/供应商接口的汽车系统结构化验证方法。 90-108

汽车软件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/古兰HJKRZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GulanHJKRZ15
斯特凡·古兰,延斯·哈尼什,斯文·乔尔,罗伯托·克雷奇默,斯特凡·里格,拉斐尔·扎尔曼:
安全关键软件的基于模型的分析。 111-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Abdulkhaleq015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Abdulkhaleq015
阿西姆·阿卜杜勒克勒克,斯特凡·瓦格纳:
使用系统理论过程分析和软件模型检查进行综合安全分析。 121-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FFolkesonASVIK15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FolkessonASVIK15
彼得·福克森,法特梅赫·阿亚托拉希,贝罗斯·桑切利（Behrooz Sangchoolie）,乔尼·文特,Mafijul马里兰州伊斯兰,约翰·卡尔森:
基于模型的开发中的背靠背故障注入测试。 135-148

错误检测

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/StefanakisNC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/StefanakisNC15
乔治·斯特凡纳基斯,维杰·纳加拉扬,马塞洛·辛特拉:
基于数据特征理解数据损坏对应用程序行为的影响。 151-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CeccarelliZIB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CeccarelliZIB15
安德烈亚·塞卡雷利,托马索·佐皮,马西米利亚诺·利昂·伊特里亚,安德烈亚·邦达瓦利:
基于动态服务系统的多层异常检测器。 166-180

医疗安全案例

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RuizBME15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RuizBME15
亚历杭德拉·鲁伊斯,保罗·巴保沙,杨梅德罗斯,胡斯卡·埃斯皮诺萨:
医疗器械安全案例驱动开发。 183-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FinneganM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FinneganM15
安妮塔·芬尼根,费加尔·麦卡弗里:
网络医疗设备国际安全案例框架。 197-209

医疗系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AlemzadehCLKRLI15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AlemzadehCLKRLI15
霍马·阿勒姆扎德,丹尼尔·陈,安德鲁·刘易斯,兹比格涅夫·卡尔巴奇克,Jaishankar Raman公司,南茜·勒弗森,拉维山卡·K·伊耶:
机器人远程手术系统的系统理论安全评估。 213-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KingFPCSHL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KingFPCSHL15
安德鲁·金,陆锋,萨姆·普洛克特,陈三建,奥列格·索科尔斯基,约翰·哈特克利夫,因苏普·李:
为即插即用医疗系统提供保障。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RosenbrandWBB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RosenbrandWBB15
达格玛·罗森布兰德,罗布·德·威德,莱克斯·博特,Jan Jaap Baalbergen公司:
医疗系统中数据传输的风险分类。 243-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Venkatasubramanian15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Venkatasubramanian15
Krishna K.Venkatasubramanian公司,尤金·瓦瑟曼,瓦西利基·斯弗拉,奥列格·索科尔斯基,因苏普·李:
互操作医疗设备功能报警系统的需求工程。 252-266

体系结构和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AntoninoTBGR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AntoninoTBGR15
巴勃罗·奥利维拉·安东尼诺,马里奥·特拉普,保罗·巴保沙,埃德马·C·古尔焦,杰弗森·罗萨里奥:
安全需求分解模式。 269-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DelmasDP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DelmasDP15
凯文·德尔马斯,雷米·德尔马斯,克莱尔·佩吉蒂:
使用安全模式的自动架构加固。 283-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Bishop15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Bishop15
平彼得:
建模测试对各种程序的影响。 297-309

安全案例

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GuiochetHK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GuiochetHK15
杰雷米·吉奥切特,Quynh Anh Do Hoang村,穆罕默德·卡亚利基:
安全案例可信度评估模型。 313-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Denney第15页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DenneyP15
埃文·丹尼,甘内什·J·派:
模块化安全案例的正式基础。 328-343

安全攻击

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VasilevskayaN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VasilevskayaN15
玛丽亚·瓦西列夫斯卡娅,西明·纳德杰姆·泰拉尼:
在嵌入式系统设计中使用形式度量量化数据资产的风险。 347-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FedlerBP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FedlerBP15
拉斐尔·费德勒,塞巴斯蒂安·巴内斯库,亚历山大·普雷施纳:
ISA2R：通过编译器级软件多样性提高软件攻击和分析弹性。 362-371

网络安全与整合

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Johnson15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Johnson15
克里斯·约翰逊:
在安全关键应用中使用入侵检测系统的障碍。 375-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Popov15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Popov15
彼得·波波夫:
ASIL-D设备电子马达安全性的随机建模。 385-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Johnson15a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Johnson15a
克里斯·约翰逊:
安全和网络安全事件报告系统整合的组织、政治和技术障碍。 400-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MacherHSAK15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MacherHSAK15a
乔治·马赫,安德烈亚·霍勒,哈拉尔孢子虫,埃里克·阿蒙加德,克里斯蒂安·克里纳:
一种全面的安全、安保和可服务性评估方法。 410-424

编程与编译

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BrauerDPP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BrauerDPP15
约格·布劳尔,马库斯·达尔维德,托比亚斯·潘克拉斯,简·佩莱斯卡:
航空电子软件的源代码到对象代码跟踪分析：不要相信你的编译器。 427-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MunteanKIE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MunteanKIE15
保罗·蒙坦,瓦桑塔·科马纳帕利,安德烈亚斯·伊宾,克劳迪娅·埃克特:
使用符号执行和SMT自动生成缓冲区溢出快速修复。 441-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RajabpourS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RajabpourS15
纳维德·拉贾布波尔,亚赛尔·塞达格哈特:
一种基于软件的错误检测技术，用于监控SCADA中RTU的程序执行。 457-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/香KS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/湘KS15
向健,约翰·C·奈特,凯文·沙利文:
现实世界类型及其应用。 471-484

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。