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

2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff最新文献

筛选
英文 中文
Analysis of Software Patches Using Numerical Abstract Interpretation 应用数值抽象解释分析软件补丁
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_12
David Delmas, A. Miné
{"title":"Analysis of Software Patches Using Numerical Abstract Interpretation","authors":"David Delmas, A. Miné","doi":"10.1007/978-3-030-32304-2_12","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_12","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"34 1","pages":"225-246"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79754124","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
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants Sorcar:学习合取不变量的属性驱动算法
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_16
D. Neider, S. Saha, P. Garg, P. Madhusudan
{"title":"Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants","authors":"D. Neider, S. Saha, P. Garg, P. Madhusudan","doi":"10.1007/978-3-030-32304-2_16","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_16","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"16 1","pages":"323-346"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78007774","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
Abstract Interpretation of Indexed Grammars 索引语法的抽象解释
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_7
Marco Campion, M. Preda, R. Giacobazzi
{"title":"Abstract Interpretation of Indexed Grammars","authors":"Marco Campion, M. Preda, R. Giacobazzi","doi":"10.1007/978-3-030-32304-2_7","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_7","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"42 1","pages":"121-139"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77515196","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
Syntactic and Semantic Soundness of Structural Dataflow Analysis 结构数据流分析的句法和语义合理性
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_6
P. Cousot
{"title":"Syntactic and Semantic Soundness of Structural Dataflow Analysis","authors":"P. Cousot","doi":"10.1007/978-3-030-32304-2_6","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_6","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"40 1","pages":"96-117"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76152059","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
Verifying Numerical Programs via Iterative Abstract Testing 通过迭代抽象测试验证数值程序
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_13
Banghu Yin, Liqian Chen, Jiangchao Liu, J. Wang, P. Cousot
{"title":"Verifying Numerical Programs via Iterative Abstract Testing","authors":"Banghu Yin, Liqian Chen, Jiangchao Liu, J. Wang, P. Cousot","doi":"10.1007/978-3-030-32304-2_13","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_13","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"24 1","pages":"247-267"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75181112","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
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning 结合离散推理和连续推理对静态分析的再思考
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_1
M. Naik
{"title":"Rethinking Static Analysis by Combining Discrete and Continuous Reasoning","authors":"M. Naik","doi":"10.1007/978-3-030-32304-2_1","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_1","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"29 1","pages":"3-16"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83476027","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}
引用次数: 0
Revisiting Polyhedral Analysis for Hybrid Systems 再论混合系统的多面体分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_10
Anna Becchi, E. Zaffanella
{"title":"Revisiting Polyhedral Analysis for Hybrid Systems","authors":"Anna Becchi, E. Zaffanella","doi":"10.1007/978-3-030-32304-2_10","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_10","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"27 1","pages":"183-202"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87071259","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
Direct Manipulation for Imperative Programs 命令式程序的直接操作
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_17
Qinheping Hu, R. Samanta, Rishabh Singh, Loris D'antoni
{"title":"Direct Manipulation for Imperative Programs","authors":"Qinheping Hu, R. Samanta, Rishabh Singh, Loris D'antoni","doi":"10.1007/978-3-030-32304-2_17","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_17","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"26 1","pages":"347-367"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89249958","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
Static Analysis of Data Science Software 数据科学软件的静态分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_2
Caterina Urban
{"title":"Static Analysis of Data Science Software","authors":"Caterina Urban","doi":"10.1007/978-3-030-32304-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_2","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"86 1","pages":"17-23"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76226015","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
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis 快速和精确的处理正权循环的场敏感指针分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_3
Yuxiang Lei, Yulei Sui
{"title":"Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis","authors":"Yuxiang Lei, Yulei Sui","doi":"10.1007/978-3-030-32304-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_3","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"1 1","pages":"27-47"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78117412","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
首页 上一页 下一页 尾页
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学术官方微信