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

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

筛选
英文 中文
Focused Certification of an Industrial Compilation and Static Verification Toolchain 工业编译和静态验证工具链的重点认证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_2
Zhi Zhang, Robby, J. Hatcliff, Yannick Moy, Pierre Courtieu
{"title":"Focused Certification of an Industrial Compilation and Static Verification Toolchain","authors":"Zhi Zhang, Robby, J. Hatcliff, Yannick Moy, Pierre Courtieu","doi":"10.1007/978-3-319-66197-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_2","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122835412","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
Computing Conditional Probabilities: Implementation and Evaluation 计算条件概率:实现与评估
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_22
Steffen Märcker, C. Baier, Joachim Klein, Sascha Klüppelholz
{"title":"Computing Conditional Probabilities: Implementation and Evaluation","authors":"Steffen Märcker, C. Baier, Joachim Klein, Sascha Klüppelholz","doi":"10.1007/978-3-319-66197-1_22","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_22","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126893575","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}
引用次数: 5
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper) 具有复杂任务依赖和共享资源干扰的嵌入式系统设计(短论文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_28
F. Gioulekas, P. Poplavko, Rany Kahil, P. Katsaros, M. Bozga, S. Bensalem, P. Palomo
{"title":"Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)","authors":"F. Gioulekas, P. Poplavko, Rany Kahil, P. Katsaros, M. Bozga, S. Bensalem, P. Palomo","doi":"10.1007/978-3-319-66197-1_28","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_28","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134412927","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 Complete Generative Label Model for Lattice-Based Access Control Models 基于格的访问控制模型的完整生成标签模型
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_3
N. Kumar, R. Shyamasundar
{"title":"A Complete Generative Label Model for Lattice-Based Access Control Models","authors":"N. Kumar, R. Shyamasundar","doi":"10.1007/978-3-319-66197-1_3","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_3","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123195775","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
Validating the Meta-Theory of Programming Languages (Short Paper) 验证程序设计语言的元理论(短文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_23
Guglielmo Fachini, A. Momigliano
{"title":"Validating the Meta-Theory of Programming Languages (Short Paper)","authors":"Guglielmo Fachini, A. Momigliano","doi":"10.1007/978-3-319-66197-1_23","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_23","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":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122484661","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
Specification Clones: An Empirical Study of the Structure of Event-B Specifications 规范克隆:事件b规范结构的实证研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_10
M. Farrell, Rosemary Monahan, James F. Power
{"title":"Specification Clones: An Empirical Study of the Structure of Event-B Specifications","authors":"M. Farrell, Rosemary Monahan, James F. Power","doi":"10.1007/978-3-319-66197-1_10","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_10","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127832458","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
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory Linux处理并发系统调用和共享内存的信息流跟踪
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_1
Laurent Georget, M. Jaume, G. Piolle, F. Tronel, Valérie Viet Triem Tong
{"title":"Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory","authors":"Laurent Georget, M. Jaume, G. Piolle, F. Tronel, Valérie Viet Triem Tong","doi":"10.1007/978-3-319-66197-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_1","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128039929","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}
引用次数: 5
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic 嵌入式系统需求的规范与语义分析:从描述逻辑到时间逻辑
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_21
N. Mahmud, C. Seceleanu, Oscar Ljungkrantz
{"title":"Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic","authors":"N. Mahmud, C. Seceleanu, Oscar Ljungkrantz","doi":"10.1007/978-3-319-66197-1_21","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_21","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128026289","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}
引用次数: 7
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 正则表达式对区间时间逻辑模型检验的深入研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_7
L. Bozzelli, A. Molinari, A. Montanari, A. Peron
{"title":"An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions","authors":"L. Bozzelli, A. Molinari, A. Montanari, A. Peron","doi":"10.1007/978-3-319-66197-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_7","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125439831","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
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models 基于约束目标模型的需求演化建模与推理
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_5
Chi Mai Nguyen, R. Sebastiani, P. Giorgini, J. Mylopoulos
{"title":"Modeling and Reasoning on Requirements Evolution with Constrained Goal Models","authors":"Chi Mai Nguyen, R. Sebastiani, P. Giorgini, J. Mylopoulos","doi":"10.1007/978-3-319-66197-1_5","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_5","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122179907","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
首页 上一页 下一页 尾页
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学术官方微信