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

IEEE International Conference on Software Engineering and Formal Methods最新文献

筛选
英文 中文
Online Enumeration of All Minimal Inductive Validity Cores 所有最小归纳有效性核的在线枚举
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_12
Jaroslav Bendík, Elaheh Ghassabani, M. Whalen, I. Cerná
{"title":"Online Enumeration of All Minimal Inductive Validity Cores","authors":"Jaroslav Bendík, Elaheh Ghassabani, M. Whalen, I. Cerná","doi":"10.1007/978-3-319-92970-5_12","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_12","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"276 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120870541","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}
引用次数: 11
Counterexample Simplification for Liveness Property Violation 妨害生命财产的反例简化
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_11
G. Barbon, V. Leroy, Gwen Salaün
{"title":"Counterexample Simplification for Liveness Property Violation","authors":"G. Barbon, V. Leroy, Gwen Salaün","doi":"10.1007/978-3-319-92970-5_11","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_11","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120935475","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
From Software Specifications to Constraint Programming 从软件规范到约束编程
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_2
S. Hallerstede, Miran Hasanagic, Sebastian Krings, P. Larsen, M. Leuschel
{"title":"From Software Specifications to Constraint Programming","authors":"S. Hallerstede, Miran Hasanagic, Sebastian Krings, P. Larsen, M. Leuschel","doi":"10.1007/978-3-319-92970-5_2","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_2","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116000020","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
Automated Specification Extraction and Analysis with Specstractor 自动规格提取和分析与光谱
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_3
Christoph Schulze, R. Cleaveland, M. Lindvall
{"title":"Automated Specification Extraction and Analysis with Specstractor","authors":"Christoph Schulze, R. Cleaveland, M. Lindvall","doi":"10.1007/978-3-319-92970-5_3","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_3","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125532286","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
Cross-Architecture Lifter Synthesis 跨架构升降机合成
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_10
R. V. Tonder, Claire Le Goues
{"title":"Cross-Architecture Lifter Synthesis","authors":"R. V. Tonder, Claire Le Goues","doi":"10.1007/978-3-319-92970-5_10","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_10","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126992370","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
Facilitating Component Reusability in Embedded Systems with GPUs 利用gpu促进嵌入式系统中组件的可重用性
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_18
G. Campeanu
{"title":"Facilitating Component Reusability in Embedded Systems with GPUs","authors":"G. Campeanu","doi":"10.1007/978-3-319-92970-5_18","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_18","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127048186","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
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity 快速通道是不透明的——不透明的机械化证明的案例研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_7
G. Schellhorn, M. Wedel, Oleg Travkin, J. König, H. Wehrheim
{"title":"FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity","authors":"G. Schellhorn, M. Wedel, Oleg Travkin, J. König, H. Wehrheim","doi":"10.1007/978-3-319-92970-5_7","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_7","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122067957","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
We Need a Testability Transformation Semantics 我们需要一个可测试性转换语义
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_1
M. Harman
{"title":"We Need a Testability Transformation Semantics","authors":"M. Harman","doi":"10.1007/978-3-319-92970-5_1","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_1","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133062982","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
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation 通过特定领域模型生成的物联网设备控制程序的自动验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_16
Yunja Choi
{"title":"Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation","authors":"Yunja Choi","doi":"10.1007/978-3-319-92970-5_16","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_16","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122112370","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
A Cloud-Based Execution Framework for Program Analysis 基于云的程序分析执行框架
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_9
D. Balasubramanian, Dmitriy Kostyuchenko, K. S. Luckow, Rody Kersten, G. Karsai
{"title":"A Cloud-Based Execution Framework for Program Analysis","authors":"D. Balasubramanian, Dmitriy Kostyuchenko, K. S. Luckow, Rody Kersten, G. Karsai","doi":"10.1007/978-3-319-92970-5_9","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_9","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132700041","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
首页 上一页 下一页 尾页
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学术官方微信