发布求助
文献互助 智能选刊 最新文献

International Conference on Computer Safety, Reliability, and Security最新文献

筛选
英文 中文
Confidence Assessment Framework for Safety Arguments 安全论证的信心评估框架
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_4
Rui Wang, Jérémie Guiochet, G. Motet
{"title":"Confidence Assessment Framework for Safety Arguments","authors":"Rui Wang, Jérémie Guiochet, G. Motet","doi":"10.1007/978-3-319-66266-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_4","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133316230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models ErrorSim:用于Simulink模型错误传播分析的工具
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_16
M. Saraoglu, A. Morozov, M. T. Söylemez, K. Janschek
{"title":"ErrorSim: A Tool for Error Propagation Analysis of Simulink Models","authors":"M. Saraoglu, A. Morozov, M. T. Söylemez, K. Janschek","doi":"10.1007/978-3-319-66266-4_16","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_16","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"2019 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115380220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
SMT-Based Synthesis of Fault-Tolerant Architectures 基于smt的容错体系结构综合
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_19
Kevin Delmas, R. Delmas, C. Pagetti
{"title":"SMT-Based Synthesis of Fault-Tolerant Architectures","authors":"Kevin Delmas, R. Delmas, C. Pagetti","doi":"10.1007/978-3-319-66266-4_19","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_19","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"323 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122625066","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Simplex Architecture for Hybrid Systems Using Barrier Certificates 使用屏障证书的混合系统的单工结构
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_8
Junxing Yang, Md. Ariful Islam, A. Murthy, S. Smolka, S. Stoller
{"title":"A Simplex Architecture for Hybrid Systems Using Barrier Certificates","authors":"Junxing Yang, Md. Ariful Islam, A. Murthy, S. Smolka, S. Stoller","doi":"10.1007/978-3-319-66266-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_8","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114834273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 协作机器人应用安全分析中的操作者行为建模
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_6
M. Askarpour, D. Mandrioli, M. Rossi, F. Vicentini
{"title":"Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications","authors":"M. Askarpour, D. Mandrioli, M. Rossi, F. Vicentini","doi":"10.1007/978-3-319-66266-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_6","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131135690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain 一种融合安全与安保的汽车领域轻型威胁分析方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_20
Jürgen Dürrwang, Kristian Beckers, R. Kriesten
{"title":"A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain","authors":"Jürgen Dürrwang, Kristian Beckers, R. Kriesten","doi":"10.1007/978-3-319-66266-4_20","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_20","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133924253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
A Security Architecture for Railway Signalling 铁路信号的安全体系结构
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_21
Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, S. Katzenbeisser, N. Suri
{"title":"A Security Architecture for Railway Signalling","authors":"Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, S. Katzenbeisser, N. Suri","doi":"10.1007/978-3-319-66266-4_21","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_21","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130021983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles 自动驾驶道路车辆传感器安全使用评估策略
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_10
Rolf Johansson, S. Alissa, Staffan Bengtsson, C. Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Stig Ursing, Fredrik Warg, Anders Werneman
{"title":"A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles","authors":"Rolf Johansson, S. Alissa, Staffan Bengtsson, C. Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Stig Ursing, Fredrik Warg, Anders Werneman","doi":"10.1007/978-3-319-66266-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_10","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123016656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis 基于静态分析的已验证浮点舍入误差自动估计
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_14
Mariano M. Moscato, Laura Titolo, Aaron Dutle, C. Muñoz
{"title":"Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis","authors":"Mariano M. Moscato, Laura Titolo, Aaron Dutle, C. Muñoz","doi":"10.1007/978-3-319-66266-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_14","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115813193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework 基于破坏仿真的故障注入框架的汽车系统早期安全评估
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_17
Garazi Juez, Estibaliz Amparan Calonge, Ray Lattarulo, A. Ruiz, Joshué Pérez, H. Espinoza
{"title":"Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework","authors":"Garazi Juez, Estibaliz Amparan Calonge, Ray Lattarulo, A. Ruiz, Joshué Pérez, H. Espinoza","doi":"10.1007/978-3-319-66266-4_17","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_17","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124522340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书