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

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

筛选
英文 中文
Towards Inverse Uncertainty Quantification in Software Development (Short Paper) 软件开发中的逆不确定性量化(短文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_24
Matteo Camilli, A. Gargantini, P. Scandurra, C. Bellettini
{"title":"Towards Inverse Uncertainty Quantification in Software Development (Short Paper)","authors":"Matteo Camilli, A. Gargantini, P. Scandurra, C. Bellettini","doi":"10.1007/978-3-319-66197-1_24","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_24","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"33 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":"122830471","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}
引用次数: 13
Compositional Verification of Interlocking Systems for Large Stations 大型车站联锁系统的组成验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_15
A. Fantechi, A. Haxthausen, H. D. Macedo
{"title":"Compositional Verification of Interlocking Systems for Large Stations","authors":"A. Fantechi, A. Haxthausen, H. D. Macedo","doi":"10.1007/978-3-319-66197-1_15","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_15","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"82 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":"131415725","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
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices 医疗器械用户界面软件安全要求系统识别的危害分析方法
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_18
P. Masci, Y. Zhang, P. Jones, J. C. Campos
{"title":"A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices","authors":"P. Masci, Y. Zhang, P. Jones, J. C. Campos","doi":"10.1007/978-3-319-66197-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_18","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"3 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":"125162411","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}
引用次数: 12
Modular Verification of Information Flow Security in Component-Based Systems 基于组件的系统中信息流安全的模块化验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_19
Simon Greiner, Martin Mohr, Bernhard Beckert
{"title":"Modular Verification of Information Flow Security in Component-Based Systems","authors":"Simon Greiner, Martin Mohr, Bernhard Beckert","doi":"10.1007/978-3-319-66197-1_19","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_19","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"1 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":"121007153","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
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows 安全敏感工作流中授权约束的运行时实施
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_13
D. R. D. Santos, Silvio Ranise
{"title":"On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows","authors":"D. R. D. Santos, Silvio Ranise","doi":"10.1007/978-3-319-66197-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_13","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"116 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":"131032764","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
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper) 基于插值的学习方法加速有界模型检验(短文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_25
G. Cabodi, P. Camurati, M. Palena, P. Pasini, D. Vendraminetto
{"title":"Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper)","authors":"G. Cabodi, P. Camurati, M. Palena, P. Pasini, D. Vendraminetto","doi":"10.1007/978-3-319-66197-1_25","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_25","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"16 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":"132407799","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
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper) 在混合云上实现自适应应用程序的自动部署(短文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_26
L. Hillah, R. Assad, Antonia Bertolino, M. Delamaro, Fabio De Rosa, Vinicius Cardoso Garcia, F. Lonetti, Ariele-Paolo Maesano, Libero Maesano, E. Marchetti, Breno Miranda, A. Vincenzi, J. Iyoda
{"title":"Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)","authors":"L. Hillah, R. Assad, Antonia Bertolino, M. Delamaro, Fabio De Rosa, Vinicius Cardoso Garcia, F. Lonetti, Ariele-Paolo Maesano, Libero Maesano, E. Marchetti, Breno Miranda, A. Vincenzi, J. Iyoda","doi":"10.1007/978-3-319-66197-1_26","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_26","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"42 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":"121789666","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
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation IJIT:一个用于布尔程序分析和即时翻译的API
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-06-10 DOI: 10.1007/978-3-319-66197-1_20
Peizun Liu, T. Wahl
{"title":"IJIT: An API for Boolean Program Analysis with Just-in-Time Translation","authors":"Peizun Liu, T. Wahl","doi":"10.1007/978-3-319-66197-1_20","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_20","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"201 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124402982","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
From Model Checking to a Temporal Proof for Partial Models 从模型检验到局部模型的时间证明
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-06-08 DOI: 10.1007/978-3-319-66197-1_4
Anna Bernasconi, C. Menghi, P. Spoletini, L. Zuck, C. Ghezzi
{"title":"From Model Checking to a Temporal Proof for Partial Models","authors":"Anna Bernasconi, C. Menghi, P. Spoletini, L. Zuck, C. Ghezzi","doi":"10.1007/978-3-319-66197-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_4","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-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128475710","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
Formalizing Timing Diagram Requirements in Discrete Duration Calculus 离散持续时间演算中时间图要求的形式化
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-05-12 DOI: 10.1007/978-3-319-66197-1_16
M. Mohan, P. Pandya, A. Wakankar
{"title":"Formalizing Timing Diagram Requirements in Discrete Duration Calculus","authors":"M. Mohan, P. Pandya, A. Wakankar","doi":"10.1007/978-3-319-66197-1_16","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_16","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116220745","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
首页 上一页 下一页 尾页
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学术官方微信