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

NASA Formal Methods最新文献

筛选
英文 中文
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems 自主系统主动安全监测器的权限调整
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_23
L. Masson, Jérémie Guiochet, H. Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
{"title":"Tuning Permissiveness of Active Safety Monitors for Autonomous Systems","authors":"L. Masson, Jérémie Guiochet, H. Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren","doi":"10.1007/978-3-319-77935-5_23","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_23","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126445044","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}
引用次数: 9
Strategy Synthesis for Autonomous Agents Using PRISM 基于PRISM的自主智能体策略综合
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_16
R. Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, G. Norman
{"title":"Strategy Synthesis for Autonomous Agents Using PRISM","authors":"R. Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, G. Norman","doi":"10.1007/978-3-319-77935-5_16","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_16","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129977661","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}
引用次数: 15
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion 空间挤压并发约束系统的符号执行与可达性分析
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_29
M. Romero, C. Rocha
{"title":"Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion","authors":"M. Romero, C. Rocha","doi":"10.1007/978-3-319-77935-5_29","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_29","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126408573","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}
引用次数: 2
The Use of Automated Theory Formation in Support of Hazard Analysis 使用自动化理论形成支持危害分析
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_17
Andrew Ireland, M. T. Llano, S. Colton
{"title":"The Use of Automated Theory Formation in Support of Hazard Analysis","authors":"Andrew Ireland, M. T. Llano, S. Colton","doi":"10.1007/978-3-319-77935-5_17","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_17","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"456 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127612161","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}
引用次数: 1
Certified Foata Normalization for Generalized Traces 广义迹的证明Foata归一化
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_21
Hendrik Maarand, Tarmo Uustalu
{"title":"Certified Foata Normalization for Generalized Traces","authors":"Hendrik Maarand, Tarmo Uustalu","doi":"10.1007/978-3-319-77935-5_21","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_21","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133695922","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}
引用次数: 1
An Executable Formal Framework for Safety-Critical Human Multitasking 安全关键型人类多任务的可执行正式框架
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_4
Giovanna Broccia, P. Milazzo, P. C. Ölveczky
{"title":"An Executable Formal Framework for Safety-Critical Human Multitasking","authors":"Giovanna Broccia, P. Milazzo, P. C. Ölveczky","doi":"10.1007/978-3-319-77935-5_4","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_4","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134623441","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}
引用次数: 6
Don't Miss the End: Preventing Unsafe End-of-File Comparisons 不要错过结束:防止不安全的文件结束比较
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_6
Charles Zhuo Chen, Werner Dietl
{"title":"Don't Miss the End: Preventing Unsafe End-of-File Comparisons","authors":"Charles Zhuo Chen, Werner Dietl","doi":"10.1007/978-3-319-77935-5_6","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_6","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117089212","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}
引用次数: 1
An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis 一个更好的方法——通过形式化建模和分析改进B.A.T.M.A.N.协议
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_12
A. Fehnker, K. Chaudhary, Vinay Mehta
{"title":"An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis","authors":"A. Fehnker, K. Chaudhary, Vinay Mehta","doi":"10.1007/978-3-319-77935-5_12","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_12","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124629736","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}
引用次数: 1
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems 对称系统跟踪覆盖的高效重写框架
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_7
F. M. D. Paula, Arvind Haran, B. Bingham
{"title":"An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems","authors":"F. M. D. Paula, Arvind Haran, B. Bingham","doi":"10.1007/978-3-319-77935-5_7","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_7","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133182300","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}
引用次数: 1
Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack 20%和几天-优化比特币多数攻击
NASA Formal Methods Pub Date : 2018-04-17 DOI: 10.1007/978-3-319-77935-5_11
A. Fehnker, K. Chaudhary
{"title":"Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack","authors":"A. Fehnker, K. Chaudhary","doi":"10.1007/978-3-319-77935-5_11","DOIUrl":"https://doi.org/10.1007/978-3-319-77935-5_11","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126192951","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信